Mathematical Foundations of Computing - Honors

Catalog description

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.