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
  1. T: Sep 26
  • No Lecture
  • Instructor Office Hours: 9:30-11:30am
  1. U: Sep 28
 
  1. T: Oct 3
 
  1. U: Oct 5
  1. T: Oct 10
  1. U: Oct 12
  1. T: Oct 17
  1. U: Oct 19
  1. T: Oct 24
  1. U: Oct 26
  1. T: Oct 31
 
  1. U: Nov 2
  • No Lecture
  • Instructor Office Hours: Wed, Nov 1, 1-3pm
  1. T: Nov 7
  • Homework 6, Deadline: November 17, 2017, 11:59pm US Central
  1. U: Nov 9
  1. T: Nov 14
  1. U: Nov 16
  1. Thanksgiving Break
   
  1. T: Nov 28
  • Exam 2 Reloaded
  • Homework 7, Deadline: December 10, 2017, 11:59pm US Central
  1. U: Nov 30
  • Recursion [examples: #1, #2, #3, #4]
 
  1. T: Dec 5
  • Termination [examples, Collatz: Logika, Java]
 
  1. U: Dec 7
  • Closing Remarks
  • Review for Final Exam
 
  1. T: Dec 12