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.


A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang