LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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