Schedule¶

CIS 301: Logical Foundations of Programming, Fall 2016

Lecture: T U 11:00am - 12:15pm, 1109 Engineering Hall

Links:

Week. Day: Date	Lecture	Remarks
T: Aug 23	Course Administration Introduction: Why Bother? [study guide]	Reading: Introduction: Why Bother? Tool: Install Logika CLI and IntelliJ plugin (see installation videos for the CLI and the plugin)
U: Aug 25	Circuits and Truth Tables [examples, exercise, study guide]	Reading: Circuits and Truth Tables
T: Aug 30	Circuits and Truth Tables [examples, exercise, study guide]	Reading (from Logic in Action): Chapter 2. Propositional Logic Optional: Chapter 3. Syllogistic Reasoning Homework 1, Deadline: September 7, 2016, 11:59pm US Central
U: Sep 1	Introduction to Propositional Logic [example, study guide]	Reading: Translating Between English and Propositional Logic (Scott Martin, Ohio State); Logic and Critical Reasoning (Chapter 6 only)
T: Sep 6	English Language to Propositional Logic [exercise]	Reading: Z3’s Guide (up to Section 3 on Propositional Logic)
U: Sep 8	Automatic Reasoning of Propositional Logic [example, exercise]	Reading: Applications of Propositional Logic to Program Proving (up to Section 7.3) Homework 2, Deadline: September 19, 2016, 11:59pm US Central
T: Sep 13	Introduction to Natural Deduction Natural Deduction – And [examples]	Reading: Applications of Propositional Logic to Program Proving (Section 7.4)
U: Sep 15	Natural Deduction – And [examples, FYTD] Natural Deduction – Or [examples]	Reading: Applications of Propositional Logic to Program Proving (Section 7.5)
T: Sep 20	Natural Deduction – Implies [examples] Natural Deduction – Negation [examples]	Reading: Applications of Propositional Logic to Program Proving (Section 7.6 - 7.7) Homework 3, Deadline: September 30, 2016, 11:59pm US Central
U: Sep 22	Natural Deduction – Negation [examples, FYTD #4, FYTD #5]
T: Sep 27	Curry-Howard Isomorphism [examples]	Optional Background Reading: Classical vs. Constructive Logic Exercises
U: Sep 29	Review for Exam 1
T: Oct 4	Exam 1 [references, study guides]	Instructor Travel
U: Oct 6	Exam 1 Discussion	Instructor Travel
T: Oct 11	Quantifications by Example [java] Introduction to Predicate Logic [examples, Z3 examples, FYTD #1, FYTD #2, FYTD #3]	Reading: The Predicate-Logic Quantifiers (up to Section 8.2)
U: Oct 13	Introduction to Predicate Logic [examples, Z3 examples, FYTD #1, FYTD #2, FYTD #3]	Reading: The Predicate-Logic Quantifiers (up to Section 8.2) Homework 4, Deadline: October 24, 2016, 11:59pm US Central
T: Oct 18	Algebra [Z3 examples] Programming Logic for Assignment [examples]	Reading: Circuits that Compute on Numbers: Algebra
U: Oct 20	Programming Logic for Assignment [examples]	Reading: Programming Logic for Assignments and Conditionals (up to Section 4.1)
T: Oct 25	Programming Logic for Assignment [examples] Programming Logic for Conditionals and Loops [conditional #1, conditional #2]	Reading: Programming Logic for Assignments and Conditionals (Section 4.2) Homework 5, Deadline: November 4, 2016, 11:59pm US Central
U: Oct 27	Programming Logic for Conditionals and Loops [loop #1, loop #2]	Reading: Loop, Invariants, Induction
T: Nov 1	Programming Logic for Conditionals and Loops [loop invariants recipe, auto, symexe] Sequences [#1, #2, #3 (manual), #3 (auto), #3 (symexe), #4]
U: Nov 3	Review for Exam 2
T: Nov 8	Exam 2 [references, study guides]	Homework 6, Deadline: November 18, 2016, 11:59pm US Central
U: Nov 10	Functions and Procedures [examples]	Reading: Functions and Procedures
T: Nov 15	Functions and Procedures [examples]	Reading: Functions and Procedures
U: Nov 17	Functions and Procedures [examples, java] Exam 2 Discussion	Reading: Functions and Procedures
Thanksgiving Break
T: Nov 29	Recursion [examples: #1, #2, #3, #4]	Homework 7, Deadline: December 11, 2016, 11:59pm US Central
U: Dec 1	Termination [examples, Collatz: Logika, Java]
T: Dec 6	Closing Remarks Review for Final Exam
U: Dec 8	Programming Logic in Real Life Evidence-based Trust of SymExe-based Verification
W: Dec 14	Final Exam, Time: 9:40am - 11:30am [references, study guides]