Einführung in Foundations of Computing

Dozent:	Prof. Heiko Mantel
Assistent:	Richard Gay (Sprechstunde: siehe Seite des Assistenten)
Vorlesung:	Montags, 9:50-11:30, S202/C205 sowie S202/C110
Übung:	Montags, 16:15-17:00, S202/C205 (no longer in S202/C120)
Sprechstunden der Tutoren:	Gr.1: Montags, 11:40-12:25, S105/23 (Tutor: Friedrich Weber) Gr.2: Montags, 17:10-17:55, S214/208 (Tutor: Erich Wittenbeck) Gr.3: Dienstags, 11:40-12:25, S105/23 (Tutor: Daniel Hitzel) Gr.4: Mittwochs, 16:15-17:00, S114/169 (Tutor: Felix End) Gr.5: Mittwochs, 11:40-12:25, S115/238 (Tutor: Hoang Duong Nguyen)
Klausur:	11.03.2015, 08:00-10:30 (Räume siehe unten) Anmeldungszeitraum: 15.11.-17.12.2014 Die Klausurergebnisse stehen jetzt in TUCaN und wurden ans Studienbüro gemeldet.
Wiederholungsklausur:	18.09.2015, 09:00-11:15 in S1|01 A1 (Audimax) Die Klausurergebnisse stehen jetzt in TUCaN und wurden ans Studienbüro gemeldet. Klausureinsicht: Fr, 23.10.2015, 14:00-16:00 in S2/02 Raum E302 Mitzubringen sind der Studentenausweis sowie Personalausweis oder Reisepass

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

In der vorlesungsfreien Zeit im Februar und März 2015 bietet jeder FoC-Tutor zwei Sprechstunden an. Die Termine und Räume (alle in S2/02) sind der folgenden Tabelle zu entnehmen.

Datum	Zeit	Raum	Tutor
Di, 17.2.2015	13:00-15:00	E302	Daniel Hitzel Hoang Duong Nguyen
Mi, 18.2.2015	14:00-16:00	E302	Erich Wittenbeck
Fr, 20.2.2015	14:00-16:00	E302	Hoang Duong Nguyen Daniel Hitzel
Di, 24.2.2015	10:00-12:00	E302	Friedrich Weber
Do, 26.2.2015	16:00-18:00	E202	Daniel Hitzel
Fr, 27.2.2015	14:00-16:00	E302	Erich Wittenbeck
Mo, 2.3.2015	13:00-15:00	E202	Felix End
Mi, 4.3.2015	14:00-16:00	E302	Hoang Duong Nguyen
Fr, 6.3.2015	11:00-13:00	E302	Friedrich Weber
Mo, 9.3.2015	10:00-12:00	E302	Felix End

Content

Hier geht es zu den internen Webseiten.

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.

Last modified on 22 November 2016.