Название: Логические основы проектирования дискретных устройств Автор: Закревский А.Д., Поттосин Ю.В., Черемисинова Л.Д. Издательство: Москва: Физматлит Год: 2007 Формат: pdf Страниц: 592 Размер: 14 mb Язык: русский
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений. Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Множества, отношения, графы Основные понятия теории множеств Отношения бинарные и n-арные 20 Основные понятия теории графов Изоморфизм графов Циклы и разрезы Доминирующие и независимые множества Раскраска графа Обходы графа Планарные графы Комбинаторные алгоритмы дискретной математики Комбинаторные задачи и методы комбинаторного поиска Задача о кратчайшем покрытии Задача о вырожденности троичной матрицы Задача о диагностическом тесте Задачи о разбиениях Алгебра логики Элементы логики высказываний Тавтологии логики высказываний Элементы логики предикатов Элементы абстрактной булевой алгебры. Интерпретации Отношения между формулами, равносильные преобразования Нормальные формы Функциональная полнота Оптимизация в булевом пространстве Булево пространство Булевы функции Упрощение дизъюнктивных нормальных форм Минимизация ДНФ: метод Квайна-МакКласки Минимизация ДНФ: метод Блейка-Порецкого Визуальный метод минимизации булевых функций Не полностью определенные булевы функции Минимизация слабо определенных булевых функций Нахождение ядра в безызбыточной ДНФ Метод простых совокупностей Минимизация систем булевых функций Минимизация числа аргументов Ортогонализация ДНФ Декомпозиция булевых функций Полиномиальные представления булевых функций Дифференцирование булевых последовательностей Дифференцирование булевых функций Полиномы Жегалкина и Рида-Маллера Матричные преобразования совершенной ДНФ в полином Жегалкина и обратно Реализация частичных булевых функций полиномами Жегалкина Лестничный алгоритм минимизации полиномов Жегалкина Приближенный алгоритм минимизации полиномов Жегалкина Элементы теории линейных векторных пространств Реализация системы частичных булевых функций полиномами Жегалкина Проектирование логических схем Системы логического управления и задачи их проектирования Анализ комбинационных схем Синтез комбинационных схем Моделирование логических схем на ЭВМ Диагностика неисправностей в комбинационных схемах Контактные схемы Схемы на транзисторах Транзисторные матричные схемы Программируемые логические матрицы Методы теории автоматов Понятие и типы конечных автоматов Представление событий в автоматах Минимизация полных автоматов Минимизация частичных автоматов Кодирование состояний синхронного автомата Кодирование состояний асинхронного автомата Алгоритмы логического управления Алгоритмы и их формальные представления Сети Петри Анализ сетей Петри Параллельные алгоритмы логического управления Параллельный автомат Кодирование состояний параллельного автомата Секвенциальный автомат
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.
Мы рекомендуем Вам зарегистрироваться либо войти на сайт под своим именем.
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
