An introduction to discrete mathematics with an emphasis on mathematical reasoning. Topics include sets, relations, propositional logic, basic proof structures, algorithms, functions and computability, introductory graph theory and introductory combinatorics.
