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)