Decision Procedures and Applications
Informationen zum SoSe 2020
Der Lehrbetrieb wird am 20.04.2020 aufgenommen.
Falls am Anfang Präsenzveranstaltungen nicht möglich sein werden,
planen wir, das erste Treffen online zu organisieren.
Weitere Informationen folgen in Kürze.
Bei Fragen können Sie sich gerne per Email (sofronie@uni-koblenz.de)
an mich wenden. Bitte haben Sie Verständnis, dass ich ggf. nicht
persönlich antworte,
sondern Anfragen ggf. summarisch hier beantworte.
Aktuelles
- The first meeting will take place on Tuesday, 21.04.2020, at 12:00 s.t.
- I would like to test using OpenMeetings for this.
Here is the link for the corresponding OLAT group.
The access code will be sent by e-mail before the first meeting.
- Here you can find the OpenMeetings Manual
- If we have problems using OpenMeetings, we will try Skype.
Instructors:
Viorica Sofronie-Stokkermans <sofronie@uni-koblenz.de>
Dennis Peuter <dpeuter@uni-koblenz.de>
Time and place: Tuesdays, 12:00s.t.-14:00, Room C 209
First meeting: 21.04.2020
Schedule
Abstracts
Description
General logical formalisms such as predicate logic, set theory, or
number theory are undecidable or even not recursively enumerable.
However, in applications it is often the case that only special fragments
need to be considered, which are decidable and sometimes even have a low
complexity: For instance, the theory of integers with addition is decidable;
certain fragments of theories of data structures used in verification
such as lists, pointers and arrays; as well as some fragments of set theory
often used in knowledge representation are decidable as well.
The seminar will focus on three orthogonal issues:
-
- Decidable theories:
Identify logical theories which are decidable resp. tractable.
-
- Methods of proving decidability:
Identify general principles for proving decidability.
-
- Applications:
Application domains where decision procedures are used, such as
A preliminary list of suggested topics is available here
Requirements: