Подписка на 1 месяц за 1 рубль!
Дисциплина: Дискретная математика Дискретные и математические модели Теория дискретных систем
Жанр: Научные монографии
Постраничный просмотр для данной книги Вам недоступен.
Книга доступна только по подписке.
| Предисловие | 10 |
| ЧАСТЬ 1. МНОЖЕСТВА, ОТНОШЕНИЯ, ГРАФЫ | |
| Глава 1. Основные понятия теории множеств | 13 |
| Глава 2. Отношения бинарные и n-арные | 20 |
| Глава 3. Основные понятия теории графов | 27 |
| Глава 4. Изоморфизм графов | 34 |
| Глава 5. Циклы и разрезы | 37 |
| Глава 6. Доминирующие и независимые множества | 41 |
| Глава 7. Раскраска графа | 47 |
| Глава 8. Обходы графа | 52 |
| Глава 9. Планарные графы | 56 |
| ЧАСТЬ 2. КОМБИНАТОРНЫЕ АЛГОРИТМЫ ДИСКРЕТНОЙ МАТЕМАТИКИ | |
| Глава 10. Комбинаторные задачи и методы комбинаторного поиска | 59 |
| Глава 11. Задача о кратчайшем покрытии | 64 |
| Глава 12. Задача о вырожденности троичной матрицы | 69 |
| Глава 13. Задача о диагностическом тестем | 75 |
| Глава 14. Задачи о разбиениях | 81 |
| ЧАСТЬ 3. АЛГЕБРА ЛОГИКИ | |
| Глава 15. Элементы логики высказываний | 87 |
| Глава 16. Тавтологии логики высказываний | 92 |
| Глава 17. Элементы логики предикатов | 97 |
| Глава 18. Элементы абстрактной булевой алгебры. Интерпретации | 113 |
| Глава 19. Отношения между формулами, равносильные преобразования | 118 |
| Глава 20. Нормальные формы | 123 |
| Глава 21. Функциональная полнота | 135 |
| ЧАСТЬ 4. ОПТИМИЗАЦИЯ В БУЛЕВОМ ПРОСТРАНСТВЕ | |
| Глава 22. Булево пространство | 144 |
| Глава 23. Булевы функции | 158 |
| Глава 24. Упрощение дизъюнктивных нормальных форм | 170 |
| Глава 25. Минимизация ДНФ: метод Квайна–МакКласки | 181 |
| Глава 26. Минимизация ДНФ: метод Блейка–Порецкого | 195 |
| Глава 27. Визуальный метод минимизации булевых функций | 203 |
| Глава 28. Не полностью определенные булевы функции | 213 |
| Глава 29. Минимизация слабо определенных булевых функций | 223 |
| Глава 30. Нахождение ядра в безызбыточной ДНФ | 240 |
| Глава 31. Метод простых совокупностей | 247 |
| Глава 32. Минимизация систем булевых функций | 255 |
| Глава 33. Минимизация числа аргументов | 269 |
| Глава 34. Ортогонализация ДНФ | 278 |
| Глава 35. Декомпозиция булевых функций | 284 |
| ЧАСТЬ 5. ПОЛИНОМИАЛЬНЫЕ ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ | |
| Глава 36. Дифференцирование булевых последовательностей | 299 |
| Глава 37. Дифференцирование булевых функций | 305 |
| Глава 38. Полиномы Жегалкина и Рида–Маллера | 310 |
| Глава 39. Матричные преобразования совершенной ДНФ в полином Жегалкина и обратно | 314 |
| Глава 40. Реализация частичных булевых функций полиномами Жегалкина | 321 |
| Глава 41. Лестничный алгоритм минимизации полиномов Жегалкина | 327 |
| Глава 42. Приближенный алгоритм минимизации полиномов Жегалкина | 332 |
| Глава 43. Элементы теории линейных векторных пространств | 338 |
| Глава 44. Реализация системы частичных булевых функций полиномами Жегалкина | 343 |
| ЧАСТЬ 6. ПРОЕКТИРОВАНИЕ ЛОГИЧЕСКИХ СХЕМ | |
| Глава 45. Системы логического управления и задачи их проектирования | 350 |
| Глава 46. Анализ комбинационных схем | 363 |
| Глава 47. Синтез комбинационных схем | 372 |
| Глава 48. Моделирование логических схем на ЭВМ | 385 |
| Глава 49. Диагностика неисправностей в комбинационных схемах | 394 |
| Глава 50. Контактные схемы | 403 |
| Глава 51. Схемы на транзисторах | 417 |
| Глава 52. Транзисторные матричные схемы | 424 |
| Глава 53. Программируемые логические матрицы | 433 |
| ЧАСТЬ 7. МЕТОДЫ ТЕОРИИ АВТОМАТОВ | |
| Глава 54. Понятие и типы конечных автоматов | 443 |
| Глава 55. Представление событий в автоматах | 451 |
| Глава 56. Минимизация полных автоматов | 461 |
| Глава 57. Минимизация частичных автоматов | 466 |
| Глава 58. Кодирование состояний синхронного автомата | 482 |
| Глава 59. Кодирование состояний асинхронного автомата | 495 |
| Глава 60. Схемная реализация автоматов | 506 |
| ЧАСТЬ 8. АЛГОРИТМЫ ЛОГИЧЕСКОГО УПРАВЛЕНИЯ | |
| Глава 61. Алгоритмы и их формальные представления | 511 |
| Глава 62. Сети Петри | 521 |
| Глава 63. Анализ сетей Петри | 532 |
| Глава 64. Параллельные алгоритмы логического управления | 540 |
| Глава 65. Параллельный автомат | 551 |
| Глава 66. Кодирование состояний параллельного автомата | 561 |
| Глава 67. Секвенциальный автомат | 573 |
| Список литературы | 581 |
| Предметный указатель | 584 |
Отзывы: нет |
© 2001–2022, Издательство «Директ-Медиа» тел.: 8-800-333-68-45 (звонок бесплатный), +7 (495) 258-90-28 manager@directmedia.ru
