Logo des Frege-Zertifikats

Frege-Zertifikat für Logik

Angebote für ein interdisziplinäres Logik-Studium
Logo des Frege-Zertifikats
Grafik: Tabea Rohr

Was?

Das Frege-Zertifikat für Logik ist eine fakultätsübergreifende Lehrkooperation zwischen dem Institut für Informatik und dem Institut für Philosophie, um für Studierende Brücken und Wege in den interdisziplinären Forschungsbereich der Logik zu bauen.

In der Philosophie ist die Logik sowohl ein Werkzeug zur Analyse von sprachlichen Argumenten als auch ein Gegenstand philosophischer Reflektion. In der Informatik ist sie ein Hilfsmittel zur programmiersprachlichen Modellierung und Gegenstand algorithmischer Betrachtungen. Diese und weitere Aspekte des vielfältigen Forschungsbereichs der Logik werden durch das Frege-Zertifikat von Anfang an für Studierende zugänglich.

Wie?

Für den Erwerb des Frege-Zertifikats müssen insgesamt vier Veranstaltungen zur Logik, jeweils zwei an jedem der beiden Institute, erfolgreich abgeschlossen werden. Dazu zählen auch interdisziplinäre Veranstaltungen, die an beiden Instituten angeboten werden.

Studierende der Fakultät für Mathematik und Informatik können sich die Veranstaltungen des Instituts für Philosophie zusätzlich auch im freien Nebenfachbereich ihres eigenen Studiengangs anrechnen lassen.

Studierende der Philosophischen Fakultät können sich die Veranstaltungen des Instituts für Informatik zusätzlich auch im Bereich "Allgemeine Schlüsselqualifikationen" ihres eigenen Studiengangs anrechnen lassen.

Bei Fragen zur Anrechnung und Modulbuchung, kontaktieren Sie uns gern (siehe unten).

Veranstaltungen im WiSe 2024/2025

Einführende Veranstaltungen

Aufbauveranstaltungen

Fortgeschrittene Veranstaltungen

Skript "Einführung in das mathematische Beweisen"

Valentin Müller hat ein Skript zur Einführung in das mathematische Beweisenpdf, 312 kb erstellt, das hier zum Download bereitsteht.

Diese Einführung ist so gestaltet, dass sie ohne Vorkenntnisse als Einführung gelesen werden kann. Sie ist insbesondere für Studierende am Anfang des Studiums der Mathematik oder Informatik geeignet. Auch Studierende, die das Modul "Logik und Argumentationslehre" am Institut für Philosophie besucht haben und danach in das Modul "Logiksysteme" am Institut für Informatik wechseln möchten, können sich mit diesem Skript bereits eigenständig mit mathematischen Beweistechniken vertraut machen, ehe diese Dinge zu Beginn des Moduls "Logiksysteme" noch einmal gemeinsam besprochen werden.

Regelmäßige Veranstaltungen

Die folgenden Veranstaltungen werden in der Regel mindestens einmal pro Jahr angeboten:

Einführende Veranstaltungen

Aufbauveranstaltungen

  • Logiksysteme (ModulbeschreibungExterner Link)
  • ausgewählte Veranstaltungen des Instituts für Philosophie aus den Bereichen Philosophische Logik, Sprachphilosophie, Philosophie der Mathematik und Wissenschaftstheorie

Fortgeschrittene Veranstaltungen

  • Logik und Beweisbarkeit (ModulbeschreibungExterner Link)
  • Theoretische Informatik: Logik / Algorithmik (ModulbeschreibungExterner Link)
  • ausgewählte Veranstaltungen des Instituts für Philosophie aus den Bereichen Philosophische Logik, Sprachphilosophie, Philosophie der Mathematik und Wissenschaftstheorie

Bisherige Veranstaltungen

Organisation

  1. Rohr, Tabea, Juniorprof. Dr. Junior-Professur für Logik Arbeitsbereich Philosophie mit Schwerpunkt Logik
  2. Beyersdorff, Olaf, Univ.-Prof. Dr. Professur für Theoretische Informatik I

Ehemalige

  • Prof. Dr. Martin Mundhenk
    Professor für theoretische Informatik, Begründer des Frege-Zertifikats
    verstorben im Juni 2024 (Nachruf

 

  • Dr. David Löwenstein (WebsiteExterner Link)
    ehemals Juniorprofessor für Philosophie mit Schwerpunkt Logik
    Kontakt: loewenstein@hhu.de 
     
  • Valentin Müller
    ehemals wissenschaftliche Hilfskraft

Bildergalerie

  • Gottlob Frege (ca. 1879)
    Gottlob Frege (ca. 1879)
    Foto: Bild gemeinfrei (Wikimedia Commons)
  • Das Gründungsteam des Frege-Zertifikats: Tabea Rohr, Martin Mundhenk und David Löwenstein
    Das Gründungsteam des Frege-Zertifikats: Tabea Rohr, Martin Mundhenk und David Löwenstein
    Foto: Anne Günther (Universität Jena)
  • Übergabe der ersten Frege-Zertifikate im Februar 2020 an Hauke Rehr, Valentin Müller und Evan Lucas Möller-Stechbart (von rechts bis Mitte)
    Übergabe der ersten Frege-Zertifikate im Februar 2020 an Hauke Rehr, Valentin Müller und Evan Lucas Möller-Stechbart (von rechts bis Mitte)
    Foto: Anne Günther (Universität Jena)
  • Übergabe der ersten Frege-Zertifikate im Februar 2020 an Hauke Rehr, Evan Lucas Möller-Stechbart und Valentin Müller (von links nach rechts)
    Übergabe der ersten Frege-Zertifikate im Februar 2020 an Hauke Rehr, Evan Lucas Möller-Stechbart und Valentin Müller (von links nach rechts)
    Foto: Anne Günther (Universität Jena)
  • Übergabe eines Frege-Zertifikates im Herbst 2020 an Vincent Voigt
    Übergabe eines Frege-Zertifikates im Herbst 2020 an Vincent Voigt
    Foto: Anne Günther (Universität Jena)
  • Übergabe eines Frege-Zertifikates im Herbst 2020 an Vincent Voigt
    Übergabe eines Frege-Zertifikates im Herbst 2020 an Vincent Voigt
    Foto: Anne Günther (Universität Jena)