Discrete Math Structures

Catalog description

This course covers mathematical formalization and reasoning; logic; sets, mappings, and functions; methods of proof, recursive definitions; mathematical induction; elementary counting techniques, probability theory; relations and equivalence relations; Boolean algebra, logic gates; graphs, directed graphs, and trees; with applications to computer science.