pop up description layer
| Last modified: 20100301:103722/version for 2010 |
|
Revision of Set Theory
LM2: Revision of Set Theory
LM2: Revision of Set Theory
|
presentation
|
pdf version of the lecture presentation,
with multiple slides per presentation point |
54 slides |
|
slides
|
pdf version of the lecture slides, with single slides per
presentation point |
10 slides |
|
notes
|
the slides reduced to note form, more suitable for
printing |
3 pages |
|
Feedback Slides
|
some experimental slides which allow online real-time
feedback from the class, using the iCALT software system
made available by CERG. |
50 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
| 20100301:103722 |
9.0.0 |
ajh |
version for 2010 |
