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
ALC Tableau Calculus
Bound Variable
First-Order Predicate Logic
Free Variable Tableau Calculus
Proposition

No linked pages yet.

Local graph

Logic
Logical System
First Order Predicate Logic
Universal Quantifier

Universal Quantifier

The For-all quanitfier:

\forall