| About CSE4213 | Assessment | Contacts | Lectures | Resources | Timetables | Tutorials |
| Last modified: 20070322:142036/version for 2007 | CSE4213 AJH-2007 |
Predicate Logic And Substitutions
| 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 |
| 20070322:142036 | 6.0.0 | ajh | version for 2007 |
| This page maintained by John Hurst. Copyright Monash University Copyright Policy |
| ||
Generated at 20090703:1756 from an XML file modified on 20070322:1548 | |||