Rudolf Adamkovič
Personal site
[
Top
]
Table of Contents
Personal
Exercise log
Total exercise days
Total exercise duration
Average exercise duration
Exercise anniversary
Curriculum vitae (CV)
Index of mathematics
Mathematics
Fields
Synonyms
Connect
References
BibTeX
Index of logic
Logic
Orders
Synonyms
Propositional logic
Map of content
Synonyms
Statement
Synonyms
Propositional variable
Tautology
Explore
Atomic statement
Synonyms
Molecular statement
Synonyms
Truth table
Implementation
Logical connective
Synonyms
By type
By precedence
Negation
Synonyms
Truth table
Conjunction
Synonyms
Truth table
Disjunction
Synonyms
Truth table
De Morgan’s laws
Proof
Conditional
Synonyms
Truth table
Antecedent
Synonyms
Consequent
Contrapositive
Example
Converse
Example
Proof
Biconditional
Synonyms
Truth table
Exclusive disjunction
Synonyms
Truth table
Mutual exclusivity
Synonyms
Explore
Argument
Premise
Conclusion
Rule of inference
Synonyms
Modus ponens
Example
Fallacy
Synonym
Predicate logic
Map of content
Synonyms
Example
Predicate
Quantifier
Universal quantifier
Synonyms
Relation to existential quantification
Example
Existential quantifier
Synonyms
Relation to universal quantification
Example
Unique existential quantifier
Synonyms
Index of linear algebra
Linear algebra
Map of content
References
BibTeX
Field
Link
Scalar
Addition
Properties
Synonyms
Multiplication
Properties
Synonyms
Vector space
Synonyms
Link
Notation
Vector
Synonyms
Intuit
Zero vector
Synonyms
Vector addition
Intuition
Properties
Synonyms
Implement
Vector subtraction
Synonyms
Implement
Vector scaling
Intuition
Properties
Synonyms
Implement
Vector length
Synonyms
Intuit
Implement
Dot product
Intuition
Properties
Implement
Euclidean distance
Intuit
Closed form
Derive
Derive
again
Synonyms
Implement
Matrix
Zero matrix
Synonyms
Matrix addition
Properties
Matrix scaling
Synonyms
Properties
Matrix multiplication
Anti-definition
Properties
Anti-properties
Example
Synonyms
Index of probability theory
Probability theory
Bayes’ theorem
Synonyms
Derive
Use
Law of total probability
Derive
Use
Index of computer science
Computer science (CS)
BibTeX
References
Computational problem
Decision problem
Complexity class
P
Synonyms
NP
Synonyms
NP-complete
Synonyms
Intuition
History
Graph coloring (COL)
3-coloring (3COL)
Reduce
Check
Boolean satisfiability problem (SAT)
Synonyms
Tips
Implement
Conjunctive normal form (CNF)
3-satisfiability (3SAT)
Explore
Index of freedom
Free software
Synonyms
Cost
References
BibTeX
Four essential freedoms
General public license, version 3 (GPLv3)
Synonyms
Index of Emacs
Emacs
Design
Map of content
References
BibTeX
Frame
Content
Selected frame
Control
interactively
Control
programmatically
Customize
Parameterize
Window
Selected window
Body and decorations
Key bindings
Functions and macros
Buffer
Current buffer
Naming conventions
Key bindings
Functions and macros
Variables
Misc
Heimlich maneuver
Preparation
Procedure
[
Top
]
© 2024 Rudolf Adamkovič under
GNU General Public License
version 3.
Made with
Emacs
and
the
secret alien technologies of yesteryear.