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:

1	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.