Sommersemester 2018

Vorlesung: Theoretical Foundations of Logic Programming (SS18)

Dozent: Dr. Thomas Piecha

Tutor: Natalie Clarius

Moodle webpage

Skript

Übungsblatt 1

Übungsblatt 2

Übungsblatt 3

Übungsblatt 4

Übungsblatt 5

Übungsblatt 6

Übungsblatt 7

Übungsblatt 8

Übungsblatt 9

Übungsblatt 10

Übungsblatt 11

Übungsblatt 12

Proseminar: Philosophische Logik: Wahrheit und Beweis (SS18)

Beginn: Do 19.4. 10-12 Uhr

Ort: Alte Burse, Melanchthonzimmer

Dozent: Dr. Luca Tranchini

Seminar: Mathematical and Philosophical Logic (SS18)

Planning meeting: Thursday, 26 April 2018, 18:00 hrs, Room B109, WSI, Sand 13 (entrance: Sand 1), ground floor. 

Dozent: Prof. Peter Schroeder-Heister