@www.csse.monash.edu.au |
| Assessment | Contacts | Lectures | Resources | Timetables | Tutorials | Unit Outline |
| Last modified: 20080830:121349/added document number and next lecture link | FIT3013 AJH-2008-19 |
LM4: Formal Definitions of Relations | Improvement
| slides | slides as given in lectures, with multiple slides per points | 63 pages |
| notes | the slides reduced to note form, even more suitable for printing | 13 pages |
This lecture covers definitions supplied in the Concise Summary of B, focussing particularly upon the use of set comprehension as a tool for the formal definition of B constructs.
Need to prepare in advance some examples for each of the relations defined.
previous: LM3: Abstract Machines next: LM5: Library Case Study
| 20080830:121349 | 7.0.3 | ajh | added document number and next lecture link |
| 20080808:114408 | 7.0.2 | ajh | revised directory names |
| 20080730:112604 | 7.0.1 | ajh | added Improvement section |
| 20080729:095146 | 7.0.0 | ajh | version for 2008 |
| This page maintained by John Hurst. Copyright Monash University Copyright Policy |
|   | |
Generated at 20090708:0531 from an XML file modified on 20080830:1235 | |||