Type of course: Undergraduate.

Prerequisite: Algebra, Logic.

Rationale: This course introduces the basic concepts of discrete mathematics in the field of computer science. It covers sets, logic, functions, relations, graph theory and algebraic structures. These basic concepts of sets, logic functions and graph theory are applied to Boolean Algebra and logic networks, while the advanced concepts of functions and algebraic structures are applied to finite state machines and coding theory.