Teil I: Logik und Prädikatenlogik

ePAPER LESEN

ePAPER HERUNTERLADEN

is.informatik.uni.duisburg.de

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

JETZT STARTEN

Teil I.2

Prädikatenlogik

Schaltnetze und ihre Optimierung; Vereinfachung; Fehlerdiagnose

Schaltfunktionen; Boolesche Algebra; Schaltnetze

Adaptive Search Suggestions for Digital Libraries - An Evaluation

Teil IV: Schaltwerke; Sequentielle Schaltungen; Lineare Schaltkreise

Folien zu prädikatenlogischer Resolution

Modellierungstechniken im Software- Design

Teil I.2 Prädikatenlogik 22

Prädikatenlogik Erweiterung der Aussagenlogik • Konstante: a, b, c • Variablen: x, y, z • Funktionen: f(a1, . . . , a k) • Prädikate: P (a1, . . . , a k) • Quantoren: Allquantor (∀xF ), Existenzquantor (∃xF ) 23

Seite 1 und 2: Informatik A Prof. Dr. Norbert Fuhr
Seite 3 und 4: Geschichte • R. Descartes (17. Jh
Seite 5 und 6: Aussagenlogik Grundlagen • Aussag
Seite 7 und 8: Formeln Rekursive Konstruktion: Bei
Seite 9 und 10: Klauseln Klausel K ::= L Literal |
Seite 11 und 12: Wahrheitstafel Zu zeigen: ⊢ ((P
Seite 13 und 14: Überführung in konjunktive Form (
Seite 15 und 16: Logisches Schließen • Für S ein
Seite 17 und 18: Axiomensysteme • Theorie: Menge v
Seite 19 und 20: Beispiel Zeige: ⊢ (F ∨ F ) ←
Seite 21: Beispiel T = A ∨ B, A → ¬B, ¬
Seite 25 und 26: Weitere Schlussregeln und Äquivale
Seite 27: Beispiel: Peano-Axiome 1. P (1) 2.

Teil I: Logik und Prädikatenlogik

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?