This post is a link to https://github.com/scoskey/m189/tree/1819f

Discrete and foundational mathematics

Catalog description: An introduction to the language and methods of reasoning used throughout mathematics. Topics include propositional and predicate logic, elementary set theory, proof techniques including mathematical induction,functions and relations, combinatorial enumeration, permutations and symmetry.