Programmierung – SS 2007


Sorry, diese Seite wurde noch nicht ins neue Design übernommen, inhaltlich aber auch nicht mehr aktualisiert!

Meine Stunden

Donnerstag 2. DS ASB/114
Donnerstag 3. DS ASB/114

Vorzustellende Aufgabe(n)

12. Übung: Aufgabe 1 (AGS 15.13) und Zusatzaufgabe 2 (nicht in AGS)

Folien

noch keine

Links

Persönliche Linksammlung
Seiten anderer (ehemaliger) Übungsleiter: Sascha Böhme, Edward Fischer, Carmen Heger
Programmierungsseite des Lehrstuhls
Meine Seite zur Übung Algorithmen und Datenstrukturen WS 2006/2007
Funktionale Programmierung
Haskell
Hugs
Sprachbeschreibung Haskell 98
Sturm, Godisch - Einführung Haskell 98
Haskell-Kurs der Uni Bonn
Vollständige Induktion
Strukturelle Induktion
Unifikation
Induktion über Listen (insbesondere AGS-Kapitel 11.3)
Operationelle Semantik
Grundlagen PControl (∼ C_0) und PProc (∼ C_1) (weiterführende Literatur zur denotationellen und axiomatischen Semantik; englisch)
Axiomatische Semantik
Hoare-Kalkül

..:: Impressum: verantwortlich nach §5 TMG ist: Denis Stein | Siegenburger Str. 35 | 81373 München | Kontakt ::..
© 2005-2013 – letzte Änderung: 26.10.2013