Rudolf Adamkovič
Personal site
[
Top
]
Table of Contents
Personal
Curriculum vitae
Exercise log
Linear algebra
Field
Scalar
Addition
Multiplication
Vector space
Vector
Zero vector
Vector addition
Scalar multiplication
Vector subtraction
Euclidean distance
Vector length
Matrix
Zero matrix
Matrix addition
Matrix scaling
Logic
Orders
Propositional logic
Predicate logic
Statement
Atomic statement
Molecular statement
Logical connective
Negation
Conjunction
Disjunction
De Morgan’s laws
Truth table
Tautology
Conditional
Contrapositive
Antecedent
Consequent
Converse
Inverse
Biconditional
Argument
Premise
Conclusion
Rule of inference
Modus ponens
Fallacy
Predicate
Quantifier
Existential quantifier
Unique existential quantifier
Universal quantifier
Other connectives
Exclusive disjunction
Mutual exclusivity
Computer science
Computational problem
Decision problem
Boolean satisfiability problem
3SAT
Conjunctive normal form
3COL
Computational complexity
Complexity class
P
NP
NP-complete
Machine learning
Classification
K
-nearest neighbors
Probability theory
Stuff :)
Bayes’ Theorem
Law of total probability
Misc
Acronyms
Bibliography
[
Top
]
© 2024 Rudolf Adamkovič under
GNU General Public License
version 3.
Made with
Emacs
and secret alien technologies of yesteryear.