703019 Logik

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

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205

LV-Nummer:

703019

Titel:

Logik

Typ/Stunden:

VO 3

ECTS-AP:

4,5

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Lernergebnis:

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.

Inhalt:

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

Prüfungsmodus:

schriftliche Prüfung

Anmerkungen:

Beginn: KW 40

Link:

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

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Lehramt

Informatik und Informatikmanagement

II. Studienabschnitt

Bachelorstudium Informatik nach dem Curriculum 2007

3. Semester

Logik

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
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