Reasoning about Programs (141-Computing)
Reasoning about Programs
General Information
Course code:
141
Lectures given:
February 2004 and February 2005
Co-lecturers:
Jeremy Bradley
,
Krysia Broda
(Feb 2004) and
Francesca Toni
(Feb 2005)
Course Materials
Course Syllabus:
on computing courses website
Notes -- introduction to Reasoning:
1-up ps
|
1-up pdf
|
4-up ps
|
4-up pdf
Notes on Induction:
1-up ps
|
1-up pdf
|
4-up ps
|
4-up pdf
Notes on pre/mid/post-conditions:
1-up ps
|
1-up pdf
|
4-up ps
|
4-up pdf
Notes on loop invariants:
1-up ps
|
1-up pdf
|
4-up ps
|
4-up pdf
Tutorial Sheets
Tutorial 1:
postscript
|
pdf
Tutorial 2:
postscript
|
pdf
Tutorial 3:
postscript
|
pdf
Tutorial 4:
postscript
|
pdf
Tutorial 5:
postscript
|
pdf