Wintersemester 2017/18

Vorlesung: Mathematische Logik (Grundlagen der Logik: Math. Logik I)

Dozent: Prof. Peter Schroeder-Heister

Moodle webpage

Übungsblatt 1

Übungsblatt 2

Übungsblatt 3

Übungsblatt 4

Übungsblatt 5

Übungsblatt 6

Übungsblatt 7

Übungsblatt 8

Übungsblatt 9

Übungsblatt 10

Übungsblatt 11

Übungsblatt 12

Vorlesung: Advanced Mathematical Logic

Dozenten: Prof. Miloš Adžić, Ph.D., René Gazzari, Prof. Peter Schroeder-Heister

Moodle webpage

Vorlesung: Philosophy of Mathematics

Dozenten: Prof. Miloš Adžić, Ph.D., Prof. Peter Schroeder-Heister

Vorlesung: Lambda Calculus and Combinatory Logic

Dozent: Dr. Thomas Piecha

Tutor: Natalie Clarius

Moodle webpage

Lecture notes

Exercise sheet 1

Exercise sheet 2

Exercise sheet 3

Exercise sheet 4

Exercise sheet 5

Exercise sheet 6

Exercise sheet 7

Exercise sheet 8

Exercise sheet 9

Exercise sheet 10

Exercise sheet 11

Exercise sheet 12

Exercise sheet 13

Proseminar: Gottlob Frege: Texte zur Logik und Sprachphilosophie

Dozenten: Prof. Peter Schroeder-Heister, Dr. Luca Tranchini

Moodle webpage

Seminar: Mathematical and Philosophical Logic

Dozent: Prof. Peter Schroeder-Heister