703501 Logik

Wintersemester 2008/2009 | Stand: 23.02.2009 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Georg Moser, +43 512 507 53213

LV-Nummer:

703501

Titel:

Logik

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

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.

Inhalt:

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

Prüfungsmodus:

schriftlich

Anmerkungen:

Beginn: KW 40

Link:

http://cl-informatik.uibk.ac.at/teaching/ws08/logic

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik nach dem Curriculum 2007

1. Semester

Spezifikation und Verifikation

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Do 02.10.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 09.10.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 16.10.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 23.10.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 30.10.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 06.11.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 13.11.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 20.11.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 27.11.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 04.12.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 11.12.2008	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 08.01.2009	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Do 15.01.2009	08.00 - 11.00	rr 15 rr 15	Barrierefrei
Do 22.01.2009	08.15 - 10.00	HS E (Technik) HS E (Technik)	Barrierefrei
Fr 06.03.2009	14.00 - 16.00	HS E (Technik) HS E (Technik)	Barrierefrei	Prüfungen zu Logik und Komplexitätstheorie (703751)