703522 Automatisches Beweisen

Sommersemester 2009 | Stand: 10.07.2009 | 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:

automatisches Beweisen in erststufigen und höherstufigen Systemen; Vertiefung des Verständnis zur Logik durch praktisches Training mit weit verbreiteten Theorembeweisern; logische Grundlagen des automatischen Beweisens; Selektieren des geeigneten Werkzeugs des automatischen Beweisens zur Lösung einer spezifischen Aufgabe

Anmerkungen:

Voraussetzung für die Anmeldung ist der positive Abschluss von Modul 1 Spezifikation und Verifikation.
Beginn: KW 10

Link:

http://cl-informatik.uibk.ac.at/teaching/ss09/ar

Studienzuordnung(en)

Fakultät für Mathematik, Informatik und Physik

Masterstudium Informatik nach dem Curriculum 2007

2. Semester

Ausgewählte Kapitel der Verifikation (WM 8)

Termine

Gruppe 0	Termine dieser Gruppe als iCalendar (.ics) exportieren Hilfe
Datum	Uhrzeit	Ort
Mi 04.03.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 11.03.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 18.03.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 25.03.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 01.04.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 22.04.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 29.04.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 06.05.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 13.05.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 20.05.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 27.05.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 10.06.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 17.06.2009	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 08.07.2009	13.00 - 15.00	HS 10 HS 10	Barrierefrei	1st exam