COT: Computing Theory

Courses

Credit(s)ContactLab

COT 2104C. FOUNDATIONS OF DISCRETE MATHEMATICS.

321

FOUNDATIONS OF DISCRETE MATHEMATICS Prerequisites: MAC 1105 or departmental approval This course builds basic mathematical logic skills and foundations of discrete mathematics. Topics include statements; truth tables and tautologies; arguments; rules of demonstrations; conditional demonstrations and indirect proof; logic of quantifiers; algebra of sets; definitions and axioms of set theory; informal proof; relations and functions; mathematical induction; strings and other topics in discrete mathematics. (Special Fee: $70.00).