Date	Topics	Readings
[Week 1] Jan 26	Introduction; Math preliminaries	Chapter 1 (Note: Readings are listed here, but all sample problems, solutions, homeworks, handouts are posted on Blackboard)
Jan 28	Propositional Logic and Proofs (1) Homework 1 out	Chapter 2: Sections 2.1, 2.2, 2.3, 2.4 Sample quiz 1
[Week 2] Feb 2	Propositional Logic and Proofs (2)	Sections: 2.5, 3.1, 3.2, 3.3 Solutions of Sample Quiz 1
Feb 4	Rules of inference; Assumptions Quiz 1 Homework 2 out	Sections: 3.4, 3.5, 3.6
[Week 3] Feb 9	More on Rules of inference; Exercises	Section 3.7 Sample Quiz 2 Solutions of Sample Quiz 2
Feb 11	Predicate Logic Quiz 2 Homework 3 out	Sections: 4.1, 4.2
[Week 4] Feb 16	Quantifiers; Proof Strategies with Predicates	Sections: 4.3, 4.4, 5.1, 5.2
Feb 18	Problem solving Quiz 3 Homework 4 out
[Week 5] Feb 23	Mathematical Induction; Exercises	Sections 5.3, 5.4, 5.5
Feb 25	Program verification (1) Quiz 4 Homework 5 out	Section 6.1, 6.2, 6.3
[Week 6] Mar 2	Program verification (2)
Mar 4	Loop invariants: problem solving. Quiz 5 Homework 6 out	Sample Midterm
[Week 7] Mar 9	Midterm Review
Mar 11	Midterm exam.
[Week 8] Mar 16	Formal languages	Chapter 7
Mar 18	Finite State Automata Homework 7 out
[Week 9] Mar 23	More on Finite State Automata	Sections 9.1, 9.2
Mar 25	More on Finite State Automata. Exercises Quiz 6 Homework 8 out	Section 9.3
[Week 10] Mar 30	Nondeterministic Finite Automata	Section 9.5
Apr 1	NFAs and DFAs: subset construction Quiz 7 Homework 9 out	Handout (posted on BB)
[Week 11] Apr 6	Lambda-transitions and Lambda-NFAs	Handout (posted on BB)
Apr 8	Regular languages and their closure properties Quiz 8 Homework 10 out	Section 9.6, 8.1, 8.2, 8.3, 8.4
[Week 12] Apr 13	Regular expressions	Handout (posted on BB)
Apr 15	Equivalence between Finite State Automata and Regular expressions Quiz 9 Homework 11 out	Handout (posted on BB)
[Week 13] Apr 20	Limitations of Regular Languages
Apr 22	Context-free grammars; Pushdown Automata Quiz 10 Homework 12 out	Sections 8.6, 8.7, 10.1, 10.2, 11.1, 11.2
[Week 14] Apr 27	Turing Machines; The Halting Problem.	Section 12.2
Apr 29	Review
May 6: 10:30 - 1:15PM	Final Exam.