Mathematical Foundations of Computing

Catalog description

Covers the mathematics that underlies most of computer science. Topics include mathematical induction; logical reasoning and proof techniques; propositional and predicate logic; 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.