Schedule¶

CIS 301: Logical Foundations of Programming, Fall 2018

Lecture: T U 9:30am - 10:45pm, DUE1073

Links:

Slides
Examples:

Week. Day: Date	Lecture	Remarks
T: Aug 21	Course Administration [video] Introduction: Why Bother? [study guide]	Reading: Introduction: Why Bother? Tool setup: (see Tools) HW 0 Assigned (see the Assignments section of 301 Canvas). Due Monday, Aug 27 at 11:59pm.
U: Aug 23	Circuits and Truth Tables [examples, FYTD solutions, study guide]	Reading: Circuits and Truth Tables HW 1 Assigned (see the Assignments section of 301 Canvas). Due Friday, Aug 31 at 11:59pm.
T: Aug 28	Circuits and Truth Tables [examples, FYTD solutions, study guide]	Reading: Circuits and Truth Tables Reading (from Logic in Action): Chapter 2. Propositional Logic Optional: Chapter 3. Syllogistic Reasoning
U: Aug 30	Introduction to Propositional Logic [FYTD #1a solution, FYTD #1b solution, example, study guide]	Reading (from Logic in Action): Chapter 2. Propositional Logic Optional: Chapter 3. Syllogistic Reasoning
T: Sep 4	English Language to Propositional Logic [FYTD #1 solution, study guide]	Reading: Translating Between English and Propositional Logic (Scott Martin, Ohio State); Logic and Critical Reasoning (Chapter 6 only)
U: Sep 6	Automatic Reasoning for Propositional Logic [example, FYTD #1 solution, FYTD #2 solution, FYTD #3 solution (building truth tables), FYTD #4 solution (checking tautologies), FYTD #5 solution (sequents, validity, equivalences), Exercises, Guided Exercise: Basic SAT (.txt, video), Guided Exercise: Finding more models and building truth tables (.txt, video)]	Reading: Z3’s Guide (up to Section 3 on Propositional Logic)
T: Sep 11	(Catch up day)	HW 2 Assigned (see the Assignments section of 301 Canvas). Due Monday, Sept 24 at 11:59pm.
U: Sep 13	Introduction to Natural Deduction [study guide] Natural Deduction – And [examples, FYTD #1 solution]	Reading: Propositional Logic (up to Section 3.8)
T: Sep 18	Natural Deduction – Or [examples, FYTD #1 solution, FYTD #2 solution, FYTD #3 solution]	Reading: Propositional Logic (Section 3.9) Instructor Travel (Assure Workshop in Vasteras, Sweden)
U: Sep 20	Natural Deduction – Implies [examples, FYTD #1 solution, FYTD #2 solution]	Reading: Propositional Logic (Section 3.10)
T: Sep 25	Natural Deduction – Negation [Lecture video: Bottom Elimination Rule, Lecture video: Proof-by-Contradiction Rule, examples, FYTD #1-1, FYTD #1-2, FYTD #2, FYTD #3-1, FYTD #3-2, FYTD #4, FYTD #5]	Reading: Propositional Logic (Sections 3.11-3.13) HW 3 Assigned (see the Assignments section of 301 Canvas). Due Monday, Oct 1 at 11:59pm.
U: Sep 27	Natural Deduction – Negation [Lecture video: Bottom Elimination Rule, Lecture video: Proof-by-Contradiction Rule, examples, FYTD #1-1, FYTD #1-2, FYTD #2, FYTD #3-1, FYTD #3-2, FYTD #4, FYTD #5]	Reading: Propositional Logic (Sections 3.11-3.13)
T: Oct 2	Quantifications by Example (no slides for this lecture, only code examples) [Lecture video, Scala examples, Java examples] Introduction to Predicate Logic [Lecture video: (part a), (part b), (part c coming later), examples, Z3 examples, FYTD #1-1, FYTD #1-2, FYTD #2-1, FYTD #2-2]
U: Oct 4	Introduction to Predicate Logic [examples, Z3 examples, FYTD #1-1, FYTD #1-2, FYTD #2-1, FYTD #2-2]	Reading: The Predicate-Logic Quantifiers (up to Section 8.2)
T: Oct 9	Algebra [Z3 examples] Programming Logic for Assignment [examples]	Reading: Circuits that Compute on Numbers: Algebra
U: Oct 11	Programming Logic for Assignment [examples, FYTD #1 (starting file, solution), FYTD #2 (starting file, solution)]	Reading: Programming Logic for Assignments (Sections 5.1-5.2)
T: Oct 16	Exam 1 [references, study guides, student version, key]	Reading: (none)
U: Oct 18	Programming Logic for Assignment [examples, FYTD #1 (starting file, solution), FYTD #2 (starting file, solution)]	Reading: Programming Logic for Assignments (Sections 5.1-5.2)
T: Oct 23	Programming Logic for Assignment [Lecture video: (part b), examples, FYTD #1 (starting file, solution), FYTD #2 (starting file, solution)]	Reading: Programming Logic for Assignments (Sections 5.1-5.2) HW 5 Assigned (see the Assignments section of 301 Canvas) HW 5 direct link, Deadline Wednesday, April 4, 11:59pm
U: Oct 25	Programming Logic for Conditionals [Lecture video: (conditionals - part a), conditional #1 (starting file, solution) conditional #2, FYTD #1 (starting file, solution)] [loop invariants recipe, auto, symexe]	Reading: Programming Logic for Conditionals
T: Oct 30	Programming Logic for Loops [Lecture video: (conditionals - part a), conditional #1 (starting file, solution) conditional #2, FYTD #1 (starting file, solution)] [loop invariants recipe, auto, symexe]	Reading: Loop, Invariants, Induction
U: Nov 1	Programming Logic for Loops [loop invariants recipe, auto, symexe]
T: Nov 6	Programming Logic for Loops [loop invariants recipe, auto, symexe]
U: Nov 8	Functions and Procedures [examples, java]	Reading: Functions and Procedures
T: Nov 13	Functions and Procedures [examples, java]	Reading: Functions and Procedures
U: Nov 15	Exam 2 [references]
Thanksgiving Break
T: Nov 27	Sequences [Lecture video: Swap Example, swap starting file, swap solution] [squares example: squares starting file, squares solution] [findMin example: findMin starting file, findMin solution]
U: Nov 29	Sequences [Lecture video: Swap Example, swap starting file, swap solution] [squares example: squares starting file, squares solution] [findMin example: findMin starting file, findMin solution]
T: Dec 4	Data Invariants [bank account starting file, bank account solution] [Java examples]
U: Dec 6	Termination [examples, Collatz: Logika, Java]
Wednesday: Dec 12	Final Exam, Time: 2:00pm - 3:50pm [references, study guides]