Lectures	Readings	Brief Description
9/22	Begin Section 1.1	The Language of Sentential Logic
9/24	Begin Section 1.2	Truth Assignments
9/27	Begin Section 1.3	A Parsing Algorithm
9/29	Begin Section 1.5	Sentential Connectives
9/30 (x-hour)	Begin Section 1.7	Compactness and Effectiveness
10/1	Continue Section 1.7
10/4	Begin Section 2.1	First-Order Languages
10/6	Exam in Class
10/8	No class today
10/11	Continue Section 2.1
10/13	Begin Section 2.2	Truth and Models
10/15	Continue Section 2.2
10/18	Continue Section 2.2
10/20	Begin Section 2.4	A Deductive Calculus
10/22	Continue Section 2.4
10/25	Continue Section 2.4
10/27	Exam in Class
10/29	Review
11/1	Review
11/3	Makeup Exam in Class
11/5	Continue Section 2.4
11/8	Begin Section 2.5	Soundness and Completeness Theorems
11/10	Continue Section 2.5
11/12	Continue Section 2.5
11/15	Begin Section 2.6	Nodels of Theories
11/17	Exam in Class
11/19	Continue Section 2.6
11/22	Continue Section 2.6
11/24	Thanksgiving Break
11/26	Thanksgiving Break
11/29		Applications of Compactness
11/1		Incompleteness
12/5	In-Class Final Exam	11:30 AM, 103 Bradley Hall
12/5	Take-Home Final Exam	Due 11:30 AM, 103 Bradley Hall

Marcia J. Groszek
Last updated May 31, 2008 12:24:23 EDT