703501 Logik
Wintersemester 2010/2011 | Stand: 03.03.2011 | LV auf Merkliste setzen703501
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
schriftlich
Beginn:
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 04.10.2010
|
12.15 - 14.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 18.10.2010
|
12.15 - 14.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Fr 22.10.2010
|
13.15 - 15.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 25.10.2010
|
12.15 - 14.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Fr 29.10.2010
|
13.15 - 15.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Fr 05.11.2010
|
13.15 - 15.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 08.11.2010
|
12.15 - 14.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 15.11.2010
|
12.15 - 14.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Fr 19.11.2010
|
13.15 - 15.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 22.11.2010
|
12.15 - 14.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Fr 26.11.2010
|
13.15 - 15.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |
|
Mo 29.11.2010
|
12.15 - 14.00 | HS D (Technik) HS D (Technik) | Barrierefrei | |