703620 VO Theorie der Entscheidungsverfahren

Sommersemester 2018 | Stand: 26.01.2018 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
VO 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/ss18/dp
siehe Termine
Gruppe 0
Termine dieser Gruppe als iCalendar (.ics) exportieren
Hilfe
Datum Uhrzeit Ort
Mo 05.03.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 12.03.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 19.03.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 09.04.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 16.04.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 23.04.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 30.04.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 07.05.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 14.05.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 28.05.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 04.06.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 11.06.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 18.06.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei
Mo 25.06.2018
 08.15 - 10.00 HS 11 HS 11 Barrierefrei