Введение

Часть 1. Элементы математической логики
Глава 1. Логика как наука
Глава 2. Понятие об алгебре высказываний
Глава 3. Логические операции
Глава 4. Логические переменные и логические функции
Глава 5. Сложное высказывание
Глава б. Законы логики
Глава 7. Упрощение сложных высказываний
Глава 8. Программирование построения таблиц
Глава 9. Решение логических содержательных задач

Часть 2. Логические основы ЭВМ
Введение. Роль математической логики в создании ЭВМ
Глава 1. Простейшие преобразователи информации
Глава 2. Совершенная дизъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма
Глава 3. Типовые логические устройства ЭВМ

Приложение 1. Историческая справка
Приложение 2. Лабораторная работа по теме "Построение таблиц истинности с помощью электронных таблиц Excel"
Приложение 3. Контрольная работа по теме "Элементы математической логики"
Приложение 4. Контрольная работа по теме "Логические основы ЭВМ"
Приложение 5. Задания вступительных экзаменов в вузы по информатике

Ответы и решения
Литература