Einführung in Foundations of Computing

Dozent: Prof. Heiko Mantel
Assistenten: Dr. Artem Starostin, Sarah Ereth
Vorlesung: Montags, 9:50-11:30, S202/C205 sowie S202/C110
Übungen und
Sprechstunde
der Tutoren:

 Gr.1: Montags, 11:40-13:20, S105/23 (11:40-12:25 - Übung, 12:35-13:20 - Sprechstunde)
Gr.2: Monatgs, 16:15-17:55, S214/208 (16:15-17:00- Übung, 17:10-17:55 - Sprechstunde)
Gr.3: Dienstags, 11:40-13:20, S105/23 (11:40-12:25 - Übung, 12:35-13:20 - Sprechstunde)
Gr.4: Mittwochs, 11:40-13:20, S105/24 (11:40-12:25 - Übung, 12:35-13:20 - Sprechstunde)
Gr.5: Mittwochs, 16:15-17:55, S105/24 (16:15-17:00- Übung, 17:10-17:55 - Sprechstunde)

Wiederholungsklausur

Die Wiederholungsklausur findet am  20. September 2013 um 9:00 in S101/A01 statt.

Die Noten sind ins TUCAN eingetragen. Die Klausureinsicht wird am 6. November 2013 von 17:00 bis 18:00 in A313 stattfinden.

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

Sprechstunden der Assistenten in der vorlesungsfreien Zeit im September 2013

18.09.13 15:00-16:00 E203 Sarah Ereth

 

 

Klausureinsicht

Die Klausureinsicht wird am 17. Mai 2013 von 14:00 bis 16:00 in E302 stattfinden.

Mitzubrigen sind:
  • Personalausweis oder Reisepaß,
  • Studentenausweis.
Zeitplan für die Klausureinsicht
Nachname beginnt mit Zeit
A bis K
 14:00-15:00
L bis Z
 15:00-16:00

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

Nachname beginnt mit

 Raum
A bis Hah
 S206/030
Har bis Kle
 S103/221
Kli bis Milt
 S311/0012
Milu bis Scha
 S101/A01
Schä bis Z
 S105/122

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 Assistenten in der vorlesungsfreien Zeit im März 2013

8.3 17:00-17:45 E302 Sarah Ereth
11.3 17:00-17:45 E302 Dr. Artem Starostin

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

25.2 14:00-16:00 A313 Malte
26.2 11:00-13:00 A313 Jeannine
26.2 16:00-18:00 A313 Malte
28.2 14:00-16:00 E302 Tobias
1.3 14:00-16:00 E302 Tobias
4.3 14:00-16:00 E302 Jeannine
5.3 10:00-12:00 E302 David
6.3 10:00-12:00 E302 David
7.3 12:30-14:30 E302 Kevin
11.3 12:30-14:30 E302 Kevin

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

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