K3: Know the fundamental definitions and results of real, complex and functional mathematical analysis, including both the statements and their proofs.
S4: Use logical and abstract reasoning to state, demonstrate and verify the validity of mathematical results, as well as to analyze models and design solution strategies.
C4: Understand the need to prove new mathematical results, as well as appreciate rigor in demonstrations, identify gaps in demonstrations, and use counterexamples to demonstrate the falsity of propositions.
C5: Abstract complex problems from real life or other sciences and formulate them in terms of mathematical equations, using variables, constants and parameters to make them understandable and solvable.