Schedule

CIS 301: Logical Foundations of Programming, Fall 2017


Lecture: T U 9:30am - 10:45am, 1073 Durland Hall

Links:


Week. Day: Date Lecture Remarks
  1. T: Aug 22
  1. U: Aug 24
  1. T: Aug 29
  1. U: Aug 31
  1. T: Sep 5
  • Reading: Z3’s Guide (up to Section 3 on Propositional Logic)
  1. U: Sep 7
  1. T: Sep 12
  1. U: Sep 14
  1. T: Sep 19
  1. U: Sep 21
  • Curry-Howard Isomorphism [examples]
  1. T: Sep 26
  • Curry-Howard Isomorphism [examples]
 
  1. U: Sep 28
  • Review for Exam 1
 
  1. T: Oct 3
 
  1. U: Oct 5
  • Quantifications by Example [java]
  • Introduction to Predicate Logic [examples, Z3 examples, FYTD]
  1. T: Oct 10
  • Introduction to Predicate Logic [examples, Z3 examples, FYTD]
  1. U: Oct 12
  • Algebra [Z3 examples]
  • Introduction to Programming Logic
  1. T: Oct 17
  • Exam 1 Discussion
 
  1. U: Oct 19
  • Programming Logic for Assignment [examples]
  1. T: Oct 24
  • Programming Logic for Assignment [examples]
  • Programming Logic for Conditionals and Loops [conditional #1, conditional #2]
  1. U: Oct 26
  • Programming Logic for Conditionals and Loops [loop #1, loop #2]
  1. T: Oct 31
  • Programming Logic for Conditionals and Loops [loop invariants recipe, auto, symexe]
  • Sequences [#1, #2, #3 (manual), #3 (auto), #3 (symexe), #4]
 
  1. U: Nov 2
  • Review for Exam 2
 
  1. T: Nov 7
  • Exam 2 [references, study guides]
  • Homework 6, Deadline: November 17, 2017, 11:59pm US Central
  1. U: Nov 9
  • Functions and Procedures [examples]
  1. T: Nov 14
  • Functions and Procedures [examples]
  1. U: Nov 16
  • Functions and Procedures [examples, java]
  • Exam 2 Discussion
  1. Thanksgiving Break
   
  1. T: Nov 28
  • Recursion [examples: #1, #2, #3, #4]
  • Homework 7, Deadline: December 10, 2017, 11:59pm US Central
  1. U: Nov 30
  • Termination [examples, Collatz: Logika, Java]
 
  1. T: Dec 5
  • Closing Remarks
  • Review for Final Exam
 
  1. U: Dec 7
   
  1. W: Dec 12