Advanced Logics

Prof. Dr. Christel Baier
SWS: (4/2/0), in English

Changed proceedings due to COVID-19 outbreak

Due to the recent outbreak of the COVID-19 virus, the university has decided not to carry out any events with mandatory attendance at least until 4^th May 2020 (as of 19^th March). Lectures and exercises from the start of the Semester (in the week from 6th April) up until the start of teaching events with mandatory attendance are instead provided with online alternatives via OPAL.

Please inform yourself about current developments and decisions of the university at https://tu-dresden.de/corona and https://tu-dresden.de/studium/im-studium/coronavirus/

Please revisit this site and https://tu-dresden.de/corona from time to time to stay up to date.

Description

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.

Dates

There will be no fixed assignment of the lectures and exercises to time slots. The schedule for the lectures and tutorials will be announced every week.

Registration

Please enroll via OPAL.

Prerequisites

For the course, basic knowledge on algorithms, complexity theory, automata theory and logic is presumed.

Creditability

Bachelor Informatik

• INF-B-510: Vertiefung
• INF-B-520: Vertiefung zur Bachelor-Arbeit

Master Informatik

• INF-BAS6: Basismodul Theoretische Informatik
• INF-VERT6: Vertiefungsmodul Theoretische Informatik

Master Computational Logic

• MCL-AL: Advanced Logic

Diplom Informatik

• INF-BAS6: Basismodul Theoretische Informatik
• INF-VERT6: Vertiefungsmodul Theoretische Informatik

Diplom Informatik (DPO 2004)

• INF-04-FG-IS: Fachgebiet Intelligente Systeme
• INF-04-FG-TP: Fachgebiet Theorie der Programmierung

Contact