COMP 202: Formal Methods of Computer Science
2009 Trimester 2
| COMP 202 |
CRN 954, 22 Points (2009 2/3) |
| Coordinator: |
A/Prof Lindsay Groves
|
| Lecturer: |
Dr Petra Malik
|
| Prerequisites: |
COMP 103, MATH 114. |
| Lectures: |
Mon Tue Thu Fri 3-4 timetable |
| Tutorials: |
To be arranged. |
| Textbook: |
TBA
|
| Prescription: |
This course addresses fundamental principles and ideas underlying Computer Science. Topics include finite automata and regular languages, push-down automata and context free languages, Turing Machines and computable and computably enumerable languages, and program specification and verification. |
|
Home Page
|
EResearch