ScheduleΒΆ

CIS 301: Logical Foundations of Programming, Fall 2018


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

Links:


Week. Day: Date Lecture Remarks
  1. T: Aug 21
  1. U: Aug 23
  1. T: Aug 28
  1. U: Aug 30
  1. T: Sep 4
  1. U: Sep 6
  • Reading: Z3’s Guide (up to Section 3 on Propositional Logic)
  1. T: Sep 11
  • (Catch up day)
  • HW 2 Assigned (see the Assignments section of 301 Canvas). Due Monday, Sept 24 at 11:59pm.
  1. U: Sep 13
  1. T: Sep 18
  1. U: Sep 20
  1. T: Sep 25
  1. U: Sep 27
  1. T: Oct 2
 
  1. U: Oct 4
  1. T: Oct 9
  1. U: Oct 11
  1. T: Oct 16
  • Reading: (none)
  1. U: Oct 18
  1. T: Oct 23
  1. U: Oct 25
  1. T: Oct 30
  1. U: Nov 1
 
  1. T: Nov 6
 
  1. U: Nov 8
 
  1. T: Nov 13
 
  1. U: Nov 15
  1. Thanksgiving Break
   
  1. T: Nov 27
  1. U: Nov 29
 
  1. T: Dec 4
 
  1. U: Dec 6
  • Closing Remarks
  • Review for Final Exam
 
  1. Wednesday: Dec 12