CS201 Syllabus
Spring 1999
- Logic and Inference
- Propositional Logic
- Predicate Logic
- Proof Techniques
- Sets, Relations, and Functions
- Operations on Sets
- Relations and Their Properties
- Closure and Equivalence Relations
- Functions and Their Properties
- Algorithms
- Program Correctness
- Program Complexity
- Counting
- Pigeonhole Principle
- Permutations and Combinations
- Cardinality
- Modeling Computation
- Finite State Machines
- Languages and Grammars