703620 Theorie der Entscheidungsverfahren

Sommersemester 2016 | Stand: 29.01.2016 LV auf Merkliste setzen
Institut für Informatik Institut für Informatik
Univ.-Prof. Dr. Aart Middeldorp Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205
703620
Theorie der Entscheidungsverfahren
VO 2
4
wöch.
2-Jahresrhythmus
Englisch

Graduates of this course have a good understanding of various decision procedures that are used in automated reasoning.

The course provides an introduction to some of the theories and decision procedures that are used in automated reasoning. The focus will be on satisfiability modulo theories (SMT).

Vortrag, Beurteilung aufgrund eines einzigen Prüfungsaktes am Ende der Lehrveranstaltung.

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

Folien beinhalten Angaben weiterführender Literatur.

http://cl-informatik.uibk.ac.at/teaching/ss16/dp
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 07.03.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 14.03.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 04.04.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 11.04.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 18.04.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 25.04.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 02.05.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 09.05.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 23.05.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 30.05.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 06.06.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 13.06.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 20.06.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 27.06.2016
 08.15 - 10.00 HS 11 HS 11 Barrierefrei