MAT 253-01 (Discrete Mathematical Structures)

A rigorous introduction to discrete mathematical structures, proof techniques, and programming. Topics include sets, functions, sequences, relations, induction, propositional and predicate logic, modular arithmetic, and mathematical programming.

The class meets Tuesdays and Thursdays 9:30 AM - 10:45 AM in Petty 224.

Documents (pdf)

Useful links

Python is a great object-oriented, interpreted, and interactive programming language.