Rudolf Adamkovič
Personal site
[
Top
]
Table of Contents
Personal
Curriculum vitae (CV)
Exercise log
Total exercise days
Total exercise duration
Average exercise duration
Exercise anniversary
Mathematics
Mathematics
Fields
Synonyms
Connect
References
BibTeX
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
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
Probability theory
Probability theory
Probability axioms
Proof 1: Probability of negation
Proof 2: Probability of biconditional
Bayes’ theorem
Synonyms
Derive
Use
Law of total probability
Derive
Use
Computer science
Computer science (CS)
BibTeX
References
Computational problem
Decision problem
Complexity class
P
Synonyms
NP
Synonyms
NP-complete
Synonyms
Intuition
History
Generic search
Algorithm
Synonyms
Practice implementation
Breadth-first search (BFS)
Implementation
Space and time complexity
Practice implementation
Proof of complexity claims
Depth-first search (DFS)
Implementation
Space and time complexity
Synonyms
Practice implementation
Graph coloring (COL)
3-coloring (3COL)
Reduce
Check
Boolean satisfiability problem (SAT)
Synonyms
Tips
Implement
Conjunctive normal form (CNF)
3-satisfiability (3SAT)
Explore
Freedom
Free software
Synonyms
Cost
References
BibTeX
Four essential freedoms
General public license, version 3 (GPLv3)
Synonyms
Emacs
Emacs
Design
Map of content
References
Similar projects
BibTeX
Frame
Content
Key bindings
Functions and macros
Customize
Parameterize
Selected frame
Window
Body and decorations
Key bindings
Functions and macros
Selected window
Buffer
Naming conventions
Key bindings
Functions and macros
Variables
Current buffer
Keyboard macro
Basic workflow
Automatic repeating
Isearch
Key bindings: Global
Key bindings: Local
Configuration: Count matches
Configuration: Fold diacritics
Configuration: Ignore whitespace
Emacs Lisp
Emacs Lisp (Elisp)
Map
n
-to-
n
:
mapcar
function
Map
n
-to-
m
:
mapcan
function
Gotcha with destructive concatenation
Map
n
-to-
m
side-effects:
mapc
function
Performance considerations
Input/output types
Map
n
-to-
m
-to-1 string:
mapconcat
function
Loop over a list:
dolist
macro
Example: Performing side-effects
Example: Accumulating with
RESULT
Performance vs
map
functions
Loop
n
times:
dotimes
macro
Example
Generate randomness:
random
Lua
Pattern
In-pattern recursive item
In-pattern item
In-pattern class
In-pattern quantifier
In-pattern special
In-pattern capture reference
Example
In-pattern balanced expression
Example
In-pattern frontier expression
Example
Deep learning
Universal approximation theorem
Input matrix
Target matrix
Synonyms
Weight tensor
Ranks
Drawing of rank-3 network weights
Drawing of rank-2 layer weights
Drawing of rank-1 neuron weights
Drawing of rank-0 weight
Bias tensor
Forward propagation
Dimensionality check: Base case
Dimensionality check: Recursive case
Synonyms
Misc
Abbreviations
adj.
AFK
AKA, a.k.a.
BBIAB
BRB
e.g.
EOF
etc
FML
FTW
FWIW
FYI
i.e.
IDE
IIUC
IME
IMHO
IMNSHO
IMO
KISS
LHS
LMAO
LTR
n.b.
NIH
NP
OOTB
OSD
PC
pl.
RHS
RTL
SNAFU
thx
TIL
TLDR, TL;DR
TOC
TTYL
TTYT
TY
TYVM
UI
WDYT?
WIP
YMMW
Prefixes
Endo-
Heimlich maneuver
Preparation
Procedure
References
[
Top
]
© 2025 Rudolf Adamkovič under
GNU General Public License
version 3.
Made with
Emacs
and secret alien technologies of yesteryear.