Sommersemester 2015
Vorlesung: Lambda-Kalkül und kombinatorische Logik
Dozent: Dr. M. Arndt
Materialien:
- 1. Übungsblatt
- 2. Übungsblatt
- 3. Übungsblatt
- 4. Übungsblatt
- 5. Übungsblatt
- 6. Übungsblatt
- 7. Übungsblatt
- 8. Übungsblatt
- 9. Übungsblatt
- 10. Übungsblatt
- 11. Übungsblatt
- 12. Übungsblatt
- Skriptum
Klausur:
Termin: 27. Juli 2015, 12 Uhr c.t.
Ort: Sand 6, Hörsaal 2
Literatur:
- Hindley, J. and Seldin, J. (2008). Lambda-Calculus and Combinators. Cambridge University Press
Seminar: Mathematical Logic
Dozent: Prof. P. Schroeder-Heister
Seminar: Carnap: Meaning and Necessity
Dozent: Prof. P. Schroeder-Heister, Dr. L. Tranchini
Materialien (passwortgeschützt)