Quick Links: [ What's New | Staff | Timetable | Assignments | Lecture Notes | Resources ]
| Robi Malik | |
|---|---|
| Office: | G 2.23 |
| Phone: | 07 838 4796 |
| e-Mail: |  |
| Lecture 1 | Monday | 12:00 - 13:00 | G B.13 |
|---|---|---|---|
| Lecture 2 | Thursday | 11:00 - 12:00 | G 1.15 |
Assignment 1 was due on Monday 30th July 2007.
Assignment 2 was due on Monday 20th August 2007.
Test 1 was held on Monday 24 September 2007.
Assignment 3 is now due on Monday 29 October 2007 at 9:00.
The lecture handouts are the slides which will be presented in class: each file corresponds to one lecture. They are as accurate as possible at the time of publishing. However, if errors are detected, handouts may be changed without notice until shortly after each lecture.
More comprehensive material can be found in the textbook:
Here are the example models presented in class.
Here are some example SMV models to be presented in class.
Robi Malik,
Department of Computer Science, The University of Waikato;