Date Topics Readings Assignments
Week 1
07/02 Introduction, Truth Tables forallx - Parts I, II, III (pages 1 - 93) Work through the practice exercises in each section of the reading.
07/04 NO CLASS
Week 2
07/09 What is Computer Science? First Steps to Formal Logic What is Computer Science by William Rapaport: pdf in assignments tab
07/11 Natural Deduction for Truth Functional Logic forall x - Part IV Complete the practice problems in Part IV for next week
Week 3
07/16 More practice with formal proofs Philosophy of Computer Science - Chapter 6: What is a Computer?
07/18 In-class group worksheets Take a look at ch. 1 Problem Set, (SLC) p. 13 for next Monday
Week 4
07/23 Set Theory and Informal Proofs Sets, Logic, and Computation (SLC)- Chapter 1 and Philosophy of CS, What is an algorithm - Chapter 7 ch. 2 Problem Set, (SLC) p. 25 for Wednesday
07/24 Set Theoretic Constructions: Relations SLC - Chapter 2: Relations Ch. 3 Problem Set, (SLC) p. 35-36 for next week
Week 5
07/30 Set Theoretic Constructions: Functions Sets, Logic, and Computation (SLC)- Chapter 3 Functions ch. 4 Problem Set, (SLC) p. 53 for Wednesday
08/1 Size of Sets SLC - Chapter 4: The Size of Sets
Week 6
08/06 Midterm Quiz on Truth Functional Logic and Set Theory forall x Ch 22 Practice Exercises p. 174 for Wednesday
08/08 First Order Logic forallx - Part V: First Order Logic forallx rest of Part V Practice Exercises for next week
Week 7
08/13 First Order Logic - Quantified Sentences, Identity, and Interpretations forallx - Part VI: Interpretations forallx Ch 28 Practice Exercises p. 224 for Wednesday
08/15 First Order Logic - Interpretations forallx - Part VI: Interpretations forallx Ch 30 (Part VI, p. 233) and Ch 32 (Part VII, p. 250) Exercises next Monday
Week 8
08/20 First Order Logic - Proofs I forallx - Part VII: Natural Deduction for FOL The rest of Part VII exercises for Wednesday
08/22 First Order Logic - Proofs II forallx - Part VII: Natural Deduction for FOL
Week 9
08/27 First Order Logic - Review/Theory of Computation Intro
08/29 Regular Languages, Finite State Machines Sipser - Part 1: Regular Languages/Lecture notes
Week 10
09/03 Labor day - No Class!
09/05 Final Exam? (Covering: Logic (TFL and FOL), Set theory(Relations, Functions, Counting), Theory of Comp (Regular Languages)