CSCI-GA 2340
Elem of Discrete Math
Introduction to the central mathematical concepts that arise in computer science. Emphasis is on proof and abstraction. Topics include proof techniques; combinatorics; sets, functions, and relations; discrete structures; order of magnitude analysis; formal logic; formal languages and automata.
Topics
- proof techniques
- combinatorics
- sets
- functions
- and relations
- discrete structures
- order of magnitude analysis
- formal logic
- formal languages and automata
Topics explicitly listed in official catalogue description
Sources
- Course catalogue ↗2026-2027