Einführung in Foundations of Computing

Dozent: Prof. Heiko Mantel
Assistenten: Richard Gay, 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: Montags, 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)
Am 29.1.2014 finden Übung und Sprechstunde der Gr.5 in S105/22 statt.
Klausur im SS14: 19.09.2014, 09:00-11:00 in Raum S1|01 A01
Die Noten stehen in TUCaN.
Klausureinsicht: Di, 28.10.2014, 13: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).

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