Einführung in : Foundations of Computing

Dozent:  Prof. Dr. Heiko Mantel
Assistent: Dipl.-Math. Dieter Schuster (Sprechstunde Donnerstags 14:00 - 15:00 Uhr)

Vorlesung:  Mittwoch, 8:55 bis 10:35 Uhr in S202/C205.
Vorrechenübung:  Mittwoch, 10:45 bis 11:30 Uhr in S202/C205.

---

Informationen zur Anmeldung zur Klausur am 19. September 2008 finden Sie auf den Internen Webseiten.

---

Der Inhalt der Vorlesung hat sich im Vergleich zum letzten Jahr stark verändert. 

folgende Themen werden in der Vorlesung behandelt, in Klammern steht die verwendete Literatur:

• Einführung in die Modellierung,
  [Kastens/Kleine Buening]
• Repititorium über Aussagen- und Prädikatenlogik,
  [FGDI 2 Skript von M. Otto]
• Formale Modellierung und formale Modelle,
  [Kastens/Kleine Buening]
• Formale Spezifikation,
  [Kastens/Kleine Buening]
• Syntax und Semantik von Programmiersprachen,
  [Winskel]
• Syntax und Semantik von Prozessalgebren,
  [Hoare und Milner]
• Gleichheit von Spezifikationen und Verfeinerungsbegriffe,
  [Artikel]
• Klassen von Systemeigenschaften,
  [Artikel]

in der Vorlesung verwendete Literatur :

• Uwe Kastens, Hans Kleine Büning
  Modellierung - Grundlagen und formale Methoden
  Hanser, 2005
• Glynn Winskel
  The Formal Semantics of Programming Languages
  The MIT Press
  
• C. A. R. Hoare
  
  Communicating Sequential Processes
  Prentice-Hall, 1985
  
• Robin Milner
  Communication and Concurrency
  Prentice-Hall, 1989
  

Das Lehrmaterial (Folien, Übungen, Musterlösungen) befindet sich hier.

Die Fachschaft betreibt ein Forum zu den Lehrveranstaltungen, das Forum der FoC befindet sich hier.