Theoretische Informatik und Logik

Theoretische Informatik und Logik

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

Dozent

• Steffen Hölldobler

Tutor

• Emmanuelle Dietz
• Tobias Philipp

Umfang (SWS)

• 4/2/0

Module

• INF-B-290

Leistungskontrolle

• Klausur

• Information

Die Slots der ursprünglichen Übungsstunden und die Räume wurden verändert. Falls Ihr Euch schon in eine Übung eingeschrieben habt, überprüft bitte ob diese mit den neuen Uhrzeiten übereinstimmt.

Übungen

Die Übungen finden erst ab der zweiten Vorlesungswoche statt, d.h. ab der Woche vom 11.4. Voraussichtlich werden folgende Übungen stattfinden:

• Dienstag, 5.DS in APB/E010
• Mittwoch, 4.DS in APB/E010
• Mittwoch, 5.DS in APB/E001
• Freitag, 2.DS in APB/E008
• Freitag, 5.DS in APB/E007

Vorlesung

Die Vorlesung findet montags in der 2. DS in APB/E023 und donnerstags in der 4. DS in HSZ/0004 statt.

Am Montag, den 30.05.2016, findet die Vorlesung ausnahmsweise in CHE (Chemie-Hörsaal) 91 statt.

Vorlesungsfolien

• Einführung
• Prädikatenlogik erster Stufe
• Folien Theoretische Informatik

Übungen zur Prädikatenlogik

Lösungen zu fast allen Übungsaufgaben, und weitere Übungsufgaben finden sich in dem Buch "S. Hölldobler et al.: Logik und Logikprogrammierung, Band II: Aufgaben und Lösungen, Synchron Publishers GmbH, 2011""

4.1 Syntax

• Konstruktion von Teiltermen (Aufgabenstellung), 1. Übungswoche
• Über Nachbarn (Aufgabenstellung), 1. Übungswoche

Klausur

Alte Klausuren über Prädikatenlogik sind hier zu finden: [1]