The book covers the basics of the theory of synthesis of self-verifiable digital computing devices and systems based on summation codes. The main known codes used in the tasks of building digital devices and systems are described. Detailed characteristics of error detection in information vectors by codes with summation are given, which is relevant for separate implementation of initial devices and technical means of their diagnostics.