date 
lecturer 
topic 
material 
exercises 
Wednesday, November 13 
Hans Zantema 
Introduction, SAT solving, SMT, SMTlib syntax, Z3, 8 queens problem 
SAT/SMT slides 146 
P1: 16 
Friday, November 15 
Hans Zantema 
generating SMT code, rectangle fitting, sudoku, CNF, resolution 
SAT/SMT slides 4772, 8088 
P1: 79, 11 
Wednesday, November 20 
Hans Zantema 
Resolution, proof systems, DPLL, scheduling example 
SAT/SMT slides 89118, 7379 
P1: 10, 1215 
Friday, November 22 
Hans Zantema 
DPPL to resolution: resolution complete, Tseitin transformation 
SAT/SMT slides 119143 
P1: 16, 17 
Wednesday, November 27 
Tom Verhoeff 
Measuring information 
Syllabus Ch.4 through §4.2, and §4.5 – §4.7 
P2a: 1, 2, 4, 5; P2c: 1, 2 
Friday, November 29 
Tom Verhoeff 
: Efficiency by compression 
Syllabus §4.3 – §4.4 
P2a: 3, 6, 7, 8, 9, 10; P2c: 3, 4 
Wednesday, December 4 
Tom Verhoeff 
Reliability by error control 
Syllabus §4.8 – §4.13 
P2b (all); P2c: 5, 6 
Friday, December 6 
Tom Verhoeff 
Security by cryptography 
Syllabus §4.14 – §4.23 
P2c: 7, 8, 9 
Wednesday, December 11 
Hans Zantema 
Program Correctness: bounded model checking, basic rules in Hoare logic 
slides on program correctness 129 
P3: 14 
Friday, December 13 
Hans Zantema 
Hoare logic and wp calculus for assignment, composition and ifthenelse, invariants 
slides on program correctness 3053 
P3: 58 
Wednesday, December 18 
Hans Zantema 
Invariants, proof rule for while, fast multiplication 
slides on program correctness 5474 
P3: 915 
Friday, December 20 
Hans Zantema 
Applications of invariants: binary search, graph algorithms 
slides on program correctness 7594 

Wednesday, January 8 
Tom Verhoeff 
Algorithmic information theory (not for exam), last tutorial 

Friday, January 10 
Hans Zantema 
Answering questions, presenting example examination, last lab session 
(part SAT/SMT, program correctness) 
Wednesday, January 15 
Hans Zantema 
Results of Assignment 3 

Friday, January 17 
Tom Verhoeff 
Answering questions, presenting example examination 
(part information theory) 