Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:lecture02 [2008/02/21 16:09] vkuncak |
sav08:lecture02 [2008/10/11 18:42] (current) vkuncak |
||
---|---|---|---|
Line 15: | Line 15: | ||
[[Sets and Relations]] - Some more background in preparation for program semantics. | [[Sets and Relations]] - Some more background in preparation for program semantics. | ||
+ | ===== References ===== | ||
+ | |||
+ | * [[Discrete mathematics by Rosen]] | ||