Advanced Discrete Mathematics

Enrollment Requirements: Undergraduate Prerequisite: CASMA 242 or CASMA 442 or ENGEK 103; Graduate Prerequisite: Graduate Standing 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.