Кузнецов О.П., Адельсон-Вельский Г.М. - Дискретная математика для инженеров, страница 85

238 Терм 22 Упорядочение лексика афнчвское 36 Условный переход 166, 47 Устойчивость 4(розкествв вершин 1!У вЂ” бостояния автомата 327 Формула 27 84 — булеза 57 — выполнимая 239 — исчисления 218 — абщезвачнешя 84, 241 — противоречивая 84, 941 Функция 24 — Аккермана 19! — выходов 298 — вычислнмая !94, 201 — — по Тьюрннгу!69, 160 — логическая (алгебры яогикн) 50 — — линейная 73 — — монотонная 76 местная 25 — обратная 28 общерекурснвная 194 — переходов 295 — перечисляющая 207 — прямнтивно.реиурсивиая !80 — рекурсивная ПВ характеристическая 66, 207 — частично-рекурсивная 193 — Шеннона 249 Центр графа 102 — дерева 109 Цепочка 263 Цепь 99 гамильтонова 109 — диаметральная 102, 114 — простая 99 — радиальная 102 — эйлерова РП Цикл 99 — гаыильтоиоз 109 — ориентированный 125 — о сотой 99 — э леров 106 Цикломатическое число ПЗ Язык Формальный 263, 314 ОГЛАВЛЕНИЕ Предислоние ко второму изданию Предисловие к первому изданию Г л а в а п е р в а я.

Множества, функции, отношения 1.!. Множества н операции под ними 1.2. Соответствия н функции 1,3. Отношения . Глава вторая. Элементы общей алгебры 2.1, Операции на множествах н нх свойства 2.2. Полугруппы, группы, решетки Глава третья. Введение в логику 3.1. Логические функции (функции алгебры логики) 3.2. Булеза алгебра 3.3, Полнота и замкнутость 3.4. Язык логики предикатов Глава четвертая.

Графы 4.1. Основные понятия и операции 4.2. Маршруты, цепи и циклы 4.3. Некоторые классы графов и их частей 4.4. Ориентированные графы 4.5, Графы с помеченными вершинами и ребрами Г л а в а п я т а я. Теория алгоритмов 5.1. Предварительное обсуждение 5.2. Машины Тьюринга 5.3. Рекурсивные функции 5.4. Вычислимость н разрешимость Глава шестая, Формальвые системы 6.1, Формальные теории !логические исчисления)', Исчисление высказываний 6.2. Исчисление прецикатов и теории первого порядка 6.3.

Метатеория логических исчислений 6.4. Абстрактные формальные системы Глава седьмая. Языки и грамматики 7.1. Формальные грамматнкк и их свойства 7.2. Операции над языками 7.3. О семантике формальных языков 9 9 19 29 37 37 43 50 50 56 70 80 88 88 99 109 124 13! 144 144 155 178 201 2!5 217 228 238 246 261 263 283 292 479 Глава восьмая. Автоматы......,,, 295 8.1. Основные понятия ...,....., 295 8.2. Распознавание множеств автоматами...,, 3!3 8.3.

Сети из автоматов, их анализ и синтез..... 3:!1 8.4. Программная реализация логических функций и автоматов ......,...,, 34? Глава девятая. Комбинаторные задачи н трудоемкость вы- 9 1. Трудоемкость относительно разных машин ... 351 9ж. Классы трудоемкости комбинаторных задач... 371 9.8. Метод ветвей и границ,...,..., 399 Глава десятая. Линейное программирование.... 4!1 10.1, Некоторые сведения из линейной алгебры и многомерной геометрии ....,...,, 41! 10!2. Задачи линейного программирования. Области допустимости............., 421 10.8. Двойетвенные задачи линейного программирования 10.4.

Симплекс-метод для решения задач линейного программирования....,......., 446 10.5. О полнномиальной трудоемкости задач линейного программирования . . . , . . . . . . , 454 Список литературы . . . . . , . . . . , , 473 Предметный указатель . . . , . . . . . . . 476 Производственное издание Кузнецов Олег Петрович Адельсон-Вельский Георгий Максимович дискритидя мдтимдтицд для инжииврд Редактор С. В, Петров Редактор издательства 3, И. Мгиееаа Художнвк переплета Лу, С. Шлелер Художественный редактор Т, А. Деоречяоеа текничесянд редактор Г.

В. преображенская Корректор М. Г, Грлинл ИБ №е !88! сдано в набор 80.12.88. подписана в печать №.02.88. т-08008. Формат 84М!Ознм. БУмага типогРафскаа № 2. ГаРнитУРа литеРатУРнаЯ. Це. четь высокая. уел. печ. л. 25,2. уел. кр..отт. 252. уч..нзд. л. 27,08. тираж ЗО ОО0 яка. Закан 750. цена 1 р, 8О к. Энергоатомиедат, 118114, Москва, М-114, Шлюаовая наб., Ю Владнмнрсная,типография Союаволнграфирома прн Тоскомнадате СССР бОЭХЮ, г. Владимир, Октябрьскна праскент, д. 7 .