703522 Automatisches Beweisen

Sommersemester 2012 | Stand: 03.09.2012 | LV auf Merkliste setzen

Institut:

Institut für Informatik

Lektor/in/n/en:

Univ.-Prof. Dr. Aart Middeldorp, +43 512 507 53205

LV-Nummer:

703522

Titel:

Automatisches Beweisen

Typ/Stunden:

VO 2

ECTS-AP:

Rhythmus:

wöch.

Wiederholungsturnus:

jährlich

Unterrichtssprache:

Englisch

Inhalt:

Entscheidungsverfahren für Aussagenlogik (DPLL, Konfliktgraph, Heuristiken); Entscheidungsverfahren für Gleichungslogik und uninterpretierte Funktionen (Ackermann Reduktion, Bryant Reduktion); Entscheidungsverfahren für Lineare Arithmetik (Simplex Algorithmus, Fourier-Motzkin Elimination, Omega Test); Entscheidungsverfahren für Bitvektoren; Pointer Logik; Nelson Oppen Verfahren

Prüfungsmodus:

schriftliche Prüfung

Anmerkungen:

Beginn: siehe Termine

Link:

http://cl-informatik.uibk.ac.at/teaching/ss12/ar2/

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik nach dem Curriculum 2007 (120 ECTS-AP, 4 Semester)

2. Semester

Ausgewählte Kapitel der Verifikation (WM 2.8)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mi 07.03.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 14.03.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 21.03.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 28.03.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 18.04.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 25.04.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 02.05.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 09.05.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 16.05.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 23.05.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 30.05.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 06.06.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 13.06.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 20.06.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 27.06.2012	13.15 - 15.00	HS 10 HS 10	Barrierefrei