Mathematical Foundations of Computing

In this course we will provide an introduction to the mathematical foundations of computer science, with an emphasis on formal reasoning. Topics will 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. (One CSCI course at the 0100-level previously or concurrently) 3 hrs. lect./lab

Schedule
1:30pm-2:45pm on Tuesday, Thursday (Feb 9, 2015 to May 11, 2015)
Location
McCardell Bicentennial Hall 538
Instructors