@www.csse.monash.edu.au |
| Assessment | Contacts | Lectures | Resources | Timetables | Tutorials | Unit Outline |
| Last modified: 20080818:171449/first version for 2008 | FIT3013 AJH-2008-22 |
Preconditions and Guards | Predicate Logic And Substitutions | Generalised Substitutions and Semantics
| presentation | slides as given in lectures, with multiple slides per points | 60 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 16 pages |
| notes | the slides reduced to note form, even more suitable for printing | 4 pages |
Discusses the differences between preconditions and guards.
| presentation | slides as given in lectures, with multiple slides per points | 62 pages |
| slides | slides as per the lectures, but multiple points per slide, suitable for printing | 14 pages |
| notes | the slides reduced to note form, even more suitable for printing (note: last page missing, don't know why!) | 2 pages |
| presentation | slides as given in lectures, with multiple slides per points | 177 pages |
| notes | the slides reduced to note form, even more suitable for printing | 11 pages |
| 20080818:171449 | 7.0.0 | ajh | first version for 2008 |
| This page maintained by John Hurst. Copyright Monash University Copyright Policy |
|   | |
Generated at 20090705:0112 from an XML file modified on 20080915:1459 | |||