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


gassnercuni-greifswaldde

Schwerpunkte für Abschlussarbeiten

Berechnungsmodellen zwischen endlichen Automaten und BSS-RAMs 

Die Bedeutung des Auswahlaxioms 

usw.

siehe auch Arbeitsgruppe (unten)

Sprechzeiten

Nach Vereinbarung per E-Mail.


Aktuelles

26. – 28. Juli 2021 Konferenz CCA 2021

05. – 09. Juli 2021 Konferenz Celebrating 90 Years of Gödel's Incompleteness Theorems

27.05.2021, 10 Uhr – 12 Uhr:  Vorlesung im Rahmen der Hochschulinformationstage

2021: Gaßner, Arno Pauly, Florian Steinberg: Computing Measure as a Primitive Operation in Real Number Computation, LIPICS Vol. 183. ISBN 978-3-95977-175-7. CSL 2021 (siehe auch CSL 2021 YouTube channelEACSL).

2020: 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.

 

Geplant: Mathematisches Kolloquium (Kolloquium des Instituts für Mathematik und Informatik). Vortragender: Michael Rathjen (Leeds), Moderation: C. Gaßner.


Eine Idee zur Konstruktion von Strukturen mit P = NP