Справка
x
Поиск
Закладки
Озвучить книгу
Изменить режим чтения
Изменить размер шрифта
Оглавление
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Логические основы проектирования дискретных устройств.
Глава 19. Отношения между формулами, равносильные преобразования
Предыдущая страница
Следующая страница
Оглавление
Предисловие
Часть 1. Множества, отношения, графы. Глава 1. Основные понятия теории множеств
+
Глава 2. Отношения бинарные и n-арные
+
Глава 3. Основные понятия теории графов
+
Глава 4. Изоморфизм графов
+
Глава 5. Циклы и разрезы
+
Глава 6. Доминирующие и независимые множества
+
Глава 7. Раскраска графа
+
Глава 8. Обходы графа
+
Глава 9. Планарные графы
+
Часть 2. Комбинаторные алгоритмы дискретной математики. Глава 10. Комбинаторные задачи и методы комбинаторного поиска
+
Глава 11. Задача о кратчайшем покрытии
+
Глава 12. Задача о вырожденности троичной матрицы
+
Глава 13. Задача о диагностическом тесте
+
Глава 14. Задачи о разбиениях
+
Часть 3. Алгебра логики. Глава 15. Элементы логики высказываний
+
Глава 16. Тавтологии логики высказываний
+
Глава 17. Элементы логики предикатов
+
Глава 18. Элементы абстрактной булевой алгебры. Интерпретации
+
Глава 19. Отношения между формулами, равносильные преобразования
-
19.1. Отношения между формулами
19.2. Преобразование формул
19.3. Принцип двойственности
Глава 20. Нормальные формы
+
Глава 21. Функциональная полнота
+
Часть 4. Оптимизация в булевом пространстве. Глава 22. Булево пространство
+
Глава 23. Булевы функции
+
Глава 24. Упрощение дизъюнктивных нормальных форм
+
Глава 25. Минимизация ДНФ: метод Квайна-МакКласки
+
Глава 26. Минимизация ДНФ: метод Блейка-Порецкого
+
Глава 27. Визуальный метод минимизации булевых функций
+
Глава 28. Не полностью определенные булевы функции
+
Глава 29. Минимизация слабо определенных булевых функций
+
Глава 30. Нахождение ядра в безызбыточной ДНФ
+
Глава 31. Метод простых совокупностей
+
Глава 32. Минимизация систем булевых функций
+
Глава 33. Минимизация числа аргументов
+
Глава 34. Ортогонализация ДНФ
+
Глава 35. Декомпозиция булевых функций
+
Часть 5. Полиномиальные представления булевых функций. Глава 36. Дифференцирование булевых последовательностей
+
Глава 37. Дифференцирование булевых функций
+
Глава 38. Полиномы Жегалкина и Рида-Маллера
+
Глава 39. Матричные преобразования совершенной ДНФ в полином Жегалкина и обратно
+
Глава 40. Реализация частичных булевых функций полиномами Жегалкина
+
Глава 41. Лестничный алгоритм минимизации полиномов Жегалкина
+
Глава 42. Приближенный алгоритм минимизации полиномов Жегалкина
+
Глава 43. Элементы теории линейных векторных пространств
+
Глава 44. Реализация системы частичных булевых функций полиномами Жегалкина
+
Часть 6. Проектирование логических схем. Глава 45. Системы логического управления и задачи их проектирования
+
Глава 46. Анализ комбинационных схем
+
Глава 47. Синтез комбинационных схем
+
Глава 48. Моделирование логических схем на ЭВМ
+
Глава 49. Диагностика неисправностей в комбинационных схемах
+
Глава 50. Контактные схемы
+
Глава 51. Схемы на транзисторах
+
Глава 52. Транзисторные матричные схемы
+
Глава 53. Программируемые логические матрицы
+
Часть 7. Методы теории автоматов. Глава 54. Понятие и типы конечных автоматов
+
Глава 55. Представление событий в автоматах
+
Глава 56. Минимизация полных автоматов
+
Глав а 57. Минимизация частичных автоматов
+
Глава 58. Кодирование состояний синхронного автомата
+
Глава 59. Кодирование состояний асинхронного автомата
+
Глава 60. Схемная реализация автоматов
+
Часть 8. Алгоритмы логического управления. Глава 61. Алгоритмы и их формальные представления
+
Глава 62. Сети Петри
+
Глава 63. Анализ сетей Петри
+
Глава 64. Параллельные алгоритмы логического управления
+
Глава 65. Параллельный автомат
+
Глава 66. Кодирование состояний параллельного автомата
+
Глава 67. Секвенциальный автомат
+
Список литературы
Предметный указатель
Данный блок поддерживает скрол*