Исследованы проблемы типизации и структуризации данных. Введено определение алгоритма, отражающее важное свойство альтернативности. В классической теории алгоритмов выделены положения, обеспечивающие два принципа современного цифрового компьютера: программное управление выполнением программы и размещение выполняемой программы в памяти наряду с другими данными. Рассмотрены возможные структуры алгоритмов, алгоритмически неразрешимые проблемы, сложность алгоритмов, абстрактные модели компьютеров. Изучены логические основы компьютера, способы представления и преобразования данных в различных системах счисления и выполнение базовых арифметических и логических операций. Исследованы возможности параллельного выполнения операций. Приведены функции операционной системы по обеспечению режимов использования компьютера, системы прерывания, многоканального доступа, виртуальной памяти. Дано понятие «теговой» архитектуры, способствующей повышению информационной безопасности. Рассмотрены «фон-Неймановские» и «не-фон-Неймановские» архитектуры.Соответствует требованиям Федерального государственного образовательного стандарта высшего образования последнего поколения.Для студентов бакалавриата и магистратуры, аспирантов, преподавателей информационно-технологических и экономических вузов, для исследователей и разработчиков цифровых вычислительных средств.