COT: Computing Theory
COT 2104C. 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).