703522 Automatisches Beweisen

Sommersemester 2011 | Stand: 19.07.2011 | 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.

Prüfungsmodus:

schriftliche Prüfung

Anmerkungen:

Beginn:

Link:

http://cl-informatik.uibk.ac.at/teaching/ss11/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 09.03.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 16.03.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 23.03.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 30.03.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 06.04.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 13.04.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 04.05.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 11.05.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 18.05.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 25.05.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 01.06.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 08.06.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 15.06.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 22.06.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei
Mi 29.06.2011	13.15 - 15.00	HS 10 HS 10	Barrierefrei