TUD Logo

TUD Home » ... » Teaching » Summer Term 2016 » Lecture “Advanced Logics”

Chair of Algebraic and Logical Foundations of Computer Science

Lecture “Advanced Logics” (4/2/0)

Prof. Dr. Baier

Language: English

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

Thu, Fri 2. and 3. time slot [09:20 am – 12:40 pm] room: APB/E005

The first lecture will be held on Thursday, April 7th at 09:20 am. The date of the first tutorial will be announced in the lecture. 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.

Prerequisites

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

Creditability

Bachelor Informatik
INF-B510: Vertiefung
INF-B520: Vertiefung zur Bachelorarbeit
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

Mailing list

Students are advised to subscribe to the mailing list of the lecture.

Contact

In case of questions or problems please contact Dr. Klüppelholz.

Last modified: 30th Nov 2016, 2.55 PM
Author: Dipl.-Inf. Steffen Märcker