College of Engineering and Computer Science
Research School of Computer Science
COMP2600 - 2007
Home
Description
Lectures
Tutorials
Assignments
Schedule
Exams
Assessment
Text Books
Context
Current COMP2600
Other Years
Quick Links
ANU Home
CECS Home
RSCS Home
Search
COMP2600: Formal Methods for Software Engineering
The 2007 Archive
The Tutorials
Week 3: Natural Deduction
Exercises
Week 4: Finite State Machines
Exercises
Week 5: Structural Induction
Exercises
Week 6: Hoare Logic
Exercises
Week 7 - No Tutorials
Week 8: Weakest Preconditions
Exercises
Week 9: Z
Exercises
Week 10: Turing Machines
Exercises
Week 11: Lambda Calculus, Grammars and PDAs
Exercises
Copyright
|
Disclaimer
|
Privacy
|
Contact ANU
Please direct all enquiries to:
comp2600@cs.anu(.edu.au)
Page authorised by Head of RSCS
The Australian National University — CRICOS Provider Number 00120C
