703522 Automatic Deduction

summer semester 2012 | Last update: 03.09.2012 | Place course on memo list

Department:

Department of Computer Science

Instructor:

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

Course number:

703522

Title:

Automatic Deduction

Type/hours:

VO 2

ECTS credits:

Period:

weekly

Mode of repetition:

annually

Language of instruction:

English

Contents:

Decision procedures for propositional logic (DPLL, conflict graph, heuristics); decision procedures for equality logic with uninterpreted function symbols (Ackermann's reduction, Bryant's reduction); decision procedures for linear arithmetic (simplex algorithm, Fourier-Motzkin elimination, omega test); decision procedures for bit vectors; pointer logic; Nelson-Oppen procedure

Assessment:

written exam

Course allocation

Fakultät für Mathematik, Informatik und Physik

Master's Programme Computer Science according to the Curriculum 2007 (180 ECTS-Credits, 6 semesters)

2. Semester

Ausgewählte Kapitel der Verifikation (WM 2.8)

Dates

Group 0	Export course dates of this group as iCalendar (.ics) Help
Date	Time	Location
Wed 2012-03-07	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-03-14	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-03-21	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-03-28	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-04-18	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-04-25	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-05-02	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-05-09	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-05-16	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-05-23	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-05-30	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-06-06	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-06-13	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-06-20	13.15 - 15.00	HS 10 HS 10	Barrier-free
Wed 2012-06-27	13.15 - 15.00	HS 10 HS 10	Barrier-free