pop up description layer
Last modified: 20080818:171449/first version for 2008

FIT3013 AJH-2008-22

LM7: Substitutions

Preconditions and Guards | Predicate Logic And Substitutions | Generalised Substitutions and Semantics

Preconditions and Guards

presentation slides as given in lectures, with multiple slides per points 60 pages
slides slides as per the lectures, but multiple points per slide, suitable for printing 16 pages
notes the slides reduced to note form, even more suitable for printing 4 pages

Discusses the differences between preconditions and guards.

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

Generalised Substitutions and Semantics

presentation slides as given in lectures, with multiple slides per points 177 pages
notes the slides reduced to note form, even more suitable for printing 11 pages
previous: LM6: The Square Root Machine next: LM7: Semantics of Event-B

Document History

20080818:171449 7.0.0 ajh first version for 2008

This page maintained by John Hurst.
Copyright Monash University Copyright Policy
11 accesses since
09 Mar 2012
My PhotoTrain Photo

Generated at 20120523:1024 from an XML file modified on 20100504:1316
Maintainer use only; not generally accessible: Local Server Work Server CSSE Server

114 accesses since 15 May 2010, HTML cache rendered at 20120523:2132