В учебном пособии даны базовые понятия теории графов, рассмотрены алгоритмы упрощения дизъюнктивных и конъюнктивных нормальных форм представления функций алгебры логики, изложены элементы теории конечных автоматов. Описаны алгоритмы нахождения эквивалентных состояний автомата, рассказано о построении сетей из автоматов. Детально проанализированы алгебраические и теоретико-числовые аспекты обработки данных, обоснована взаимосвязь между искусственными нейронными сетями и системами остаточных классов.