Логические методы анализа и синтеза схем
ОглавлениеПРЕДИСЛОВИЕ К ПЕРВОМУ ИЗДАНИЮВВЕДЕНИЕ ЧАСТЬ ПЕРВАЯ. СИНТЕЗ И АНАЛИЗ СХЕМ, РАБОТА КОТОРЫХ НЕ ЗАВИСИТ ОТ ВРЕМЕНИ ГЛАВА ПЕРВАЯ. ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ И ИХ ОСНОВНЫЕ СВОЙСТВА 1-2. ЭЛЕМЕНТАРНЫЕ ФУНКЦИИ АЛГЕБРЫ ЛОГИКИ 1-3. ВЫРАЖЕНИЕ ОДНИХ ЭЛЕМЕНТАРНЫХ ФУНКЦИЙ ЧЕРЕЗ ДРУГИЕ 1-4. СВОЙСТВА КОНЪЮНКЦИИ, ДИЗЪЮНКЦИИ И ОТРИЦАНИЯ 1-5. СВОЙСТВА СЛОЖЕНИЯ ПО МОДУЛЮ 2 ИМПЛИКАЦИИ И ФУНКЦИЙ ШЕФФЕРА И ВЕББА 1-6. ОСНОВНЫЕ КЛАССЫ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ 1-7. АНАЛИТИЧЕСКАЯ ЗАПИСЬ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ 1-8. ПОЛНЫЕ СИСТЕМЫ ФУНКЦИЙ 1-9. НЕКОТОРЫЕ ВЫВОДЫ ПРИКЛАДНОГО ХАРАКТЕРА ГЛАВА ВТОРАЯ. МИНИМИЗАЦИЯ ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ 2-2. ПОСТАНОВКА ЗАДАЧИ МИНИМИЗАЦИИ В КЛАССЕ ДНФ 2-3. МЕТОД НЕОПРЕДЕЛЕННЫХ КОЭФФИЦИЕНТОВ 2-4. МЕТОД КВАЙНА—МАК-КЛАСКИ 2-5. МЕТОД БЛЕКА—ПОРЕЦКОГО 2-6. АБСОЛЮТНО МИНИМАЛЬНЫЕ ПРЕДСТАВЛЕНИЯ 2-7. МИНИМИЗАЦИЯ В ДРУГИХ БАЗИСАХ 2-8. ПОЛИНОМИАЛЬНЫЕ ПРЕДСТАВЛЕНИЯ И ИХ МИНИМИЗАЦИЯ 2-9. ПРЕОБРАЗОВАНИЯ И МИНИМИЗАЦИЯ В БАЗИСЕ, СОСТОЯЩЕМ ИЗ ФУНКЦИИ ВЕББА ИЛИ ИЗ ФУНКЦИИ ШЕФФЕРА 2-10. ФУНКЦИОНАЛЬНАЯ ДЕКОМПОЗИЦИЯ ГЛАВА ТРЕТЬЯ. ВОПРОСЫ АНАЛИЗА И СИНТЕЗА НЕВРЕМЕННЫХ СХЕМ 3-1. ЛОГИЧЕСКИЕ СЕТИ 3-2. ТЕОРЕМА АНАЛИЗА И ЭКВИВАЛЕНТНЫЕ СХЕМЫ 3-3. СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ С ОДНИМ ВЫХОДОМ 3-4. СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ СО МНОГИМИ ВЫХОДАМИ 3-5. СИНТЕЗ СХЕМ ПО НЕПОЛНОСТЬЮ ОПРЕДЕЛЕННЫМ СОБСТВЕННЫМ ФУНКЦИЯМ 3-6. СИНТЕЗ СХЕМ ДЛЯ НЕКОТОРЫХ КЛАССОВ СОБСТВЕННЫХ ФУНКЦИЙ 3-7. ПРИМЕРЫ СИНТЕЗА НЕКОТОРЫХ УСТРОЙСТВ 3-8. СИНТЕЗ ЛОГИЧЕСКИХ СХЕМ С УЧЕТОМ ТЕОРЕТИКО-СТРУКТУРНЫХ СВОЙСТВ БУЛЕВЫХ ФУНКЦИЙ 3-9. ОЦЕНКА СЛОЖНОСТИ СХЕМ И ФУНКЦИЙ ГЛАВА ЧЕТВЕРТАЯ. СИНТЕЗ СХЕМ ДЛЯ ОТДЕЛЬНЫХ КЛАССОВ ФУНКЦИОНАЛЬНЫХ ЭЛЕМЕНТОВ 4-2. СХЕМЫ НА ТРАНЗИСТОРАХ И ЛАМПАХ С ХОЛОДНЫМ КАТОДОМ 4-3. СХЕМЫ НА ФЕРРИТАХ 4-4. СХЕМЫ НА ДИОДАХ 4-5. СХЕМЫ НА ФЕРРИТ-ТРАНЗИСТОРАХ 4-6. СХЕМЫ НА ПАРАМЕТРОНАХ 4-7. ПОРОГОВАЯ И МАЖОРИТАРНАЯ ЛОГИКА 4-8. СИНТЕЗ ОДНОРОДНЫХ СХЕМ НА ИНТЕГРАЛЬНЫХ МОДУЛЯХ Часть вторая. СИНТЕЗ И АНАЛИЗ СХЕМ, РАБОТА КОТОРЫХ ЗАВИСИТ ОТ ВРЕМЕНИ ГЛАВА ПЯТАЯ. ВРЕМЕННЫЕ БУЛЕВЫ ФУНКЦИИ И СИНТЕЗ МНОГОТАКТНЫХ СХЕМ 5-2. СВОЙСТВА ВРЕМЕННЫХ БУЛЕВЫХ ФУНКЦИЙ 5-3. СИНТЕЗ И АНАЛИЗ СХЕМ С ПОМОЩЬЮ ВРЕМЕННЫХ БУЛЕВЫХ ФУНКЦИЙ ГЛАВА ШЕСТАЯ. РЕКУРРЕНТНЫЕ БУЛЕВЫ ФУНКЦИИ 6-2. АНАЛИЗ И СИНТЕЗ СХЕМ, ОПИСЫВАЕМЫХ РБФ-2 6-3. АНАЛИЗ И СИНТЕЗ СХЕМ, ОПИСЫВАЕМЫХ ВРБФ-1 6-4. ЛОГИЧЕСКИЙ АНАЛИЗ РАБОТЫ ТРИГГЕРНОЙ ЯЧЕЙКИ 6-5. АНАЛИЗ И СИНТЕЗ СХЕМ, ОПИСЫВАЕМЫХ РБФ-1 6-6. КОНЕЧНЫЕ АВТОМАТЫ С ПАМЯТЬЮ 6-7. ПРИМЕРЫ СИНТЕЗА КОНЕЧНЫХ АВТОМАТОВ 6-8. СВЯЗЬ МЕЖДУ ВРЕМЕННЫМИ ФУНКЦИЯМИ И КОНЕЧНЫМИ АВТОМАТАМИ ГЛАВА СЕДЬМАЯ. ДИНАМИЧЕСКИЕ ПРОЦЕССЫ В СХЕМАХ 7-2. АЛГЕБРА ВРЕМЕННЫХ ПОСЛЕДОВАТЕЛЬНОСТЕЙ 7-3. ОБ АНАЛИЗЕ СХЕМ С ОБРАТНЫМИ СВЯЗЯМИ ЧАСТЬ ТРЕТЬЯ. ПРИМЕНЕНИЕ МНОГОЗНАЧНОЙ ЛОГИКИ ПРИ АНАЛИЗЕ И СИНТЕЗЕ СХЕМ ГЛАВА ВОСЬМАЯ. k-ЗНАЧНЫЕ ЛОГИКИ И ИХ ПРИМЕНЕНИЕ 8-2. ОСНОВНЫЕ k-ЗНАЧНЫЕ ЛОГИЧЕСКИЕ ФУНКЦИИ 8-3. ПОЛНЫЕ СИСТЕМЫ ФУНКЦИЙ В k-ЗНАЧНОЙ ЛОГИКЕ 8-4. ПРЕДСТАВЛЕНИЕ k-ЗНАЧНЫХ ФУНКЦИЙ В ВИДЕ НОРМАЛЬНЫХ ФОРМ 8-5. ПОЛИНОМИАЛЬНЫЕ ПРЕДСТАВЛЕНИЯ В k-ЗНАЧНОЙ ЛОГИКЕ ГЛАВА ДЕВЯТАЯ. ТРЕХЗНАЧНАЯ ЛОГИКА 9-2. МОДЕЛИРОВАНИЕ ОСНОВНЫХ ТРЕХЗНАЧНЫХ ФУНКЦИЙ 9-3. МИНИМИЗАЦИЯ АНАЛИТИЧЕСКИХ ВЫРАЖЕНИЙ ТРЕХЗНАЧНЫХ ЛОГИЧЕСКИХ ФУНКЦИЙ СПИСОК ЛИТЕРАТУРЫ |
