PDA

View Full Version : [FRAGE] - Altes Skriptum besprochen?


grassi3000
30-06-2004, 14:52
Hallo!
Wurde das "alte Skriptum" in der VO auch durchgenommen, oder ist das nur mehr zwecks Hintergrundinfos beigelegt?
Sprich, sind testrelevante Infos drinnen, die nicht im neuen Teil stehen?

mfg
grassi

Plantschkuh!
01-07-2004, 02:35
Es sind mehr Beispiele und Erklärungen drin, die sind vielleicht interessant. Weiters ein Korrektheitsbeweis für den Hoare-Kalkül, der ist ziemlich sicher nicht prüfungsrelevant.

keito
02-07-2004, 12:52
altes Skriptum = Pfui

Ich glaube man kommt auch ohne aus ;)