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 MWF 10:00 AM - 10:50 AM in Petty 223. The final exam is Monday, May 5, 2014, noon - 3:00 PM.

Documents (pdf)

Homework (Check back regularly for updates): Due dates are shown in the calendar.

Useful links

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