CS 2800 - Mathematical Foundations of Computing

(SMR-AS)

Fall, Spring. 4 credits. Letter grades only (no audit).

Prerequisite or corequisite: MATH 1110 or equivilent, one programming course or permission of instructor.

Fall: A. Silva; Spring: A. van Zuylen.

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; andfinite-state machines. These topics are discussed in the context ofapplications to many areas of computer science.