Priv.-Doz. Dr. Peter Schuster
Mathematisches Institut, Universität München
Theresienstraße 39, 80333 München, Allemagne
E-Mail FirstName.SecondName@mathematik.uni-muenchen.de
Telefon +49-(0)89-2180-4401 (Sekr.
-4414, -4481), Telefax +49-(0)89-2180-4466
Arbeitsgruppe Mathematische Logik
Sprechstunde: bis auf weiteres nur nach rechtzeitiger Vereinbarung per E-Mail
Zimmer 423, Theresienstraße 39 (Block
B, 4. Stock, Südwesteck)
L. Crosilla, P. Schuster
(eds.),
From Sets and Types to Topology and Analysis.
Towards Practicable Foundations for Constructive Mathematics.
xix+376 pp.,
Oxford Logic Guides 48, Oxford University Press, 2005.
Tagungen [Meetings]
ERASMUS-Programm: Studentenaustausch mit Italien
Vorlesungen, Seminare etc.
jeweils am
Mathematischen Institut
der Ludwig-Maximilians-Universität
München
Übungen zu den Vorlesungen
jeweils am
Mathematischen Institut
der Ludwig-Maximilians-Universität
München
.
Gastvorträge und -vorlesungen [Guest Talks and Lectures]
-
Dr. Henri Lombardi,
Constructive Algebra.
Mo. 26. Juni bis Do. 29. Juni 2006, täglich 11.15-13.00,
Raum 039 (Mo.) bzw. 251 (Di.-Do.)
Diese Vorlesung ist Bestandteil einer Kooperation im Rahmen des Bayerisch-Französischen Hochschulzentrums.
-
Prof. Dr. Lidia Angeleri Hügel,
Einführung in die Darstellungstheorie von Algebren.
Mo. 17. Juli bis Do. 27. Juli 2006, Mo., Di., Mi., Do. 11.15-13.00,
Raum 039 (Mo.) bzw. 251 (Di.-Do.)
Diese Vorlesung ist Bestandteil eines Dozentenaustausches im Rahmen des ERASMUS/SOKRATES-Programmes der Europäischen Union.
-
Prof. Dr. Erik Palmgren,
Introduction to Formal Topology. 16.-27. Oktober 2006,
Di. 16-18 Uhr in HS B 040 und Fr. 11-13 Uhr in HS B 132. (Diese Vorlesung entfällt.)
-
Dr. Henri Lombardi,
Geometric Logic, Lazy Computation, and Constructive Algebra.
Mo., 27. November 2006,
16-18 Uhr in HS B 252. Im Oberseminar Mathematische Logik.
Dieser Vortrag ist Bestandteil einer Kooperation im Rahmen des Bayerisch-Französischen Hochschulzentrums.
-
Dr. Marco Benini,
Applications of Constructive Logic in Analysis, Verification and Synthesis of Programs.
13.-24. November 2006,
Di. 16-18 Uhr in HS B 040, Mi. 14-16 Uhr in HS B 041,
Fr. 11-13 Uhr und Fr. 14-16 Uhr in HS B 132. Inhalt und Vorlesungsskript [Contents and Lecture Notes]
Diese Vorlesung ist Bestandteil eines Dozentenaustausches im Rahmen des ERASMUS/SOKRATES-Programmes der Europäischen Union.
-
Prof. Dr. Michael Rathjen,
Die Gödelschen Sätze: Gehalt und Phantastik
Festvortrag aus Anlaß des Gödel-Jahres 2006
Dienstag, 12. Dezember 2006, 18 Uhr c.t.,
Universitätshauptgebäude, Hörsaal M 118
(Eingang Amalienstraße).
Veranstaltet im Rahmen des
Mathematischen Kolloquiums
in Zusammenarbeit mit dem
Philosophie-Department.
-
Prof. Dr. Rudolf Taschner
(TU Wien
und
math.space),
Zahl, Zeit, Zufall. Alles Erfindung?
Freitag, 1. Februar 2008, 18 Uhr c.t., Theresienstr. 39, Hörsaal B 051
Auftaktvortrag zum
Jahr der Mathematik [
an der LMU] [
an der TUM]
-
Prof. Dr. Lidia Angeleri Hügel,
Einführung in die Lokalisierungstheorie.
Freitag, 27. Juni bis Freitag, 4. Juli 2008: Fr., Mo., Fr. 10.15-12.00 Uhr; Mi. 12.15-14.00 Uhr, Raum B 134
Diese Vorlesung ist Bestandteil eines Dozentenaustausches im Rahmen des ERASMUS/SOKRATES-Programmes der Europäischen Union.