Logik und Berechenbarkeit - VO |
TUGraz-Online Seite: Link
Institut:
Institut für Angewandte Informationsverarbeitung und Kommunikationstechnologie
Zeitleiste: 0 1 2 3 4 5 6 7 8 9 0 Sem. WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS WS SS 200x 201x
LV-Nummer: IND.04033U
Semesterstunden: 2
mehr...
Inhalt:
Syntax und Semantik logischer Formeln Propositional- und Prädikatenlogik Grundlagen des logischen Schließens (natürliche Deduktion) Kombinatorische Äquivalenzprüfung Propositionales Erfüllbarkeitsproblem - DPLL Algorithmus - Resolutionsbeweise Craig Interpolation Binäre Entscheidungsdiagramme Entscheidbarkeit, Halteproblem Theorien in Prädikatenlogik Erfüllbarkeit modulo Theorien
Quelle:
TUGraz-Online
|
Drop files anywhere to upload...
In diesem Fach Dateien hochladen
|
|
Fehler aufgetreten, bitte melde dies einem Administrator