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
Propositional Logic
Calculi
Normal Form
Resolution Calculus
SAT
Atom
Disjunktion
Implikation
Inference Rule
Interpretation Function
Konjunktion
Labeled Formula
Local Hypothesis
Logical Equivalences
Negative Literal
Opposite Literal
Positive Literal
Propositional Logic
Semantics of Propositional Logic
Syntax of Propositional Logic
Universe
Value Function
Variable Assignment
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
Tags
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)
On this page
Backlinks
Rational Non-Deterministic Agents
Syntax of Propositional Logic
Linked pages
No linked pages yet.
Local graph
Local graph
Logic
/
Logical System
/
Propositional Logic
/
Disjunktion
Disjunktion
Inklusives
oder
, es dürfen also auch beide Formeln wahr sein.
A
∨
B
A\lor B
A
∨
B