Математическая логика и теория алгоритмов. Ч. 1 Математическая логика

В учебно-методическом пособии изложены основные сведения по математической логике. Учебно-методическое пособие содержит расширенный материал лекций (часть 1 — математическая логика) по дисциплине «Математическая логика и теория алгоритмов», предусмотренных учебным планом и рабочей программой дисциплины.
Учебно-методическое пособие предназначено для студентов всех форм обучения направления 09.03.01 «Информатика и вычислительная техника» направленности (профиля) «Автоматизированные системы обработки информации и управления».