These logics are underlying Machine Learning

Logic cheat sheets

The aim here is to gather cheat sheets for quickly unravelling complex logical arguments.

Unravel with ease ...

A veritable truth in reality

Machine Learning (ML)

Algorithms and statistical models that computer systems use to perform a task without using explicit instructions, relying on models and inference instead.

Even more demystification

Some of this math is behind machine learning as well

Data analysis algorithms

The math behind algorithms made with for example decision trees, naive Bayes classification, ordinary least squares regression, logistic regression, support vector machines, ensemble methods, clustering, principal component analysis, singular value decomposition and independent component analysis.

Demystify this ...

It does make for some music now and then.

Unstructured information

Documents as sets of words or phrases; Documents and queries as vectors, matrices, or tuples; Similarities computed as probabilities that a document is relevant for a given query; Documents as vectors of values of feature functions for finding a single relevance score by learning to rank methods.


Game theory is the study of strategically interdependent decision making.

The traitor's manual

Game theory is the scientific study of strategically interdependent decision making. The Traitor's manual attempts to provide easy access to simple resources for discovering the rules of a game and making effective counter-moves. Not much math, even though it is.

Game the system ...

It does make for some music now and then.

All (other) math

The named bucket for the rest.

Pun intended.

There, there ...

Another veritable truth in reality

Graphs and graph theory

Graph theory had its beginnings in recreational math problems, and has grown into a huge area of research, with applications in chemistry, operations research, social sciences, and computer science.

More demystification