Schedule¶

CIS 301: Logical Foundations of Programming, Spring 2016

Lecture: T U 11:05am - 12:20pm, Durland Hall, DU 1073

Week. Day: Date	Lecture	Remarks
T: Jan 19	Course Administration Introduction	Reading: Introduction: Why Bother? Study Guide: Module–Intro-01-Study-Guide.txt
U: Jan 21	Circuits and Truth Tables	Reading: Circuits and Truth Tables Answers to lecture FYTD Exercises: FYTD #1 FYTD #2 Study Guide: Intro–01-Circuits-and-Truth-Tables–study-guide.txt Homework #1 – due on Jan 29, 2016 at 11:55pm US Central – Assignment posted at K-State Online
T: Jan 26	Introduction to Propositional Logic	Reading: Material from Logic in Action . For this lecture, we will only use the material below Chapter 2. Propositional Logic Optional: Chapter 3. Syllogistic Reasoning Study Guide: NatDed–Intro-to-Prop-Logic–study-guide.txt Lecture Recording: NatDed–Intro-to-Prop-Logic.mov
U: Jan 28	English Language to Propositional Logic	Reading: Translating Between English and Propositional Logic (Scott Martin, Ohio State); Logic and Critical Reasoning (Chapter 6 only) Answers to lecture FYTD Exercises: FYTD #1 Homework #2 – due on Monday, Feb 8, 2016 at 11:55pm US Central – Assignment posted at K-State Online
T: Feb 2	Automatic Reasoning of Propositional Logic [examples]	Watch: Z3’s introductory video Reading: Z3’s Guide (up to Section 3. Propositional Logic) Answers to lecture FYTD Exercises: FYTD #1 FYTD #2 FYTD #3 FYTD #4 FYTD #5
U: Feb 4	Introduction to Natural Deduction [example] Natural Deduction – And [examples]	Reading: Applications of Propositional Logic to Program Proving (up to Section 7.3) Answers to lecture FYTD Exercises: FYTD #1
T: Feb 9	Natural Deduction – Or [examples]	Reading: Applications of Propositional Logic to Program Proving (Section 7.4) Answers to lecture FYTD Exercises: FYTD #1 Problem #1 FYTD #1 Problem #2 FYTD #1 Problem #3 Homework #3 – due on Tuesday, Feb 16, 2016 at 11:55pm US Central – Assignment posted at K-State Online
U: Feb 11	Natural Deduction – Implies [examples]	Reading: Applications of Propositional Logic to Program Proving (Section 7.5) Answers to lecture FYTD Exercises: FYTD #1 Problem #1 FYTD #1 Problem #2
T: Feb 16	Natural Deduction – Negation [examples]	Reading: Applications of Propositional Logic to Program Proving (Section 7.6 - 7.7) Answers to lecture FYTD Exercises: FYTD #1 Problem #1 FYTD #1 Problem #2 FYTD #2 FYTD #3 Problem #1 FYTD #3 Problem #2 Lecture Recording: NatDed-Negation–part-b.mov, NatDed-Negation–part-c.mov Optional Background Reading: Classical vs. Constructive Logic
U: Feb 18	Curry-Howard Isomorphism [ examples: scala, python, java ]
T: Feb 23	Review 1
U: Feb 25	Exam 1
T: Mar 1	Sets and Relations	Reading: Logic in Action: Appendix A. Sets, Relations and Functions Answers to lecture FYTD Exercises: FYTD (all) Lecture Recording: Sets-and-Relations.mov, Composition-and-Closure.mov
U: Mar 3	Sets and Relations (Continued)	Exercise
T: Mar 8	Predicate Logic [examples, z3 ]	Reading: The Predicate-Logic Quantifiers (up to Section 8.2)
U: Mar 10	Predicate Logic (Continued) [examples, z3 ]	Reading: The Predicate-Logic Quantifiers (up to Section 8.2)
Spring Break
T: Mar 22	Alloy – Structures and Relations [ example ] Alloy – Relations and Operations [ example ]	Mapping Alloy to Java – a possible approach
U: Mar 24	Alloy – Relations and Operations (continued) [ example ] Alloy – Logical Constraints [ example ]	Reading: (to be announced)
T: Mar 29	Alloy – Logical Constraints (continued) [ example ]	Reading: (to be announced)
U: Mar 31	Alloy – Airport Ground Control System [ example ]	[Dr. Hatcliff traveling, NO IN-CLASS LECTURE, Video Lecture] Lecture Recording: Alloy–Airport-Example-part-a.mov, Alloy–Airport-Example-part-b.mov Alloy Quick References
T: Apr 5	Representing Quantifiers in Java [ example ] Quantification Concepts illustrated in Alloy
U: Apr 7	Exam 2 Review Alloy – Medical Application Platform System (Homework Overview)
T: Apr 12	Circuits to Programs, Algebra	[Dr. Hatcliff traveling, NO IN-CLASS LECTURE, Video Lecture] Reading: Circuits that Compute on Numbers: Algebra Lecture Video: ProgLogic–00-Circuits-to-Programs.mov, ProgLogic–00-Algebra.mov
U: Apr 14	Programming Logic for Assignment Statements [ examples ]	Reading: Programming Logic for Assignments and Conditionals (up to Section 4.1)
T: Apr 19	Programming Logic for Assignment Statements (Continued) Programming Logic for Conditionals [ examples ] Programming Logic in Real World Applications	Reading: Programming Logic for Assignments and Conditionals (Section 4.2) Lecture Video: ProgLogic–01-Assignment-part-b.mov, ProgLogic–02-Conditionals.mov
U: Apr 21	Functions and Procedures [ examples ]	Reading: Functions and Procedures
T: Apr 26	Exam 2
U: Apr 28	Functions and Procedures (Continued) [ examples ] Global/Class Invariants	Reading: Loop, Invariants, Induction
T: May 3	Functions to Loops [ examples ]	Reading: Loop, Invariants, Induction Class Exercise: Mult procedure starting file
U: May 5	Review 3	Program Logic Concept Summary Final Exam Study Topics
U: May 12	Final Exam Time: 9:40am - 11:30am (K-State Final Exam Schedule)	References