|
|
COMP2600: Formal Methods for Software Engineering - 2012
Weekly Schedule
- Monday 3:00- 4:00 Chemistry Lecture Theatre 1 (Building 34)
- Wednesday 3:00- 4:00 Chemistry Lecture Theatre 1 (Building 34)
- Friday 11:00- 12:00 Chemistry Lecture Theatre 1 (Building 34)
Lecture Notes
Lectures slides and associated material will be posted here as
the semester progresses.
All being well, lecture recordings will be available through the
COMP2600 Wattle site.
- Revision: Propositional Logic, Predicate Calculus
Week 1, Monday, July 23
Slides:
[pdf]
[pdf 2×2]
Find out about Aristotle
and Leibniz
- Revision: Sets, Functions, Relations, Induction
Week 1, Wednesday, July 25
Slides:
[pdf]
[pdf 2×2]
- Natural Deduction (Propositional Logic)
Week 2, Monday, 30 July
Slides:
[pdf]
[pdf 2×2]
[Natural Deduction Rules]
- Natural Deduction (First-Order Logic)
Week 2, Wednesday 1 August
Slides:
[pdf]
[pdf 2×2]
[Natural Deduction Rules]
- Revision: Basic Haskell
Week 2, Friday 3 August
Slides:
[pdf]
Example code:
[examples.hs]
- Types and Recursion
Week 3, Monday 5 August
Slides:
[pdf]
[pdf 2×2]
Example code:
[Expression.hs]
- Structural Induction
Week 3, Wednesday 8 August
Slides:
[pdf]
[pdf 2×2]
- Structural Induction (continued)
Week 3, Friday 10 August
Slides:
[pdf]
[pdf 2×2]
- Hoare Logic
Week 4, Monday (13 August), Wednesday (15 August), Friday (17 August)
Slides:
[Monday, pdf]
[pdf 2×2]
[Wednesday, pdf]
[pdf 2×2]
[Friday, pdf]
[pdf 2×2]
- Weakest Precondition Calculus
Week 5, Monday (20 August), Wednesday (22 August), Friday (24 August)
Slides:
[Monday, pdf]
[pdf 2×2]
[Wednesday, pdf]
[pdf 2×2]
[Friday, pdf]
[pdf 2×2]
- System Specification in Z.
Week 6 & 7, Monday 27 August to Monday Friday 31 August
Slides:
[Monday, pdf]
[pdf 2×2]
[Wednesday, pdf]
[pdf 2×2]
[Friday, pdf]
[pdf 2×2]
Week 7, Monday 3 September
Slides:
[Monday, pdf]
[pdf 2×2]
You can download
The Z Reference Manual for free.
Jim Woodcock and Jim Davies also have a website for their book
Using Z
that you can browse on-line or download freely.
- Lambda Calculus
Week 7, Wednesday 5 September
Slides:
[pdf]
[pdf 2×2]
[
Lambda Calculus Workbench]
[Mt. Lambda, near Kyoto University]
- Prolog
Week 7, Friday 7 September
Slides:
[pdf]
[pdf 2×2]
Example code:
[example files]
[facts.pl]
[likes.pl]
[parent.pl]
[parse.pl]
- Finite State Automata
Week 8, Monday (24 Sep), Friday (28 Sep), Wednesday (3 Oct)
Slides:
[Monday, pdf]
[pdf 2×2]
[Friday, pdf]
[pdf 2×2]
[Wednesday, pdf]
[pdf 2×2]
- Grammars and Abstract Machines
Week 9, Friday (5 Oct), Wednesday (10 Oct)
Slides:
[Friday, pdf]
[pdf 2×2]
[Wednesday, pdf]
[pdf 2×2]
- Turing Machines and Computability
Week 10, Friday (12 Oct), Monday (15 Oct), Wednesday (17 Oct)
Slides:
[Friday, pdf]
[pdf 2×2]
[Monday, pdf]
[pdf 2×2]
[Wednesday, pdf]
[pdf 2×2]
- Guest Lectures
Week 12, Monday (22 October) and Wednesday (24 October)
Slides:
Overview of Research:
[Monday, pdf]
[pdf 2×2]
- Revision Lectures
Week 13, Monday (29 October) and Wednesday (31 October)
Slides:
[Monday, part 1 (questions only)]
[Monday, part 1 (questions and answers)]
[Monday, part 2]
========================================================
|
