703501 Logik

Wintersemester 2007/2008 | Stand: 09.05.2008 LV auf Merkliste setzen
703501
Logik
VO 2
4
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesungen verstehen, sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit erworben haben, sich ähnliche Inhalte selbständig zu erarbeiten. Weiters sollen sie ein Grundverständnis für die Methoden der Spezifikation und Verifikation erlangt haben.
Semantik und Beweissysteme für Prädikatenlogik und Gleichheitslogik; Einführung in Modallogik und Logik zweiter Stufe; Anwendung interaktiver, höherstufiger automatischer Beweiser um logische Modellierungen durchzuführen
Beginn: KW 40
Gruppe 0
Datum Uhrzeit Ort
Do 04.10.2007
08.00 - 10.00 HS 10 HS 10 Barrierefrei
Do 11.10.2007
08.00 - 10.00 HS 10 HS 10 Barrierefrei
Do 18.10.2007
08.00 - 10.00 HS 10 HS 10 Barrierefrei
Do 25.10.2007
08.00 - 10.00 HS 10 HS 10 Barrierefrei
Do 08.11.2007
08.00 - 10.00 HS 10 HS 10 Barrierefrei
Do 15.11.2007
08.00 - 10.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 22.11.2007
08.00 - 10.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 29.11.2007
08.00 - 10.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 06.12.2007
08.00 - 10.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 13.12.2007
08.00 - 10.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 10.01.2008
08.00 - 10.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 17.01.2008
08.00 - 10.00 HS E (Technik) HS E (Technik) Barrierefrei
Do 24.01.2008
08.00 - 10.00 HS B (Technik) HS B (Technik) Barrierefrei 1. Klausur
Mi 05.03.2008
13.00 - 15.00 HSB 1 HSB 1 Barrierefrei 2. Klausur Logik (Master)
Mi 11.06.2008
12.00 - 14.00 HS 11 HS 11 Barrierefrei 3. Klausur