Mathematical Foundations of Computing

An introduction to the mathematical foundations of computer science, with an emphasis on formal reasoning. Topics include propositional and predicate logic, sets, functions, and relations; basic number theory; mathematical induction and other proof methods; combinatorics, probability, and recurrence relations; graph theory; and models of computation. (CSCI 0101 previously or concurrently) 3 hrs. lect./disc.