703501 Logik

Wintersemester 2009/2010 | Stand: 15.02.2010 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Georg Moser Univ.-Prof. Dr. Georg Moser, +43 512 507 53213
703501
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: KW 41
http://cl-informatik.uibk.ac.at/teaching/ws09/logic
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Di 06.10.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 13.10.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 20.10.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 27.10.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 03.11.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 10.11.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 17.11.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 24.11.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 01.12.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 15.12.2009
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 19.01.2010
 14.15 - 17.45 HS D (Technik) HS D (Technik) Barrierefrei
Di 26.01.2010
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei
Di 02.02.2010
 14.15 - 16.00 HS D (Technik) HS D (Technik) Barrierefrei