Erweiterte Suche

Vorlesungen und Seminare

Veranstaltungen im Wintersemester 11

 

Vorlesungen

 

Prof. Dr. André Schulz: Berechenbarkeitstheorie

 

Prof. Dr. B. Miller: Logik III


Prof. Dr. R. Schindler: Logik II

Prof. Dr. B. Miller, Prof. Dr. R. Schindler, Dr. S. Cox:   Oberseminar zur Mengenlehre

Veranstaltungen im Sommersemester 11

 

Vorlesungen

 

Prof. Dr. B. Miller: Logik IV

 

Prof. Dr. R. Schindler: Logik I

Prof. Dr. B. Miller, Prof. Dr. R. Schindler, Dr. S. Cox:   Oberseminar zur Mengenlehre

Prof. Dr. Linus Kramer, Dr. Immanuel Halupczok:  Logische Grundlagen

Veranstaltungen im Wintersemester 10

 

Vorlesungen

 

Prof. Dr. Benjamin Miller: Logik III

 

Prof. Dr. Ralf Schindler: Logik II



Veranstaltungen im Sommersemester 10

 

Vorlesungen

 

Prof. Dr. R. Schipperus: Logische Grundlagen

 

Prof. Dr. R. Schindler:  Logik I



Veranstaltungen im Wintersemester 09/10

 

Vorlesungen

 

Prof. Dr. R. Schindler: Berechenbarkeitstheorie

Veranstaltungen im Sommersemester 09

 

Vorlesungen

 

Prof. Dr. R. Schindler: Logische Grundlagen

 

Dr. G. Fuchs: Logik I

 

Prof. Dr. R. Schipperus: Logik IV

 

Seminare

 

Prof. Dr. R. Schindler, Prof. Dr. K. Tent: Seminar zur Deskriptiven Mengenlehre

 

Prof. Dr. K. Tent: Seminar zur Modelltheorie

 

Prof. Dr. R. Schindler, Dr. G. Fuchs: Oberseminar zur Mengenlehre

 

Prof. Dr. K. Tent: Oberseminar Algebra und Logik

 

Prof. Dr. R. Schindler, Dr. G. Fuchs: Projektseminar Algebra und Mengenlehre

Veranstaltungen im Wintersemester 08/09

 

Vorlesungen

 

Prof. Dr. R. Schindler: Berechenbarkeitstheorie

 

Prof. Dr. R. Schipperus: Logik III

 

Seminare

 

Prof. Dr. R. Schindler, Prof. Dr. K. Tent: Seminar zur deskriptiven Mengenlehre

 

Prof. Dr. R. Schindler, Dr. G. Fuchs: Oberseminar zur Mengenlehre

 

Prof. Dr. R. Schindler, Dr. G. Fuchs: Projektseminar Algebra und Mengenlehre

Veranstaltungen im Sommersemester 08

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Logik II

 

Prof. Dr. R. Schindler: Logische Grundlagen

 

Prof. Dr. R. Schindler: Logik IV

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Prof. Dr. R. Schindler und Dr. G. Fuchs: Seminar zur Mengenlehre

 

Prof. Dr. R. Schindler und Dr. G. Fuchs: Algebra und Mengenlehre


Hier gibt es weitere Informationen über das Seminar: Termine, Themen, etc.

 

Oberseminar Beweistheorie und Mengenlehre

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Wintersemester 07/08

 

Vorlesungen

 

Dr. G. Fuchs: Logik III/Mengenlehre I

 

Prof. Dr. W. Pohlers: Einführung in die Mathematische Logik und Theoretische Informatik

 

Seminare

 

Dr. G. Fuchs und P. Schlicht: Seminar zur Mengenlehre: Stationary Tower Forcing

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Oberseminar Beweistheorie und Mengenlehre

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Sommersemester 07

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Logik II

 

Prof. Dr. R. Schindler: Logik IV

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik: Reverse Mathematik

 

Prof. Dr. R. Schindler und Dr. G. Fuchs: Seminar zur Mengenlehre: Mathematik ohne Auswahlaxiom

 

Oberseminar Beweistheorie und Mengenlehre

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Wintersemester 06/07

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Einführung in die Mathematische Logik und Theoretische Informatik

 

Prof. Dr. R. Schindler: Logik III - Einführung in die Mengenlehre

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik: Induktive Definitionen

 

Prof. Dr. R. Schindler: Seminar zur Mengenlehre

 

Oberseminar Beweistheorie und Mengenlehre

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Sommersemester 06

 

Vorlesungen

 

Prof. Dr. R. Schindler: Logik II

 

Dr. G. Fuchs: Logik IV (Mengenlehre II)

 

Seminare

 

Prof. Dr. R. Schindler:Seminar zur Logik: Deskriptive Mengenlehre

 

Oberseminar Beweistheorie und Mengenlehre

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Wintersemester 05/06

 

Vorlesungen

 

Prof. Dr. R. Schindler: Einführung in die Mathematische Logik und Theoretische Informatik

 

Dr. G. Fuchs: Logik III (Einführung in die Mengenlehre)

 

Seminare

 

Prof. Dr. R. Schindler: Seminar zur Logik: Mengenlehre und Algebra

 

Oberseminar Beweistheorie und Mengenlehre: Mausmengen

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Sommersemester 05

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Logik II

 

Prof. Dr. J. Diller: Funktional-Interpretationen

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Prof. Dr. R. Schindler: Seminar zur Mengenlehre

 

Oberseminar

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Wintersemester 04/05

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Einführung in die Logik und Theoretische Informatik

 

Prof. Dr. J. Diller: Intuitionismus

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Prof. Dr. R. Schindler: Seminar zur Mengenlehre

 

Oberseminar

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Sommersemester 04

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Logik II

 

Prof. Dr. R. Schindler: Mengenlehre II

 

Prof. Dr. A. Weiermann: Beweistheorie

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Prof. Dr. R. Schindler: Seminar zur Mengenlehre

 

Oberseminar

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Wintersemester 03/04

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Einführung in die Logik und Theoretische Informatik

 

Prof. Dr. R. Schindler: Mengenlehre

 

HDoz. Dr. A. Weiermann: Termersetzungssysteme

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik




Veranstaltungen im Sommersemester 03



 

Vorlesungen

 

Prof. Dr. W. Pohlers: Beweistheorie

 

Prof. Dr. J. Diller:Logik II

 

PD Dr. A. Beckmann: Komplexitätstheorie

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Wintersemester 02/03

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Rekursionstheorie

 

Prof. Dr. J. Diller: Einführung in die Logik und theoretische Informatik

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Seminar Beweistheorie und Intuitionismus

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Sommersemester 02

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Logik II

 

Prof. Dr. A. Weiermann: Beweistheorie

 

Seminare

 

Prof. Dr. Peter Koepke, Dr. Benedikt Löwe, Prof. Dr. W. Pohlers: Seminar zur Logik

 

Seminar Beweistheorie und Intuitionismus

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik

Veranstaltungen im Wintersemester 01/02

 

Vorlesungen

 

Prof. Dr. W. Pohlers: Einführung in die Logik und theoretische Informatik

 

Dr. B. Löwe: Mengenlehre I

 

Seminare

 

Prof. Dr. W. Pohlers: Seminar zur Logik

 

Seminar Beweistheorie und Intuitionismus

 

Diplomandenseminar

 

Kolloquium zur Mathematischen Logik



Impressum | © 2007 FB10 WWU Münster
Universität Münster
Schlossplatz 2 - 48149 Münster
Tel.: +49 (251) 83-0 - Fax: +49 (251) 83-3 20 90
E-Mail: