PD Dr. Christine Gaßner
Kontakt
Institut für Mathematik und Informatik
Walther-Rathenau-Str. 47
17489 Greifswald
Telefon +49 3834 420 4610
Telefax +49 3834 420 4640
Aktuelle Vorlesungen
Algorithmik und Komplexitätstheorie (WiSe 2020/21)
Berechenbarkteitstheorie über algebraischen Strukturen (WiSe 2020/21)
Hier ein Beispiel:
Endliche Automaten (Einführung)
Theoretische Informatik (SoSe 2020)
Mathematische Logik (WiSe 2019/2020)
Berechenbarkeitstheorie (SoSe 2019)
Algorithmik und Komplexitätstheorie (WiSe 2018/2019)
Maß- und Integrationstheorie (WiSe 2015/2016)
Graphentheorie (WiSe 2015/2016)
Praxis des Programmierens (WiSe 2012/2013)
Mengenlehre (Seminar, SoSe 2020)
Das Auswahlaxiom (WiSe 2019/2020)
Berechenbare Analysis (WiSe 2018/2019)
Fundamente der Mathematik (SoSe 2018)
Grenzen der Mathematik (SoSe 2018)
NP-vollständige Probleme der Graphentheorie (WiSe 2017/2018)
NP-vollständige Probleme (WiSe 2015/2016)
DNA Computing (WiSe 2015/2016)
Ausgewählte Themen mit Bezug zur Prädikatenlogik (WiSe 2014/2015)
Berechnungsmodellen zwischen endlichen Automaten und BSS-RAMs
Die Bedeutung des Auswahlaxioms
usw.
siehe auch Arbeitsgruppe (unten)
Sprechzeiten
Nach Vereinbarung per E-Mail.
Aktuelles
Neu:
Gaßner: An Introduction to a Model of Abstract Computation, in: Adrian Rezus (ed.), Contemporary Logic and Computing, College Publications, London (2020) [Landscapes in Logic 1], pp. 574–603.
ISBN 978-1-84890-340-1 (Inhaltsverzeichnis)
Landscapes in Logic
Series edited by Ali Sadegh Daghighi, Jamshid Derakhshan, Melvin Fitting, Dov Gabbay, Massoud Pourmahdian, and Adrian Rezus
In Vorbereitung:
Mathematisches Kolloquium (Kolloquium des Instituts für Mathematik und Informatik)
Vortragender: Michael Rathjen (Leeds)
Moderation: C. Gaßner
Der Vortrag findet nicht wie geplant am 07. Juli 2020 statt.
Der neue Termin wird später bekannt gegeben.
In Vorbereitung:
Arbeitstreffen 2020
Organisation: C. Gaßner, M. Cordes und F. Reinmuth.
Vortragende: Michael Rathjen, Allard Tamminga, Mario Stanke, Moritz Cordes, Friedrich Reinmuth, Christine Gaßner
Das Treffen findet nicht wie geplant vom 06. bis 15. Juli 2020 statt.
Der neue Termin wird später bekannt gegeben.
MCU 2018, MCU 2020 (Mitglied des Programmkomitees)
C. Gaßner: An introduction to a model of abstract computation: the BSS-RAM model (siehe auch Publikationen)
C. Gaßner: Das Auswahlaxiom und die Prädikatenlogik zweiter Stufe (Vortrag im Institut für Philosophie, Greifswald, Juni 2019).
Zum Inhalt: Das Auswahlaxiom und Folgerungen aus dem Auswahlaxiom werden in vielen mathematischen Beweisen verwendet. In dem Vortrag werden einige Formulierungen des Auswahlaxioms im Rahmen verschiedener Theorien (Zermelo-Fraenkel-Mengenlehre und Prädikatenkalkül zweiter Stufe) diskutiert. Dabei werden ansatzweise auch eine von G. Asser (Greifswald) diskutierte Henkin-Interpretation des Prädikatenkalküls zweiter Stufe und eine Methode zur Konstruktion von Henkin-Modellen vorgestellt.
Jetzt auch online: Gaßner: Das Auswahlaxiom im Prädikatenkalkül zweiter Stufe, Dissertation, 1984, pdf
Gastaufenthalt an der Jiangsu University (2018)
Einladung zum Dagstuhl Seminar Measuring the Complexity of Computational Content: From Combinatorial Problems to Analysis (18361, 2018)
Eine Idee zur Konstruktion von Strukturen mit P = NP
