Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Institut für Informatik

HU-IfI: Vorlesung Logik

Humboldt-Universität zu Berlin, Institut für Informatik

Logische Grundlagen der Informatik

Vorlesender: Prof. P. H. Starke

Diese Vorlesung war Bestandteil des Grundstudiums und wurde im Wintersemester 1993/94 gehalten. Das Script zur Vorlesung wurde von Michael Weber erstellt.


Im WS94/95 wurde das Script von Stephan Roch überarbeitet

Aus dem Inhalt:

  • Mengen
    • Mengenbegriff und Elementbeziehung
    • Mengenalgebra
    • Korrespondenzen, Relationen, Abbildungen
    • Äquivalenzrelationen
    • Natürliche Zahlen
    • Wörter
  • Aussagenlogik
    • Grundbegriffe, Semantik
    • Modell, Folgern und Endlichkeitssatz
    • Aussagenlogisches Schließen
    • Ableitbarkeit
    • Widerspruchsfreiheit, Vollständigkeit
  • Prädikatenlogik
    • Semantik elementarer Sprachen
    • Berechenbarkeit, Entscheidbarkeit
    • Zum Maschinen-Ansatz
    • Die Unentscheidbarkeit des Prädikatenkalküls
    • Folgern, Ableiten, Widerlegen
    • Unifikation
A.G.
Erstellt am 14-12-94, zuletzt geändert am 21-04-97