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.

---

Hier geht es zu den Internen Webseiten.

---

Die Wiederholungsklausur findet am 24. September 2010 von 09:00 Uhr bis 11:00 Uhr in Raum S1|01/A01 statt.

---

Die Klausureinsicht findet am 20. Oktober 2010 von 16:00 Uhr bis 17:00 Uhr in E302 statt.

---

Sprechstunden während der vorlesungsfreien Zeit im Herbst 2010:

• Mittwoch, 28.07.2010, 16:00–17:00 in E302
• Mittwoch, 18.08.2010, 16:00–17:00 in E302
• Mittwoch, 25.08.2010, 16:00–17:00 in E302
• Mittwoch, 08.09.2010, 16:00–17:00 in E202
• Mittwoch, 15.09.2010, 16:00–17:00 in E302
• Montag, 20.09.2010, 16:00–17:00 in E302
• Mittwoch, 22.09.2010, 14:30–15:30 in E302

---

Die Klausur findet am 10. März 2010 von 8:00 Uhr bis 10:00 Uhr statt.

---

Die Klausureinsicht findet am 7. Mai 2010 von 14:00 Uhr bis 17:00 Uhr in E302 statt.

---

Sprechstunden der Tutoren in der vorlesungsfreien Zeit im Februar/März 2010:

Montag, 15. Februar 2010, 11:30 - 12:30	E302	Daniel Reker
Montag, 15. Februar 2010, 16:00 - 17:00	A126	Sylvia Grüner
Dienstag, 16. Februar 2010, 14:30 - 15:30	E202	Anne-Christine Karpf
Dienstag, 16. Februar 2010, 16:15 - 17:15	E202	Jurlind Budurushi
Montag, 22. Februar 2010, 11:30 - 12:30	E302	Daniel Reker
Montag, 22. Februar 2010, 16:00 - 17:00	A126	Sylvia Grüner
Dienstag, 23. Februar 2010, 14:30 - 15:30	E202	Anne-Christine Karpf
Dienstag, 23. Februar 2010, 16:15 - 17:15	E202	Jurlind Budurushi
Montag, 1. März 2010, 11:30 - 13:30	E302	Daniel Reker
Montag, 1. März 2010, 15:00 - 17:00	A126	Jurlind Budurushi
Dienstag, 2. März 2010, 9:00 - 11:00	E302	Sylvia Grüner
Dienstag, 2. März 2010, 15:30 - 17:30	E202	Jurlind Budurushi
Donnertag, 4. März 2010, 9:00 - 11:00	E202	Jurlind Budurushi
Freitag, 5. März 2010, 10:00 - 12:00	E202	Anne-Christine Karpf
Montag, 8. März 2010, 9:00 - 11:00	E202	Sylvia Grüner
Montag, 8. März 2010, 15:00 - 17:00	E202	Anne-Christine Karpf
Dienstag, 9. März 2010, 9:00 - 11:00	A126	Daniel Reker

---

Sprechstunden der Tutoren:

1	Montag 11:30-12:30	E302	Daniel Reker
2	Montag 16:00-17:00	A126	Sylvia Grüner
3	Dienstag 14:30-15:30	E202	Anne-Christine Karpf
4	Dienstag 16:15-17:15	E202	Jurlind Budurushi

---

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.