CS 2802 - Mathematical foundations of computing - honors

(SMR-AS)

Spring. 3 credits. Student option grading.

J. Halpern.

Covers the mathematics that underlies most of computer science. Topics include mathematical induction; logical proof; propositional and predicate calculus; sets, functions, and relations; graphs; combinatorics and discrete mathematics; basic probability theory; and finite-state machines. These topics are discussed in the context of applications to many areas of computer science. This course is an honors version of CS 2800. It will cover essentially the same material but go into more depth.