703621 VO Praxis der Entscheidungsverfahren

Sommersemester 2018 | Stand: 15.05.2018 LV auf Merkliste setzen
703621
VO Praxis der Entscheidungsverfahren
VO 1
2
wöch.
2-Jahresrhythmus
Englisch

Absolventinnen und Absolventen kennen verschiedenste Entscheidungsverfahren und können diese auf konkrete Probleme anwenden.

  • SAT-Kodierungen
  • Gleichheitslogik
  • Unifikation modulo Gleichungen
  • Unerreichbarkeit

Präsentation der Theorie und Durchrechnen von Beispielen.

Schriftlich

Folien beinhalten Angaben weiterführender Literatur.

Keine

siehe Termine
Gruppe 0
Datum Uhrzeit Ort
Mo 05.03.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 12.03.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 19.03.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 09.04.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 16.04.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 23.04.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 30.04.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 07.05.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 14.05.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 28.05.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 04.06.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 11.06.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei
Mo 18.06.2018
10.00 - 11.00 HS 11 HS 11 Barrierefrei