====קוד לינארי====
קידוד, ספרת ביקורת *המידע שאנו מעוניים לשלוח הוא וקטור של תעודת זהות, ביטים <math>\mathbb{Z}_2^k</math>.*נכפיל את המידע במטריצה הבינארית <math>G=\begin{pmatrix} I_k \\ A\end{pmatrix}</math> ונקבל קוד ב<math>\mathbb{Z}_2^n</math>.*דוגמא **נביט במטריצה <math>G=\begin{pmatrix}1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1\\ 1 & 1 & 1\end{pmatrix}</math>.**כפל במטריצה זו מוסיף למידע באורך 3 ביט יתירות הבודק זוגיות (parity bit).קוד לינארי, קוד המינג. *עבור <math>G=\begin{pmatrix} I_k \\ A\end{pmatrix}</math> נגדיר את המטריצה <math>H=\begin{pmatrix}A & I_{n-k}\end{pmatrix}</math>.*טענה: **לכל וקטור <math>Hv=0</math> אם ורק אם <math>v</math> הוא מהצורה <math>v=Gx</math>.**כלומר קוד <math>v</math> הינו תקין אם ורק אם <math>Hv=0</math>.
checksum בפרוטוקולי IP, TCP, UDP.
