Notes

AI
Bayesian
Complexity Theory
Constraint Satisfaction Problem
Cryptography
Data Science
Decision Theory
Distances
Fourier Transform
Frequent Item
Graph
Information Theory
Knowledge Representation
Logic
- Logic Programming
- Logical System
  - Description Logic
  - First Order Predicate Logic
    First-Order Natural Deduction
    First-Order Unification
    Alphabetical Variant
    Bound Variable
    Closed Formula
    Existential Quantifier
    First-Order Predicate Logic
    First-Order Signature
    Free Variable
    Free Variable Tableau Calculus
    Proposition
    Sentence
    Standard Tableau Calculus
    Terms
    Universal Quantifier
  - Propositional Logic
  - Calculus-Derivation
  - Formal System
  - Logical System
- 01 Logic
- Abduction
- Assignment Extension
- Axiom
- Backchaining
- Backus-Naur-Form
- Closed World Assumption
- Completeness
- Concept Axiom
- Confluent
- Consistency Test
- Course-Of-Values Induction
- Cummulative Development
- Deduction
- Deductive Learning
- Derivation Relation
- Description Logic
- Entailment
- Ex Falso Quodlibet
- Explanation-based Learning
- Frame Problem
- Generalized Quantifiers
- Idempotenz
- Induction
- Inductive Learning
- Inductive Logic Programming
- Induktion (Beweis)
- Inference
- Information Extraction
- Instance Test
- Inverse Resolution
- Knowledge Base Agent
- Knowledge-based Inductive Learning
- Korrektheit
- Linearized Notation for sequent-style ND proofs
- Logic
- MOC - Grundlagen der Logik in der Informatik
- Modus Ponens
- Open World Assumption
- Preferences on Reward Sequences
- Promotion
- Proof
- Propositional Logic as Set Description Language
- Reiterationsregel
- Relevance-based Learning
- Role
- Russellsches Paradox
- Soundness
- Strukturelle Induktion
- Subsumption Test
- Term Frequency
- Tertium Non Datur
- Unsatisfiability Theorem
Markov
Mathematics
media
Optimization
Other
Pattern Recognition
Search
Sort
Statistics
INDEX
MOC - Introduction to Statistics and Statistical Programming
MOC - Stochastische Modellbildung

Navigation

All tags
#Algorithmus(48)
#Algorithmus, codesnippet, code, js, Python(1)
#E(1)
#Gemischt-ganzzahlige(1)
#MOC(8)
#P-hard(1)
#bachelor(1)
#code(1)
#codesnippet, code, js, programmingassignment(5)
#codesnippet, code, programmingassignment, js(1)
#confirm(1)
#data(1)
#datascience(1)
#excalidraw(11)
#infovislearn(2)
#keep(2)
#lnsexam(1)
#note(2)
#note, datascience, keep(1)
#paper(1)
#programmingassignment(4)
#question(4)
#todo(21)
#uebung(1)

Primitives
First-Order Predicate Logic
Free Variable Tableau Calculus

No linked pages yet.

Local graph

Logic
Logical System
First Order Predicate Logic
Existential Quantifier

Existential Quantifier

\exists

an abbreviation for

\neg(\forall X.\neg \mathrm{A})