ScheduleΒΆ

CIS 301: Logical Foundations of Programming, Spring 2018


Lecture: T U 11:05am - 12:20pm, DUE1073

Links:


Week. Day: Date Lecture Remarks
  1. T: Jan 16
  1. U: Jan 18
  1. T: Jan 23
  1. U: Jan 24
  1. T: Jan 30
  1. U: Feb 1
  • Reading: Z3’s Guide (up to Section 3 on Propositional Logic)
  1. T: Feb 6
  1. U: Feb 8
  1. T: Feb 13
  1. U: Feb 15
  1. T: Feb 20
  1. U: Feb 22
  1. T: Feb 27
  1. U: Mar 1
  • Review for Exam 1
 
  1. T: Mar 6
  1. U: Mar 8
  1. T: Mar 13
  1. U: Mar 15
  1. Spring Break
   
  1. T: Mar 27
  1. U: Mar 29
  1. T: Apr 3
 
  1. U: Apr 5
 
  1. T: Apr 10
  • Review for Exam 2
 
  1. U: Apr 12
 
  1. T: Apr 17
  1. U: Apr 19
  1. T: Apr 24
  1. U: Apr 26
 
  1. T: May 1
 
  1. U: May 3
  • Closing Remarks
  • Review for Final Exam
 
  1. Monday: May 7