Formule
Deux ensembles finis $S_0, S_1 \subset \mathbb{R}^n$ sont dits linéairement séparables s'il existe $w \in \mathbb{R}^n$ et $b \in \mathbb{R}$ tels que $\langle w, x \rangle + b > 0$ pour tout $x \in S_1$ et $\langle w, x \rangle + b < 0$ pour tout $x \in S_0$. Geometriquement : il existe un hyperplan affine separant $S_0$ et $S_1$. Le PDF p3 utilise cette notion pour distinguer ET et OU (séparables, donc apprenables par un perceptron) de XOR (non séparable, donc impossible avec un seul neurone).