This course gives introduction to logic and proofs which include propositions and connectives, conditional and quantifier
statements and basic proof methods. Also, the course contains introductory topics in set theory, mathematical induction,
relations, functions and countable sets. 13. Teaching/
- Teacher: NADIYA AL-DHAMRI