703622 Theorie und Praxis der Entscheidungsverfahren

Sommersemester 2016 | Stand: 19.02.2016 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Dr. Vincent van Oostrom Dr. Vincent van Oostrom
703622
Theorie und Praxis der Entscheidungsverfahren
PS 2
4
wöch.
2-Jahresrhythmus
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/
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Fr 11.03.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 18.03.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 08.04.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 15.04.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 22.04.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 29.04.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 13.05.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 20.05.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 27.05.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 03.06.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 10.06.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 17.06.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 24.06.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei
Fr 01.07.2016
 08.30 - 10.00 3W03 3W03 Barrierefrei