ПРЕДИСЛОВИЕ

ЧАСТЬ 1 ПРАКТИКА ИНЖЕНЕРНОЙ ЛОГИКИ

ГЛАВА 1 КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ ЦЕПИ
1.1. Основные положения алгебры логики
1.2. Разновидности логических интегральных схем (ИС)
1.3. Синтез комбинационных схем
1.4. Минимизация полностью определённых булевых
функций
1.5. Карты Карно для 7, 8, 9 и 10 переменных.
1.6. Оценка сложности реализации булевых функций
1.7. Анализ комбинационных схем
1.8. Формы задания булевых функций
1.9. Минимизация недоопределённых булевых функций
1.10. Минимизация системы булевых функций
1.11. Синтез комбинационных схем на мультиплексорах
и ПЛИС.

ГЛАВА 2 МИНИМИЗАЦИЯ БУЛЕВЫХ ФУНКЦИЙ
МЕТОДОМ ОБОБЩЁННЫХ КОДОВ
2.1. Общий алгоритм определения МОК
2-2. Алгоритм соседнего определения базы МОК
2.3. Выводы

ГЛАВА 3 ТРИГГЕРЫ
3.1. SR-триггеры
3.2. D-триггеры
3.3. JK- триггеры
3.4. Анализ работы схем с памятью

ГЛАВА 4 РЕГИСТРЫ И СЧЁТЧИКИ
4.1 Регистры памяти
4.2. Регистры сдвига
4.3. Двоичные счётчики
4.4. Десятичные счётчики
4.5. Элементная база для построения счётчиков

ГЛАВА 5 СИНТЕЗ СЧЁТЧИКОВ
5.1. Синтез счётчиков с использованием установочных
входов
5.2. Синтез счётчиков с использованием управляющих
входов
5.2.1. Синтез синхронных счётчиков
5.2.2. Синтез асинхронных считчиков
5.3. Реверсивные счётчики
5.4. Распределители импульсов
5.5. Счётчики на сдвиговых регистрах

ГЛАВА 6 КОНЕЧНЫЕ АВТОМАТЫ.
6.1. Понятие о конечном автомате. Автоматы Мили
и Мура
6.2. Методы задания автоматов. ГСА
6.3. Синтез конечных автоматов
6.4. Кодирование состояний и сложность
комбинационной схемы
6.5. Гонки и противогоночное кодирование
6.6. Синтез релейных автоматов
6.7. Синтез ГСА по функциям возбуждения

ГЛАВА 7 МИКРОКОНТРОЛЛЕРЫ
7.1. Простой промышленный микроконтроллер
7.2. Микропроцессорная техника
7.3. Отладочные средства
7.3.1. Программные отладочные средства
7.3.2. Аппаратные отладочные средства
7.3.3. Адаптируемая отладочная система для
проектирования микроконтроллеров
7.4. Средства контроля и диагностики

ЧАСТЬ 2 БАЗОВЫЕ ПРОБЛЕМЫ КЛАССИЧЕСКОЙ
ЛОГИКИ

ГЛАВА 1
1.1. Решение логических уравнений
1.2. Алгоритм "Селигер"
1-3. Отыскание обратных функций

ГЛАВА 2 ЗАКОНЫ ЛОГИКИ СУЖДЕНИЙ

ГЛАВА 3 БАЗИСЫ СИЛЛОГИСТИКИ
3.1. Все х суть у (Аху)
3.2. Ни один х не есть у (Еху)
3.3. Некоторые х суть у

ГЛАВА 4 СИЛЛОГИСТИКА АРИСТОТЕЛЯ - ЖЕРГОННА
4.1. Алгоритм "Осташ-Т" (тест)
4.2. Алгоритм "ТВАТ" (графический синтез силлогизмов)
4-3. Алгоритм "ИЭИ "(синтез заключения)

ГЛАВА 5 РУССКАЯ СИЛЛОГИСТИКА

ГЛАВА 6 ОБЩЕРАЗГОВОРНАЯ СИЛЛОГИСТИКА

ГЛАВА 7 АТОМАРНАЯ СИЛЛОГИСТИКА

ГЛАВА 8 ЕСТЕСТВЕННЫЙ ВЫВОД И КВАНТОРЫ

ЛИТЕРАТУРА