SYLLABUS

The following schedule subject to change. I will be traveling some this semester and will have some guest lecturers on some of the indicated dates. Details will be announced as they are determined.

Date	Event
	Part I -- Recursion
1/13	Introduction to the Course, Logo and Recursion
1/15	Recursion
1/20	Recursion
1/22	Recursion
1/27	Proof by the Principle of Recursion
1/29	Proof by the Principle of Recursion
2/03	Proof by the Principle of Recursion
2/05	Proof by the Principle of Recursion
2/10	Induction
2/12	Numbers and Peano's Postulates (HW # 2 Due)
2/17	Numbers and Peano's Postulates (HW # 2 Due)
2/19	Backus-Naur Form and Context Free Languages
2/24	Impossible Problems (HW # 3 Due)
2/26	PRELIM 1
3/02	SPRING BREAK
3/04	SPRING BREAK
3/09	SPRING BREAK
3/11	SPRING BREAK
3/16	Review of Prelim 1
	Part II -- Logic
3/18	Propositional Logic (HW #4 Due)
3/23	Propositional Logic
3/25	Computer Circuits
3/30	Homework Review
4/01	Arguments, Satisfiability and Truth Trees
4/06	Predicate Logic & Prolog (HW #5 Due)
4/08	Predicate Logic & Prolog
4/13	Homework Review
4/15	PRELIM 2
4/20	Review of Prelim 2
4/22	Predicate Truth Trees (HW #6 Due)
	Part III – Set Theory
4/27	Infinite Sets

The due dates for the homeworks are tentative and liable to change. The number of homeworks is also tentative. There will be a final in this course. The time will be selected by the Registrar and announced in class.