Course Material

Week 1: 20.2.12 - 26.2.12
Lecture: w1-intro.pdf, w1-nd.pdf
Exercises: sheet1.pdf, gcd.hs, sheet1_johndo.hs

Week 2: 27.2.12 - 4.3.12
Lecture: w2-correctness.pdf, w2-lists.pdf
Exercises: solution1.lhs, solution1.pdf, sheet2.pdf

Week 3: 5.3.12-11.3.12
Lecture: w3.pdf
Exercises: solution2.lhs, solution2.pdf, sheet3.pdf

Week 4: 12.3.12-18.3.12
Lecture: w4.pdf
Exercises: solution3.lhs, sheet4.pdf

Week 5: 19.3.12-25.3.12
Lecture: w5.pdf
Exercises: solution4.lhs, sheet5.pdf

Week 6: 26.3.12 - 1.4.12
Lecture: w6.pdf, minihaskell.hs
Exercises: solution5.pdf, solution5.lhs, sheet6.pdf

Week 7: 2.4.12-8.4.12.
Lecture: w7-monads.pdf, w7-conclusion.pdf, Haskell sources
Exercises: solution6.lhs, sheet7.pdf, solution7.lhs

Week 8: 9.4.12-15.4.12 and Week 9: 16.4.12-22.4.12
Lecture: 01-introduction.pdf, 01-introduction-bw-2x2.pdf
Exercises: sheet8.pdf, solution8.pdf

Week 10: 23.4.12-29.4.12
Lecture: 02-operational-semantics.pdf, 02-operational-semantics-bw-2x2.pdf
Exercises: sheet9.pdf, solution9.pdf

Week 11: 30.4.12-6.5.12
Lecture: sheet10.pdf, simpi_skeleton.lhs,
Exercises: solution10.pdf simpi_onlyns.lhs

Week 12: 7.5.-13.5.12
Lecture: 03-axiomatic-semantics.pdf, 03-axiomatic-semantics-bw-2x2.pdf
Exercises: sheet11.pdf, simpi_skeleton2.lhs, solution11.pdf, simpi.lhs

Week 13: 14.5.-20.5.12.
Exercises: sheet12.pdf solution12.pdf

Week 14: 21.5.-27.5.12.
Lecture: 04-modelling.pdf 04-modelling-bw-2x2.pdf
Exercises: sheet13.pdf, solution13.pdf

Week 15: 28.5.-3.6.12.
Lecture: 05-LinearTimeProperties.pdf, 05-LinearTimeProperties-bw-2x2.pdf
Exercises: sheet14.pdf philosophers_skeleton.pml, solution14.pdf knights.pml leader.pml leader_channel_buffer.pml mole.pml, philosophers.pml philosophers_no_deadlock.pml