703621 Praxis der Entscheidungsverfahren

Sommersemester 2016 | Stand: 29.01.2016 | LV auf Merkliste setzen

Institut:

Lektor/in/n/en:

LV-Nummer:

703621

Titel:

Praxis der Entscheidungsverfahren

Typ/Stunden:

VO 1

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

2-Jahresrhythmus

Unterrichtssprache:

Englisch

Lernergebnis:

Absolveninnen und Absolventen können Probleme auf SAT/SMT/etc reduzieren.

Inhalt:

SAT-, PB- und SMT-Kodierungen; Kodierung von nicht-linearer
Arithmetik

Methoden:

Präsentation der Theorie und Durchrechnen von Beispielen.

Prüfungsmodus:

Schriftlich

Literatur:

Folien beinhalten Angaben weiterführender Literatur.

Anmerkungen:

Keine

Link:

Beginn:

siehe Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mo 07.03.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 14.03.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 04.04.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 11.04.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 18.04.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 25.04.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 02.05.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 09.05.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 23.05.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 30.05.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 06.06.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 13.06.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 20.06.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei
Mo 27.06.2016	10.15 - 11.00	HS 11 HS 11	Barrierefrei