Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge

Folien

Die Folien zur Vorlesung werden in zwei Versionen bereitgestellt: die mit "animiert" markierten Dateien enthalten die für die Präsentation in der Vorlesung verwendeten Animationen. Bei den anderen Dateien wurden die Animationen weggelassen, sie sind dadurch zum Ausdrucken besser geeignet. Die Inhalte beider Versionen sind identisch.

Titel Beschreibung Änderungsdatum
Datei slides-01-anim.pdf Einführung Automatisierte Logik - animiert 17.10.2013 15:09
Datei slides-01.pdf Einführung Automatisierte Logik 17.10.2013 15:09
Datei slides-02-anim.pdf Einheit 2 - Formale Logik (Teil 1) - animiert 17.10.2013 15:20
Datei slides-02.pdf Einheit 2 - Formale Logik (Teil 1) 17.10.2013 15:20
Datei slides-03-anim.pdf Einheit 3 - Formale Logik (Teil 2) - animiert 11.11.2013 12:20
Datei slides-03.pdf Einheit 3 - Formale Logik (Teil 2) 11.11.2013 12:21
Datei slides-04-anim.pdf Einheit 4 - Interaktive Beweisführung - animiert 28.10.2013 22:59
Datei slides-04.pdf Einheit 4 - Interaktive Beweisführung 28.10.2013 22:59
Datei slides-05-anim.pdf Einheit 5 - Lambda-Kalkül - animiert 06.11.2013 12:59
Datei slides-05.pdf Einheit 5 - Lambda-Kalkül 06.11.2013 12:59
Datei slides-06-anim.pdf Einheit 6 - Die einfache Typentheorie - animiert 14.11.2013 10:48
Datei slides-06.pdf Einheit 6 - Die einfache Typentheorie 14.11.2013 10:49
Datei slides-07-anim.pdf Einheit 7 - Abhängige Datentypen - animiert 20.11.2013 10:32
Datei slides-07.pdf Einheit 7 - Abhängige Datentypen 20.11.2013 10:32
Datei slides-08-anim.pdf Einheit 8 - Martin-Löf's semantische Theorie - animiert 09.12.2013 15:29
Datei slides-08.pdf Einheit 8 - Martin-Löf's semantische Theorie 09.12.2013 15:30
Datei slides-09-anim.pdf Einheit 9 - Formale Inferenz in der Typentheorie - animiert 15.01.2014 17:59
Datei slides-09.pdf Einheit 9 - Formale Inferenz in der Typentheorie 15.01.2014 18:00
Datei slides-10-anim.pdf Einheit 10 - Programmierung in der Typentheorie - animiert 22.01.2014 11:06
Datei slides-10.pdf Einheit 10 - Programmierung in der Typentheorie 22.01.2014 11:06
Datei slides-11-anim.pdf Einheit 11: Fortgeschrittene Konzepte der Typentheorie - animiert 04.02.2014 23:01
Datei slides-11.pdf Einheit 11: Fortgeschrittene Konzepte der Typentheorie 04.02.2014 23:01
Artikelaktionen
Auf einen Blick
Lehrform diverse Formen
Empfohlen ab FS 6
Voraussetzungen Gute Logikvorkenntnisse dringend empfohlen. Teilnahme für Bachelorstudenten ab 5. Fachsemester nach Rücksprache möglich
Benotet Ja
Punkte gesamt 6
davon praktisch 0
Sprache deutsch
Fremdhörer zugelassen? Nein
Teilgebiete Theoretische Informatik(2000), Angewandte Informatik(4000), Wahlfrei(7000)
Studiengang Bachelor, Master
Belegung via PULS