Benutzer:Rootnode/Bücher/Logik
Zur Navigation springen
Zur Suche springen
|
Dies ist ein gespeichertes „Wikipedia-Buch“ | [ Bücherregal ] |
Logik[Bearbeiten | Quelltext bearbeiten]
- Prädikatenlogik
- Formale Logik
- Axiomensystem
- Modelltheorie
- Beweistheorie
- Entscheidbar
- Erfüllbarkeit
- Logische Äquivalenz
- Vollständigkeit (Logik)
- Gödelscher Vollständigkeitssatz
- Gödelscher Unvollständigkeitssatz
- Endlichkeitssatz
- Korrektheit (Logik)
- Syntax
- Formale Semantik
- Belegung (Logik)
- Interpretation (Logik)
- Koinzidenzlemma
- Beweis (Logik)
- Ableitung (Logik)
- Resolution (Logik)
- Substitution (Logik)
- Deduktionstheorem
- Wissensrepräsentation mit Logik
- Aussagenlogik
- Aussageform
- Aussageschema
- Variable (Logik)
- Boolesche Algebra
- Logische Aussage
- Wahrheitswert
- Wahrheitstabelle
- Junktor
- Konjunktion
- Disjunktion
- Negation
- Negationsnormalform
- Konjunktive Normalform
- Disjunktive Normalform
- Klausel-Normalform
- Tautologie (Logik)
- De Morgansche Gesetze
- Horn-Formel
- Grundlagen der formalen Logik
- Prädikat (Logik)
- Quantor
- Allaussage
- Identität (Logik)
- Satz von Herbrand
- Freie Variable und gebundene Variable
- Individuenvariable
- Logik höherer Stufe
- Prolog (Programmiersprache)
- Pränexform
- Skolemform
- Unifikation
- Logiken
- Dialogische Logik
- Existential Graphs
- Fuzzy-Logik
- Gotthard Günther
- Mehrwertige Logik
- Multiagentensystem
- Modallogik
- Parakonsistente Logik
- Termlogik
- Kalküle
- Kalkül
- Aussagenkalkül
- Baumkalkül
- Sequenzenkalkül
- Hilbert-Kalkül
- Hoare-Kalkül
- Lambda-Kalkül
- Plankalkül
- Kalkül (Datenbank)
- Systeme natürlichen Schließens
- Schlussregel
- Modus tollens
- Kontradiktion