Proof and deduction methods for engineering, Exam 21.8.2026 (5cr)
Code
General information
- Enrollment
- 31.05.2026 - 13.08.2026
- Registration for introductions has not started yet.
- Timing
- 21.08.2026
- The implementation has not yet started.
- Number of ECTS credits allocated
- 5 cr
- Institution
- University of Jyväskylä
- Course
- C-01906-MATA2700
Unfortunately, no reservations were found for the realization Proof and deduction methods for engineering, Exam 21.8.2026 C-01906-MATA2700-r2. It's possible that the reservations have not yet been published or that the realization is intended to be completed independently.
Objective
After completing the course, the student: Can handle basic operations of set theory using Venn diagrams. Knows what a counterexample and proving mean in mathematics. Can apply direct and indirect reasoning to proof tasks. Can form negations of mathematical statements. Can interpret and write recursive definitions. Can utilize structural induction in proving. Knows the most important concepts of program verification: loop invariant, bound function (or ranking function), and class invariant. Can read, present, and evaluate proofs in mathematics and programming. Distinguishes between finite, countably infinite, and uncountable sets. Knows the significance of proving for the reliability of programs.
Content
Basics of mathematical reasoning and logic. Direct and indirect reasoning. Forming negations. Pigeonhole principle. Recursion, proof by induction, and structural induction. Concepts needed in proving computer programs. Basics of set theory: finiteness, countability, and uncountability.
Qualifications
MATP1700 Introductory Course to Mathematics in Engineering