Advanced Discrete Mathematics

ENG EC 533

Selected topics in discrete mathematics. Formal systems. Mathematical deduction. Logical concepts. Theorem proving. Sets, relations on sets, operations on sets. Functions, graphs, mathematical structures, morphisms, algebraic structures, semigroups, quotient groups, finite-state machines, their homomorphism, and simulation. Machines as recognizers, regular sets. Kleene theorem.

FALL 2014 Schedule

Section Instructor Location Schedule Notes
A1 Levitin PHO 210 MW 2:00 pm-4:00 pm

Note that this information may change at any time. Please visit the Student Link for the most up-to-date course information.