Project

General

Profile

Aussagenlogik und Prädikatenlogik (APL) Zusammenfassung

Summary
2017-09-05

Autor: Fabian Damken


Dieses Dokument enthält eine Zusammenfassung des Stoffes aus der Vorlesung "Aussagenlogik und Prädikatenlogik" der TU Darmstadt.

Haftungsausschluss: Die Korrektheit des bereitgestellten Inhaltes ist nicht gesichert. Das Risiko wird von dem Nutzer getragen.


Änderungen

  • Version 5
    • GI-Resolution hinzugefügt
  • Version 4
    • Tilde sichtbar gemacht
  • Version 3
    • Horn-Erfüllbarkeitstest hinzugefügt
  • Version 2
    • Viel Hinzugefügt
    • Es fehlen Herbrand-Modelle, der Horn-Erfüllbarkeitstest und die GI-Resolution
  • Version 1
    • Initialer Stand

Files

apl_zusammenfassung-v01.pdf (117 KB) apl_zusammenfassung-v01.pdf APL Zusammenfassung Version 1 Fabian Damken, 2017-09-05 19:59
apl_zusammenfassung-v02.pdf (172 KB) apl_zusammenfassung-v02.pdf APL Zusammenfassung Version 2 Fabian Damken, 2017-09-15 00:08
apl_zusammenfassung-v03.pdf (175 KB) apl_zusammenfassung-v03.pdf APL Zusammenfassung Version 3 Fabian Damken, 2017-09-15 00:32
apl_zusammenfassung-v04.pdf (175 KB) apl_zusammenfassung-v04.pdf APL Zusammenfassung Version 4 Fabian Damken, 2017-09-15 00:38
apl_zusammenfassung-v05.pdf (178 KB) apl_zusammenfassung-v05.pdf APL Zusammenfassung Version 5 Fabian Damken, 2017-09-15 10:21
Go to top