The course gives an introduction to logic and proofs, which include propositions and connectives, conditional and quantifiers statements, and basic proof methods. Also, the course contains introductory topics in set theory, mathematical induction, relations, functions, and countable sets.
- Teacher: YASSIR DINAR