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.

Wiederholungsklausur

Die Wiederholungsklausur findet am  21. September 2012 um 9:00 in S101/A01 statt.

Die Klausureinsicht wird am 14. November 2012 von 17:30 bis 18:30 in E202 stattfinden.

Mitzubrigen sind:
  • Personalausweis oder Reisepaß,
  • Studentenausweis.

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