 T: Aug 22



 U: Aug 24



 T: Aug 29



 U: Aug 31



 T: Sep 5


 Reading: Z3’s Guide
(up to Section 3 on Propositional Logic)

 U: Sep 7



 T: Sep 12



 U: Sep 14



 T: Sep 19



 U: Sep 21

 CurryHoward Isomorphism
[examples]


 T: Sep 26

 CurryHoward Isomorphism
[examples]


 U: Sep 28



 T: Oct 3



 U: Oct 5

 Quantifications by Example
[java]
 Introduction to Predicate Logic
[examples,
Z3 examples,
FYTD]


 T: Oct 10

 Introduction to Predicate Logic
[examples,
Z3 examples,
FYTD]


 U: Oct 12

 Algebra
[Z3 examples]
 Introduction to Programming Logic


 T: Oct 17



 U: Oct 19

 Programming Logic for Assignment
[examples]


 T: Oct 24

 Programming Logic for Assignment
[examples]
 Programming Logic for Conditionals and Loops
[conditional #1,
conditional #2]


 U: Oct 26

 Programming Logic for Conditionals and Loops
[loop #1,
loop #2]


 T: Oct 31

 Programming Logic for Conditionals and Loops
[loop invariants recipe,
auto,
symexe]
 Sequences
[#1,
#2,
#3 (manual),
#3 (auto),
#3 (symexe),
#4]


 U: Nov 2



 T: Nov 7

 Exam 2
[references,
study guides]

 Homework 6,
Deadline: November 17, 2017, 11:59pm US Central

 U: Nov 9

 Functions and Procedures
[examples]


 T: Nov 14

 Functions and Procedures
[examples]


 U: Nov 16

 Functions and Procedures
[examples,
java]
 Exam 2 Discussion


 Thanksgiving Break



 T: Nov 28

 Recursion
[examples: #1,
#2,
#3,
#4]

 Homework 7,
Deadline: December 10, 2017, 11:59pm US Central

 U: Nov 30

 Termination
[examples,
Collatz: Logika,
Java]


 T: Dec 5

 Closing Remarks
 Review for Final Exam


 U: Dec 7



 W: Dec 12


