Advanced Logics (WS2018)

„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.

Advanced Logics

Lehrveranstaltung mit SWS 4/2/0 (Vorlesung/Übung/Praktikum) in SS 2018

Dozent

• Christel Baier

Umfang (SWS)

• 4/2/0

Module

• MCL-AL
• INF-B-510
• INF-B-520
• INF-BAS6
• INF-VERT6
• INF-04-FG-IS
• INF-04-FG-TP

Leistungskontrolle

• Mündliche Prüfung

• Information

The course is mandatory for students in the Master's program “Computational Logic”. For computer science students enrolled in the Bachelor's, Master's or Diplom program, the lecture is optional. In the former Bakkalaureat and Diplom program the course belongs to the sections “intelligent systems” and “theory of programming”.

The purpose of this course is to study several extensions of classical propositional, first-order and second-order logic. We will concentrate on aspects of mathematical logic that are relevant for computer science, such as expressiveness, game-theoretic characterizations, deductive calculi, decision and transformation algorithms and computational complexity.