Discrete Mathematics

This course provides an introduction to the basic concepts in Discrete Mathematics. Topics include predicate and propositional calculus, sets, proof techniques, permutations and combinations, probability, relations, closure, partial order, functions, graph connectivity and shortest paths, and an introduction to languages, grammars and nondeterministic finite-state machines.