- Артикул:00-01057448
- Автор: А.Д. Закревский, Ю.В. Поттосин, Л.Д. Черемисинова
- ISBN: 978-5-9221-0811-9
- Тираж: 1000 экз.
- Обложка: Твердая обложка
- Издательство: Физматлит (все книги издательства)
- Город: Москва
- Страниц: 592
- Формат: 60х90 1/16
- Год: 2007
- Вес: 814 г
Развернуть ▼
Книга представляет собой введение в теорию логического проектирования дискретных устройств. В ней последовательно вводятся базисные понятия теории множеств и отношений, излагаются основы теории графов, исчисления высказываний, логики предикатов, абстрактной булевой алгебры с различными интерпретациями. Особое внимание уделяется задачам комбинаторной оптимизации и разделам логики, важным с точки зрения технических приложений.
Предназначается для специалистов в области проектирования дискретных устройств и может быть полезна для студентов и аспирантов, специализирующихся в данном направлении.
Содержание
Предисловие
Часть 1. Множества, отношения, графы
Глава 1. Основные понятия теории множеств
Глава 2. Отношения бинарные и n-арные
Глава 3. Основные понятия теории графов
Глава 4. Изомерфизм графов
Глава 5. Циклы и разрезы
Глава 6. Доминирующие и независимые множества
Глава 7. Раскраска графа
Глава 8. Обходы графа
Глава 9. Планарные графы
Часть 2. Комбинаторные алгоритмы дискретной математики
Глава 10. Комбинаторные задачи и методы комбинаторного поиска
Глава 11. Задача о кратчайшем покрытии
Глава 12. Задача о вырожденности троичной матрицы
Глава 13. Задача о диагностическом тесте
Глава 14. Задачи о разбиениях
Часть 3. Алгебра логики
Глава 15. Элементы логики высказываний
Глава 16. Тавтологии логики высказываний
Глава 17. Элементы логики предикатов
Глава 18. Элементы абстрактной булевой алгебры. Интерпретации
Глава 19. Отношения между формулами, равносильные преобразования
Глава 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. Секвенциальный автомат
Список литературы
Предметный указатель
Рекомендуем
Артикул 00002295
