Einführung in Foundations of Computing

Dozent:  Prof. Dr. Heiko Mantel
Assistent: Dr.-Ing. Artem Starostin (Sprechstunde Do 13:00 - 14:00, nur in der Vorlesungszeit), Sarah Ereth (Sprechstunde Di 16:15 - 17:15)
Raum und Zeit der Vorlesung:  Mo, 9:50 bis 11:30 Uhr in S2 02 | C205 und C110

Hier geht es zu den internen Webseiten.

Klausurergebnisse und Klausureinsicht

Die Noten sind ins TUCAN eingetragen. Das Studienbüro wird die Noten demnächst veröffentlichen.

Die Klausureinsicht wird am 4. Mai 2012 von 13:00 bis 16:00 in E302 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

Raumeinteilung für die Klausur am 07.03.12, 8:00-10:00

Nachname beginnt mit Raum
A bis Frei
 S101/A01
Fres bis Makh
 S206/030
Maks bis Sta
 S311/08
Ste 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:

14.02 10:00-12:00 Sabina Kruk A213
17.02 10:00-12:00 Sabina Kruk A126
20.02 10:00-12:00 Thomas Schulz A313
23.02 11:00-13:00 Michael Markert A313
24.02 13:00-15:00 Johannes Schickel E102
27.02 10:00-12:00 Thomas Schulz A313
28.02 08:30-10:30 Frank Hartmann E302
29.02 10:00-12:00 Michael Markert A313
02.03 13:00-15:00 Johannes Schickel E102
06.03 08:30-10:30 Frank Hartmann E302

Sprechstunden der Tutoren

1 Dienstag 1pm-2pm
A313 Frank Hartmann
2 Mittwoch 1pm-2pm A313 Sabina Kruk
3 Donnerstag 1pm-2pm A313 Thomas Schulz
4 Donnerstag 5pm-6pm E202 Michael Markert
5 Friday 1pm-2pm E102 Johannes Schickel

Kleingruppenübungen

1 Montags 11:40 - 12:25
 S103/9 Dr. Artem Starostin
2 Montags 16:15 - 17:00
 S103/113
 Dr. Artem Starostin
3 Mittwochs 11:40 - 12:25 S103/161
 Sarah Ereth
4 Mittwochs 16:15 - 17:00 S101/A02
 Sarah Ereth
5 Donnerstags 11:40 - 12:25 S103/223
 Dr. Artem Starostin

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

Die Fachschaft betreibt ein Forum zu den Lehrveranstaltungen. Das Forum der FoC befindet sich hier.
A A A | Print | Imprint | Sitemap | Contact
zum Seitenanfang