Logik und Sprachtheorie

Sommersemester 2013

Vorlesung: Advanced Mathematical Logic

Kompaktveranstaltung, Mo 8.4. bis So 13.4., 8 Uhr c.t.-18 Uhr, Ort: Hörsaal A301, Sand 1

Dozent: Prof. P. Schroeder-Heister


Seminar: Mathematical Logic

Planning meeting: 18 April 2013, 6 p.m., B109 (Department of Computer Science, Sand 13)

Dozent: Prof. P. Schroeder-Heister

Password-protected materials


Seminar: Philosophie der Mathematik

Fr 10-12, Ort: Raum X, Alte Burse, Beginn: 19.4.

Dozenten: Prof. P. Schroeder-Heister, T. Piecha

Paßwortgeschützte Materialien


Vorlesung: Communication, Mobility, Parallelism: Introduction to the Pi-Calculus

Di 10-12, Ort: A104, Sand 1, Beginn: 23.4.

Dozent: Dr. M. Arndt

Privacy settings

Our website uses cookies. Some of them are mandatory, while others allow us to improve your user experience on our website. The settings you have made can be edited at any time.

or

Essential

in2code

Videos

in2code
YouTube
Google