|
|
COMP2600: Formal Methods for Software Engineering
The 2010 Archive
Lecture Slides and Supporting Material
- Revision: Propositional Logic, Predicate Calculus
Week 1, Wednesday, July 21
Slides:
[pdf]
[pdf 2×2]
Find out about Aristotle
and Leibniz
- Revision: Sets, Functions, Relations, Induction
Week 1, Thursday, July 22
Slides:
[pdf]
[pdf 2×2]
- No Lecture (Bush Week)
Week 1, Friday, July 23
- Revision: Basic Haskell
Week 2, Wednesday, July 28
Slides:
[pdf]
[pdf 2×2]
- Natural Deduction
Week 2, Thursday, July 29
Slides:
[pdf]
[pdf 2×2]
[Propositional Calculus Rules]
- Natural Deduction (continued)
Week 2, Friday, July 30
Slides:
[pdf]
[pdf 2×2]
[Predicate Calculus Rules]
- Types and Recursion
Week 3, Wednesday, 4 August
Slides:
[pdf]
[pdf 2×2]
Example code:
[Expression.hs]
[flatten.hs]
- Structural Induction
Week 3, Thursday, 5 August
Slides:
[pdf]
[pdf 2×2]
- Structural Induction (continued)
Week 3, Friday 6, August
Slides:
[pdf]
[pdf 2×2]
- Hoare Logic -- 3 lectures
Week 4, Wednesday (11 August), Thursday (12 August) and Friday (13 August)
Slides:
[pdf]
[pdf 2×2]
Find out about
Tony Hoare
and enjoy some quotes in
Tony's opinions.
- Weakest Precondition Calculus -- 3 lectures
Week 5, Wednesday (18 August), Thursday (19 August) and Friday (20 August)
Slides:
[pdf]
[pdf 2×2]
Find out about
Edsger Dijkstra
and share in his wisdom through
his sayings.
- Finite State Automata & Regular Languages
-- 3 lectures
Week 6, Wednesday (25 August), Thursday (26 August) and Friday (27 August)
Slides:
[pdf]
[pdf 2×2]
- System Specification using Z -- 3 lectures
Week 7, Wednesday (1 September), Thursday (2 September)
and Friday (3 September)
Slides:
[pdf]
[pdf 2×2]
You can download
The Z Reference Manual for free.
- Language and Grammars
Week 8, Wednesday, 8 September
Slides:
[pdf]
[pdf 2×2]
- Push-Down Automata
Week 8, Thursday, 9 September
Slides:
[pdf]
[pdf 2×2]
- Introduction to Parsing
Week 9, Wednesday, 15 September
Slides:
[pdf]
[pdf 2×2]
Example code:
[ParseTypeDefs.hs]
[Expression Evaluator]
- Lambda Calculus and Church Numerals
Week 9, Thursday, 16 September
Slides:
[pdf]
[pdf 2×2]
[
Lambda Calculus Workbench]
[Mt. Lambda, near
Kyoto U.]
- Turing Machines
Week 9, Friday, 17 September
Slides:
[pdf]
[pdf 2×2]
- Complexity and Computability
Week 10, Wednesday, 22 September
Slides:
[pdf]
[pdf 2×2]
- Soundness and Completeness
Week 10, Thursday, 23 September
Slides:
[pdf]
[pdf 2×2]
- No Lecture
Week 10, Friday, 24 September
- Type Checking and Unification
Week 12, Thursday, 21 October
Slides:
[pdf]
[pdf 2×2]
- Prolog
Week 12, Friday, 22 October
Slides:
[pdf]
[pdf 2×2]
Example code:
[facts.pl]
[likes.pl]
[parent.pl]
[parse.pl]
|
