703019 Logik

Wintersemester 2008/2009 | Stand: 23.02.2009 LV auf Merkliste setzen
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: KW 40
Gruppe 0
Datum Uhrzeit Ort
Do 02.10.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 09.10.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 16.10.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 23.10.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 30.10.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 06.11.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 13.11.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 20.11.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 27.11.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 04.12.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 11.12.2008
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 08.01.2009
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 15.01.2009
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Do 22.01.2009
08.15 - 11.00 HS F (Technik) HS F (Technik) Barrierefrei
Fr 17.04.2009
09.00 - 12.00 HS 10 HS 10 Barrierefrei 2nd exam
Fr 17.04.2009
09.00 - 12.00 HS F (Technik) HS F (Technik) Barrierefrei 2nd exam
Fr 25.09.2009
09.00 - 12.00 HS 10 HS 10 Barrierefrei 3rd exam