703019 Logik
Wintersemester 2009/2010 | Stand: 15.02.2010 | LV auf Merkliste setzen703019
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: KW 41
- Fakultät für Mathematik, Informatik und Physik
|
Gruppe 0
|
||||
|---|---|---|---|---|
| Datum | Uhrzeit | Ort | ||
|
Mo 12.10.2009
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 15.10.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 19.10.2009
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 22.10.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 29.10.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 05.11.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 09.11.2009
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 12.11.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 16.11.2009
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 19.11.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 23.11.2009
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 26.11.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 30.11.2009
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 03.12.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 07.12.2009
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 10.12.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 14.12.2009
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 17.12.2009
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 11.01.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 14.01.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 18.01.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 21.01.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 25.01.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 28.01.2010
|
08.15 - 10.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Mo 01.02.2010
|
10.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | |
|
Do 04.02.2010
|
08.15 - 11.00 | HS F (Technik) HS F (Technik) | Barrierefrei | 1.Klausur |
|
Fr 09.04.2010
|
09.00 - 12.00 | HS 10 HS 10 | Barrierefrei | 2nd exam |
|
Mo 27.09.2010
|
09.00 - 12.00 | HS 10 HS 10 | Barrierefrei | 3rd exam |