185.A66 Automated Deduction
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2016S, VU, 4.0h, 6.0EC

Properties

  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise

Aim of course

The students should learn the basic techniques and results of automated deduction and how to use theorem provers.

Subject of course

Transformation to normal form, semantic trees, DPLL, SAT-solver, SMT-solver, unification, resolution, resolution refinements, paramodulation, experiments with theorem provers.

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Tue17:00 - 18:3008.03.2016 Besprechungsraum, FH, 5th floor, green areaBrief presentation of the course
Fri14:30 - 16:3011.03.2016 - 24.06.2016 Dissertantenraum, FH, 8th floor, green arealecture
Automated Deduction - Single appointments
DayDateTimeLocationDescription
Tue08.03.201617:00 - 18:30 Besprechungsraum, FH, 5th floor, green areaBrief presentation of the course
Fri11.03.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri18.03.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri15.04.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri22.04.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri29.04.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri13.05.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri20.05.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri03.06.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri10.06.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri17.06.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture
Fri24.06.201614:30 - 16:30 Dissertantenraum, FH, 8th floor, green arealecture

Course registration

Not necessary

Curricula

Literature

Course notes are available.

Language

English