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

Das Auswahlaxiom (Seminar, WiSe 2019/2020)

Mathematische Logik (Vorlesung, WiSe 2019/2020)

Berechenbarkeitstheorie (Vorlesung, SoSe 2019)

Theoretische Informatik (Vorlesung, SoSe 2019), zugehörige Übung

Algorithmik und Komplexitätstheorie (Vorlesung, WiSe 2018/19)

Berechenbare Analysis (Seminar, WiSe 2018/19)

Fundamente der Mathematik (Seminar, SoSe 2018)

Grenzen der Mathematik (Seminar, SoSe 2018)

Theoretische Informatik (Vorlesung, SoSe 2018)

Mathematische Logik (Vorlesung, WiSe 2017/18)

NP-vollständige Probleme der Graphentheorie (Seminar, WiSe 2017/18)

Berechenbarkeitstheorie (Vorlesung, SoSe 2017)

Maß- und Integrationstheorie (Vorlesung, WiSe 2015/16)

Graphentheorie (Vorlesung, WiSe 2015/16)

NP-vollständige Probleme (Seminar, WiSe 2015/16)

DNA Computing (Seminar, WiSe 2015/16)

Ausgewählte Themen mit Bezug zur Prädikatenlogik (Seminar, WiSe 2014/15)

Praxis des Programmierens (Vorlesung, WiSe 2012/13)

Forschungsschwerpunkt Berechenbarkeitstheorie über algebraischen Strukturen (siehe Arbeitsgruppe)

Forschungsinformationssystem (Suche unter "Christine Gaßner")

Publikationen auf einen Blick

Habilitationen (und B-Promotionen) in direktem Bezug zur Mathematik von Frauen in Deutschland

2019

Vortrag über das Auswahlaxiom im Institut für Philosophie (Greifswald)

2017

Arbeitstreffen 2017 (Folien)

2016

Colloquium Logicum 2016 (Folien), Arbeitstreffen 2016 (Folien)

2015

CCC 2015 (Folien), CCA 2015 (Folien - gekürzte Fassung)

2013

Greifswald 2013 (Habilitationskolloquium)

2012

Arbeitstreffen 2012, CCA 2012, CCC 2012 (Folien)

2011

Arbeitstreffen 2011, CCA 2011 (Folien)

2010

Arbeitstreffen 2010, Greifswald 2010,

Siegen 2010 (Kolloquium), Bonn 2010 (Kolloquium)

2009

CCA 2009 (Folien), CiE 2009 (Folien), CCC 2009 (Folien)

2008

CCA 2008 (Folien), CiE 2008 (Folien)

Greifswald 2008 (Kolloquium), Siegen 2008 (Kolloquium)

2007...

CiE 2007 (Folien), CiE 2006 (Bild), EPIT 2005,

Greifswald 2005 (Kolloquium), Dagstuhl 2004 ...

Arbeitstreffen und Workshops

Arbeitstreffen 2017 Computability and Reducibility

Arbeitstreffen 2016 Computability and the BSS model

Arbeitstreffen 2014 Computability and Logic

Arbeitstreffen 2013 Computability and Logic

Arbeitstreffen 2012 Computability and Logic

Arbeitstreffen 2011 Different models of computation

Arbeitstreffen 2010 Real Computation and BSS Complexity

Special Session 2010 Complexity in Arbitrary Structures

Workshop 2010 Logical Approaches to Barriers in Computing and Complexity im Alfried Krupp Wissenschaftskolleg (Abstract Booklet, Gruppenfoto. Weitere Bilder (1), Öffentlicher Vortrag, Donnerstag, Samstag)

Kolloquien und andere Vorträge

Juni 2017: Florian Steinberg. Berechenbare Analysis und Weihrauch-Reduktionen

November 2016 : Rupert Hölzl. Absolutely undecidable sets

August 2016: André Nies. Randomness and quantum computation

August 2013: Xizhong Zheng. On the Computable Curves

Juli 2013: Robert Rettinger. Komplexitätstheorie in der Analysis

Juli 2012: Dieter Spreen. An isomorphism theorem for partial numberings

Juli 2010: Russell Miller. Factoring Polynomials and Finding Roots

Februar 2010: Johann Makowsky. Das Spektrumproblem von H. Scholz und G. Asser: Ein halbes Jahrhundert danach (im Alfried Krupp Wissenschaftskolleg)

Sprechzeiten

Dienstags 10 Uhr - 11 Uhr (wieder ab dem 07.01.2020) und nach Vereinbarung per E-Mail

Aktuelles

C. Gaßner: An introduction to a model of abstract computation: the BSS-RAM model (Preprint 1 / 2019)

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)

MCU 2018 (Mitglied des Programmkomitees)

C. Gaßner: Computation over Algebraic Structures and a Classification of Undecidable Problems.
Math. Struct. in Comp. Science (2017), vol. 27, pp. 1386–1413. Verfügbar unter CJO 2016 doi:10.1017/S0960129516000116 (Online: MSCS)

Arbeitstreffen 2017 zum Thema „Berechenbarkeit und Reduzierbarkeit" (Siehe dazu auch: Preprint 2 2017)

Christine Gaßner, Arno Pauly und Florian Steinberg: Computing measures as a primitive operation (CCA 2017, Proceedings, siehe dazu auch: Preprint 1 2017)

Florian Steinberg (Darmstadt): Berechenbare Analysis und Weihrauch-Reduktionen (Vortrag 14.6.2017, 10:30 Uhr, SR 2, Franz-Mehring-Str. 48)

siehe auch:

Arbeitstreffen 2017

Arbeitstreffen 2016

Neuere Arbeiten

C. Gaßner: Deterministic Operators for BSS RAM's I (extended abstract).

Preprint-Reihe Ag Berechenbarkeitstheorie über algebraischen Strukturen Greifswald,

Preprint 1 2017 (Version 3. April 2017).

Zu den Arbeitstreffen bis 2017

Eine Idee zur Konstruktion von Strukturen mit P = NP

Nach oben