Einführung in : Foundations of Computing

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

Die Internen Seiten der Vorlesung befinden sich hier.

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


Die Klausur am 18. September 2009 von 9:00 bis 11:00 Uhr findet im Raum S311/08 statt.


Zur Vorbereitung auf die Klausur am 18. September 2009 von 9:00 bis 11:00 bieten die Tutoren folgende Sprechstunden an:

 29. Juli 2009
 10:00 - 11:00 Uhr
 E302  Anne-Christine Karpf
 5. August 2009
 10:00 - 11:00 Uhr
 E302  Anne-Christine Karpf
19. August 2009
 10:00 - 11:00 Uhr
 E302
 Anne-Christine Karpf
28. August 2009
 10:00 - 11:00 Uhr
 E302
 Anne-Christine Karpf
2. September 2009
 10:00 - 11:00 Uhr
 E302
 Anne-Christine Karpf
9. September 2009
 10:00 - 12:00 Uhr
 E302
 Daniel Staesche
16. September 2009
 10:00 - 12:00 Uhr
 E302
 Daniel Staesche
 


Sprechstunden während der vorlesungsfreien Zeit:

Mo, 16. Feb. 2009
15:00-17:00 Uhr
E202 Anne-Christine Karpf
Mo, 16. Feb. 2009 15:00-17:00 Uhr E302 Yue Sheng
Di, 17. Feb 2009 14:00-16:00 Uhr
A126
Anne-Christine Karpf
Di, 17. Feb 2009 17:00-18:00 Uhr
A126
Yue Sheng
Di, 24. Feb 2009
14:00-15:00 Uhr
A126
Kim David Hagedorn
Mo, 2. Mrz 2009
15:00-16:00 Uhr
E202
Kim David Hagedorn
Di, 3. Mrz 2009
15:00-16:00 Uhr
A126
Yue Sheng
Di, 3. Mrz 2009 14:00-15:00 Uhr
E302
Anne-Christine Karpf
Mo, 9. Mrz 2009
15:00-17:00 Uhr
E202
Daniel Staesche
Mo, 9. Mrz 2009
15:00-17:00 Uhr
E302
Kim David Hagedorn
Di, 10. Mrz 2009
15:00-17:00 Uhr
A126
Yue Sheng
Di, 10. Mrz 2009
14:00-16:00 Uhr
E302
Anne-Christine Karpf


Sprechstunden der Tutoren:

 Dienstag 17:00 - 18:00   A126   Yue Sheng
2  Dienstag 15:00 - 16:00  A126  Anne-Christine Karpf
3  Montag 16:00 - 17:00  E202  Daniel Staesche
4  Montag 16:00 - 17:00  E302  Kim David Hagedorn

Bitte achten Sie auf eventuelle Raumänderungen (werden hier und im Forum bekanntgegeben).


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]

in der Vorlesung verwendete Literatur :

  • Uwe Kastens, Hans Kleine Büning
    Modellierung - Grundlagen und formale Methoden
    Hanser, 2008, zweite Auflage
  • Glynn Winskel
    The Formal Semantics of Programming Languages
    The MIT Press
  • C. A. R. Hoare
    Communicating Sequential Processes
    Prentice-Hall, 1985

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

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