703019 Logik
Wintersemester 2010/2011 | Stand: 03.03.2011 | LV auf Merkliste setzenUniv.-Prof. Dr. Aart Middeldorp
Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
assoz. Prof. Dr. René Thiemann assoz. Prof. Dr. René Thiemann, +43 512 507 53234
703019
Logik
VO 3
4,5
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls sollen die Inhalte der Vorlesung
verstehen sowie diese wiedergeben und anwenden können. Sie sollen die Fähigkeit
erworben haben, sich ähnliche Inhalte selbstständig zu erarbeiten. Weiters sollen sie
ein Grundverständnis für die Methoden der Logik erlangt haben.
Aussagenlogik; Prädikatenlogik; Einführung in Beweissysteme; Kalküle des natürlichen
Schließens für Aussagenlogik und Prädikatenlogik; Grundlagen der
Logikprogrammierung; Prolog; binäre Entscheidungsdiagramme; Einführung in
Verifikation und Model Checking
schriftliche Prüfung
Beginn:
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 04.10.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 07.10.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 11.10.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 14.10.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 18.10.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 21.10.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 25.10.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 28.10.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 04.11.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 08.11.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 11.11.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 15.11.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 18.11.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 22.11.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 25.11.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 29.11.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 02.12.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 06.12.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 09.12.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 13.12.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 16.12.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 10.01.2011
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 13.01.2011
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 17.01.2011
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 20.01.2011
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 24.01.2011
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 27.01.2011
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 31.01.2011
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 03.02.2011
|
08.00 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |