College of Engineering and Computer Science
Research School of Computer Science
COMP2600 - 2011
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 2011 Archive
The Tutorial Exercises
Week 3 - Natural Deduction
Exercises
Week 4 - Structural Induction
Exercises
Week 5 - System Specification in Z
Exercises
Week 6 - Finite State Automata
Exercises
Week 7 - Languages, Grammars and Pushdown Automata
Exercises
Week 8 - Turing Machines and Lambda Calculus
Exercises
Week 9 - Hoare Logic
Exercises
Week 10 - Weakest Precondition Calculus
Exercises
Week 12 - Miscellaneous topics
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
