pop up description layer
| Last modified: 20080808:110829/revised directory names | |
Revision of Set Theory
LM2: Revision of Set Theory
LM2: Revision of Set Theory
| slides | slides as given in lectures, with multiple slides per points | 54 slides |
| notes | the slides reduced to note form, more suitable for printing (NB: the last page of the notes is missing, and I cannot find out why! Still investigating.) | 3 pages |
| slides | some experimental slides, with multiple slides per points. These are generated using the Slidy HTML tool. | 9 HTML pages |
In this lecture, we revise those parts of set theory needed for an understanding of the B Method. An essential part of this revision is a thorough understanding of how relations and functions can be used to model a range of data structures.
previous: LM1: Introduction next: LM3: Abstract Machines
Document History
| 20080808:110829 | 7.0.2 | ajh | revised directory names |
| 20080707:100429 | 7.0.1 | ajh | release version for 2008 |
| 20080413:163622 | 7.0.0 | ajh | version for 2008 |
