5. Semester · Elective · 3+0+0 · 5 ECTS
Propositions, rules of logic, methods of proof, sets, relations, functions, ordered sets, finite and countable sets, natural numbers,cardinality.
End-of-term exam