Undergraduate Prerequisites: ENGEK103, CAS MA 142 or equivalent - 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.

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