Компьютеризация булевой алгебры в диалоговой системе структурированного программирования

Содержание
ВВЕДЕНИЕ
ГЛАВА 1. КОНСТРУКТЫ АЛ ТЕХНОЛОГИЯ ПРОГРАММИРОВАНИЯ
1. Процедурное программирование в ДССП. Общая характеристика конструктной технологии.
2. Описание ДССП
3. Конструкты и конструктная технология программирования.
ГЛАВА 2. КОНСТРУКТНАЯ РЕАЛИЗАЦИЯ БУЛЕВОЙ АЛГЕБРЫ.
1. Общая характеристика компьютерной системы, реализующей булеву алгебру .
2. Булева алгебра
3. Совокупностная интерпретация булевой алгебры
4. Общая характеристика конструктов типа булево выражение
5. Конструкты ДК и КДшкала битных слов.
а Кодирование булевых выражений конструктами ДК и КДшкала.
б Стек ДК и КДшкал
6. Конструкты К и Дшкалатритных слов и КДцепь
7. Система манипулирования булевыми выражениями
ГЛАВА 3. ПРИМЕРЫ ИСПОЛЬЗОВАНИЯ КОНСТРУКТОВ ТИПА БУЛЕВО ВЫРАЖЕНИЕ.
1. Процедура выявления взаимосвязи, заданной булевым выражением
2. Выявление отношений между двумя выражениями.
3. Решение булевых уравнений.
а Метод БуляПорецкого
б Уточнение метода БуляПорецкого.
в Примеры применения уточненного метода.
г Компьютерная процедура решения систем булевых уравнений.
д Вычисление решения булева уравнения в виде рекурсивного определения
искомого термина
4. Минимизация булевых выражений.
ЗАКЛЮЧЕНИЕ.
ЛИТЕРАТУРА