CMPSC 200 Formal Languages and Automata

See CMPSC 200 Formal Languages and Automata.

An introduction to fundamental concepts of discrete mathematics with application to computer science. Topics include sets, relations, functions, sequences, Boolean algebra, difference equations, combinatorics, and graph theory.

Prerequisite(s): Placement into MATH 105 Calculus I or grade of "C" or better in MATH 050 Pre-Calculus.

(Normally offered each year.)

A study of mathematical induction and other methods of proof, recursion, formal logic, and set theory.

Prerequisite(s): Grade of "C" or better in MATH 105 Calculus I.

(Normally offered each spring semester.)