Излагается теория кодов, исправляющих арифметические ошибки, предназначенных для использования в вычислительных машинах, система, сетях с целью повышения надежности их работы, достоверности результатов вычислений. Подробно рассмотрены две важнейшие конструкции арифметических кодов – AN-коды и остаточные коды и их модификации. Обсуждаются вопросы практического применения изложенных результатов.