Einführung in Foundations of Computing

Dozent:  Prof. Dr. Heiko Mantel
Assistent: Dr.-Ing. Artem Starostin (Sprechstunde Do 13:00 - 14:00)
Raum und Zeit:  Mo, 8:55 bis 11:30 Uhr in S2 02 | C205 und C110
Klausur:  Mittwoch, 16. März 2011, 08:00-10:00

Hier geht es zu den internen Webseiten.

Wiederholungsklausur

Die Klausureinsicht wird am 11. November 2011 von 16:00 bis 17:30 in A126 stattfinden.

Mitzubrigen sind:

• Personalausweis oder Reisepaß,
• Studentenausweis.

Die Wiederholungsklausur findet am  23. September 2011 um 9:00 in S101/A01 statt.

Klausureinsicht

Das Studienbüro wird die Noten ins TUCAN veröffentlichen.

Die Klausureinsicht wird am 19. Mai 2011 von 13:00 bis 16:00 in E202 stattfinden.

Mitzubrigen sind:

• Personalausweis oder Reisepaß,
• Studentenausweis.

Zeitplan für die Klausureinsichtr

Nachname beginnt mit	Zeit
A bis G	13:00-14:00
H bis P	14:00-15:00
R bis Z	15:00-16:00

Klausur

Raumeinteilung für die Klausur

Nachname beginnt mit	Raum
A bis Du	S101/A01
Dü bis Gü	S103/221
Ha bis Ke	S311/006
Kh bis Se	S311/08
Sh bis Z	S311/0012

Regeln für die Klausur "Einführung in Foundations of Computing":

• keine Unterlagen, keine elektronischen Hilfsmittel, 
• 1 beidseitig handbeschriebenes DIN-A4-Blatt (kein Ausdruck, keine Kopie) ist erlaubt, es muß deutlich lesbar mit Name und Matrikelnummer am oberen Rand auf beiden Seiten markiert sein,
• mitzubrigen sind:
• Personalausweis oder Reisepaß,
• Studentenausweis,
• Kugelschreiber/Füller,
• Uhr (ein Handy ist keine Uhr),
• Papier wird gestellt (sowohl für die Antworten, als auch für die Notizen).

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

21.02.11	17:00	A313	Christoph Dann
22.02.11	17:00	A213	Christoph Dann
23.02.11	13:00	A313	Manuel Pütz
23.02.11	17:00	A313	Christoph Dann
25.02.11	09:00	E102	Christoph Dann
25.02.11	13:00	E102	Manuel Pütz
28.02.11	13:00	E302	Michael Kutschke
01.03.11	13:00	E302	Michael Kutschke
02.03.11	10:00	E302	Christoph Dann
02.03.11	13:00	E302	Michael Kutschke
03.03.11	13:00	E302	Michael Kutschke
04.03.11	13:00	E302	Michael Kutschke
07.03.11	13:00	E302	Manuel Pütz
07.03.11	17:00	E302	Jurlind Budurushi
08.03.11	17:00	E302	Jurlind Budurushi
09.03.11	13:00	E302	Manuel Pütz
09.03.11	17:00	E302	Jurlind Budurushi
10.03.11	17:00	E302	Jurlind Budurushi
11.03.11	13:00	E302	Manuel Pütz
14.03.11	17:00	E302	Jurlind Budurushi

Sprechstunden der Tutoren (finden ab dem 25. Oktober statt):

1	Mo 16:00-17:00	A126	Manuel Pütz
2	Mi 17:00-18:00	E202	Christoph Dann
3	Do 17:00-18:00	A313	Jurlind Budurushi
4	Fr 10:00-11:00	E302	Michael Kutschke

Themen

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.