Mindmap
Reasoning
Inhalt der Mindmap
Reasoning
Propositional logic
- Syntax
- Semantics
First order logic
Foundations
- Relations
- Reflexive
- Total/Linear
- Transition
- Ordering
- Strict ordering: Transitive Irreflexive
- Minimal element
- smallest
- Well-founded
- >: no infinite decreasing chain (X,>) is well-founded iff every non-empty subset Y of X has a minimal element
- Lexicographic Combination
- Multi-sets
- repetition no order
- Relations
Informationen
- Beschreibung
- Mindmap am Reasoning, erstellt von Wen Feifei am 23/05/2015.
- Erstellt von
- Wen Feifei
- Aufrufe
- 0
- Bewertung