703622 Theorie und Praxis der Entscheidungsverfahren

Sommersemester 2014 | Stand: 11.06.2014 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
assoz. Prof. Dr. Cezary Kaliszyk assoz. Prof. Dr. Cezary Kaliszyk, +43 512 507 53299
703622
Theorie und Praxis der Entscheidungsverfahren
PS 2
4
wöch.
jährlich
Englisch
Absolventinnen und Absolventen dieses Moduls kennen Entscheidungsverfahren für Aussagenlogik und für Restriktionen der Prädikatenlogik. Sie können diese Entscheidungsverfahren implementieren sowie Spezifikationen in diesen Logiken formulieren und mittels Tools verifizieren.
Einüben der Vorlesungsthemen durch Anwenden der vorgestellten Konzepte

Beurteilung aufgrund von regelmäßigen schriftlichen und/oder mündlichen Beiträgen der Teilnehmerinnen und Teilnehmer.

Lehrveranstaltungsprüfung gemäß § 7 Satzungsteil, Studienrechtliche Bestimmungen

Wird im Rahmen der ersten Lehrveranstaltung besprochen.

http://cl-informatik.uibk.ac.at/teaching/
12.03.2014
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mi 12.03.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 19.03.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 26.03.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 02.04.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 09.04.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 30.04.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 07.05.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 14.05.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 21.05.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 28.05.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 04.06.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 11.06.2014
 13.15 - 15.00 SR Container 1 SR Container 1
Mi 18.06.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei
Mi 25.06.2014
 13.15 - 15.00 HS 10 HS 10 Barrierefrei