Grundlagen der Logik und Berechenbarkeit (Sommersemester 2018)

Lecturer: Dr. Timo Kötzing (Algorithm Engineering)
Course Website: https://hpi.de/en/friedrich/teaching/ss18/logik.html

General Information

• Weekly Hours: 4
• Credits: 6
• Graded: yes
• Enrolment Deadline: 20.04.2018
• Teaching Form: Lecture / Exercise
• Enrolment Type: Compulsory Elective Module

Programs, Module Groups & Modules

Description

In dieser Vorlesung widmen wir uns den Grundlagen von Informatik und Mathematik: Was ist eine Berechnung? Was ist ein Beweis? Diese Fragen sind erstaunlich eng miteinander verwandt, wie zum Beispiel die "Unentscheidbarkeit des Halteproblems" (von Alan Turing) und der "Unvollständigkeitssatz" (von Kurt Gödel) sehr ähnlich sind. Diese beiden Aussagen, welche für Informatik und Mathematik fundamental sind, werden wir im Kurs näher kennenlernen. Starten werden wir jedoch mit der Frage, was denn ein Beweis (und was eine Berechnung) ist, sowie positiveren Resultaten dazu. Unter anderem werden wir den "Vollständigkeitssatz" (von Kurt Gödel) kennenlernen.

Requirements

Vorausgesetzt wird ein Interesse an Grundlagen der Wissenschaften Informatik und Mathematik. Weiterhin benötigt wird ein grundlegendes Verständnis von mathematischer Notation und Sprache welches wir vertiefen. Inhaltlich ist ein grobes Wissen einer Formalisierung von "Berechnung", wie zum Beispiel in einer Grundlagenvorlesung "Theoreitsche Informatik" eingeführt, sehr hilfreich.

Learning

In diesem Kurs werden wir problemorientiert lernen. Zu einem gegebenen Problem werden dabei Lösungen gesucht und gemeinsam von Studierenden und dem Dozenten entwickelt. Dabei werden Elemente der traditionellen Lehrformen "Vorlesung", "Übung" sowie "Sprechstunde" vermischt. Daher gibt es bei den beiden Terminen auch keine Unterscheidung zwischen Vorlesung und Übung. Da Lehrelemente mit einseitigem Informationsfluss keine Treffen von Studierenden mit dem Dozenten benötigen, werden alle solche Elemente in Heimarbeit erledigt (vom Dozenten vorbereitet und den Studierenden konsumiert).

Examination

Es werden wöchentliche Hausaufgaben gestellt, deren erfolgreiche Bearbeitung Zulassungsvoraussetzung für die Endklausur ist. 100% der Note ergeben sich aus der Punktzahl bei der schriftlichen Endklausur (plus Bonuspunkte aus den Übungen). Die Endklausur ist vom Umfang geplant auf 2 Stunden, wird jedoch "open end" durchgeführt (d.h. ohne Zeitdruck).

Dates

Treffen

• Montags 9:15, Raum H-E.51
• Donnerstags 13:30, Raum H-E.51

Individuelle Sprechstunde

• Montags 13:30, Raum A-1.12

Zurück