CS 2800 - Discrete Structures

(MQR-AS, SMR-AS)

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

Prerequisite or corequisite: 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; combinatorics and discrete mathematics; some basic elements of basic probability theory; basic number theory; sets, functions, and relations; graphs; and finite-state machines. These topics are discussed in the context of applications to many areas of computer science, such as the RSA cryptosystem and web searching.