pop up description layer
Last modified: 20090129:154607/version for 2009

FIT3013 AJH-2009-06

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
HTML 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

20090129:154607 8.0.0 ajh version for 2009
This page maintained by John Hurst.
Copyright Monash University Copyright Policy
140 accesses since
29 Jan 2009
My PhotoTrain Photo

Generated at 20090705:0938 from an XML file modified on 20090504:1357
Maintainer use only; not generally accessible: Local ServerWork ServerCSSE Server

429 accesses since 29 Jan 2009, HTML cache rendered at 20120526:0528