703019 Logik

Wintersemester 2007/2008 | Stand: 31.03.2008 | 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

Anmerkungen:

Beginn: KW 40

Link:

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

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Bachelorstudium Informatik

3. Semester

Logik

Lehramt

Informatik und Informatikmanagement

II. Studienabschnitt

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Do 04.10.2007	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 11.10.2007	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 18.10.2007	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Mo 22.10.2007	17.00 - 20.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 15.11.2007	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 22.11.2007	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 29.11.2007	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 06.12.2007	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 13.12.2007	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 10.01.2008	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 17.01.2008	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 24.01.2008	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei
Do 31.01.2008	08.00 - 11.00	HS D (Technik) HS D (Technik)	Barrierefrei	1st exam
Do 31.01.2008	08.00 - 11.00	HS F (Technik) HS F (Technik)	Barrierefrei	1st exam
Fr 28.03.2008	09.00 - 12.00	HS D (Technik) HS D (Technik)	Barrierefrei	2nd exam
Mo 22.09.2008	09.00 - 12.00	HS D (Technik) HS D (Technik)	Barrierefrei	3rd exam