703019 Logik

Wintersemester 2010/2011 | Stand: 03.03.2011 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:
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