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 |
---|---|---|
slides-01-anim.pdf | Einführung Automatisierte Logik - animiert | 17.10.2013 15:09 |
slides-01.pdf | Einführung Automatisierte Logik | 17.10.2013 15:09 |
slides-02-anim.pdf | Einheit 2 - Formale Logik (Teil 1) - animiert | 17.10.2013 15:20 |
slides-02.pdf | Einheit 2 - Formale Logik (Teil 1) | 17.10.2013 15:20 |
slides-03-anim.pdf | Einheit 3 - Formale Logik (Teil 2) - animiert | 11.11.2013 12:20 |
slides-03.pdf | Einheit 3 - Formale Logik (Teil 2) | 11.11.2013 12:21 |
slides-04-anim.pdf | Einheit 4 - Interaktive Beweisführung - animiert | 28.10.2013 22:59 |
slides-04.pdf | Einheit 4 - Interaktive Beweisführung | 28.10.2013 22:59 |
slides-05-anim.pdf | Einheit 5 - Lambda-Kalkül - animiert | 06.11.2013 12:59 |
slides-05.pdf | Einheit 5 - Lambda-Kalkül | 06.11.2013 12:59 |
slides-06-anim.pdf | Einheit 6 - Die einfache Typentheorie - animiert | 14.11.2013 10:48 |
slides-06.pdf | Einheit 6 - Die einfache Typentheorie | 14.11.2013 10:49 |
slides-07-anim.pdf | Einheit 7 - Abhängige Datentypen - animiert | 20.11.2013 10:32 |
slides-07.pdf | Einheit 7 - Abhängige Datentypen | 20.11.2013 10:32 |
slides-08-anim.pdf | Einheit 8 - Martin-Löf's semantische Theorie - animiert | 09.12.2013 15:29 |
slides-08.pdf | Einheit 8 - Martin-Löf's semantische Theorie | 09.12.2013 15:30 |
slides-09-anim.pdf | Einheit 9 - Formale Inferenz in der Typentheorie - animiert | 15.01.2014 17:59 |
slides-09.pdf | Einheit 9 - Formale Inferenz in der Typentheorie | 15.01.2014 18:00 |
slides-10-anim.pdf | Einheit 10 - Programmierung in der Typentheorie - animiert | 22.01.2014 11:06 |
slides-10.pdf | Einheit 10 - Programmierung in der Typentheorie | 22.01.2014 11:06 |
slides-11-anim.pdf | Einheit 11: Fortgeschrittene Konzepte der Typentheorie - animiert | 04.02.2014 23:01 |
slides-11.pdf | Einheit 11: Fortgeschrittene Konzepte der Typentheorie | 04.02.2014 23:01 |