XIX Белоусов А.И., Ткачев СБ. Дискретная математика (1081422), страница 115
Текст из файла (страница 115)
° С-сужение соответствия 59 -- строгое 59 (С, В)-ограничение соответствия 58 В-номер 316 Рь-множество 676 (Р, Х)-схема 449 й-глой 379 й-зквивалентность 532 ЙЬ(й)-грамматика 675, 677 — сильная 681 ЬЬ(й)-условие 678 5Щй)-грамматика 687 и-ка упорядоченнал 39 н-набор упорвдоченный 39 и-сеть булеза 380 р-дизъюнкция 708 У-проекция конечного автомата с выходом 554 У-сцепление магазинных меток 713 Л-переход 504 А-такт работы МП-автомата 629 л-правило вывода КС-грамматики 603 й-алгебра 117 П-замыкание 232 — подсемейства 269 й-подалгебра 231 ОГЛАВЛЕНИЕ Предисловие Основные обозначения 1. Множества и отношения 1.1.
Множества 1.2. Кортеж. Декартово произведение 1.3. Соответствия и бинарные отношения 1.4. Операции над соответствиями 1.5. Семейства множеств........... 1.6. Специальные свойства бинарных отношений..... 1.7. Отношения эквивалентности 1.8. Упорядоченные множества. Теорема о неподвижной точке 1.9. Мощность множества Д.1.1. Об одном парадоксе теории множеств......... Д.1.2. Метод характеристических функций Вопросы и задачи . 2. Алгебры: группы и кольца 2.1. Операции.
Понятие алгебраической структуры 2.2. Группоиды, полугруппы, группы..... ° 2.3. Квп ца, тела, поля 2.4. Области целостности 2.5. Модули и линейные пространства 2.6. Подгруппы и подкольца........ ° 2.7. Теорема Лагранжа 2.8. Гомоморфизмы групп и нормальные делители .
2.9. Гомоморфизмы колец... Д.2.1. Кватернионы Вопросы и задачи . 12 23 23 37 40 51 60 62 70 75 89 100 102 106 112 112 121 135 141 145 147 152 157 166 168 171 742 ОГЛАВЛЕНИЕ гра- 375 375 383 388 393 и 405 рмы Полукольца и булевы алгебры 3.1. Полукольца. Основные примеры 3.2. Замкнутые полукольца З.З. Решение систем линейных уравнений 3.4. Булевы алгебры 3.5.
Решетки Вопросы и задачи Алгебраические системы 4.1. Модели и алгебры 4.2. Подсистемы 4.3. Конгрузнции и фактор-системы 4.4. Гомоморфизмы 4.5. Прямые произведения алгебраических систем 4.6. Конечные булевы алгебры 4.7. Многосортные алгебры Вопросы и задачи Теория графов 5.1. Основные определения 5.2. Способы представления 5.3. Деревья 5.4.
Остовное дерево наименьшего веса 5.5. Методы систематического обхода вершин графа 5.6. Задача о путях во взвешенных ориентированных фах 5.7. Изоморфизм графов 5.8. Топологическая сортировка............. 5.9. Элементы цикломатики Вопросы и задачи Булевы функции 6.1. Понятие булевой функции. Булез куб 6.2.
Таблицы булевых функций 6.3. фективные переменные. Равенство булевых функци 6.4. Формулы и суперпозиции 6.5. Дизъюнктивные и конъюнктивные нормальные фо 175 175 182 195 204 212 223 226 226 230 236 242 253 260 266 273 275 276 288 297 306 311 326 341 349 356 368 743 408 429 447 456 6.6 6.7 6.8 Конечные автоматы и регулярные языки 3. Контекстно-свободные языки 8.1. КС-грамматики.
Деревья вывода. Однозначность. 8.2. Приведенная форма КС-грамматики......... 8.3. Лемма о разрастании для КС-яэыков Я 4. Магазинные автоматы 8.5. Алгебраические свойства КС-языков Д.8.1. О методах синтаксического анализа КС-языков .. Д.8.2. Семантика формальных языков ,.3.3. Графовое представление МП-автоматов....... Вопросы и задачи . Список рекомендуемой литературы Предметный указатель 724 7.1 7.2 7.3 7.4 7.6 7.7 7.8 Д.7.1 ~,.7.2 "~.7.3 ~У 4 Построение минимальных ДНФ Теорема Поста Схемы из функциональных элементов Вопросы и задачи . Алфавит, слово, язык Порождающие грамматики Классификация грамматик и языков........, Регулярные языки и регулярные выражения.... Конечные автоматы.
Теорема Клини Детерминизация конечных автоматов........ Минимизация конечных автоматов Лемма о разрастании для регулярных языков Обоснование алгоритма детерминизации конечных томатов Конечные автоматы с выходом. Структурный синт Морфиэмы и конечные подстановки......... Машины Тьюринга Вопросы и задачи . 460 462 472 486 490 494 521 531 538 544 ез 552 564 569 579 587 587 602 616 625 654 673 692 711 715 720 Учебное издание Математика в техническом университете Выпуск Х1Х Белоусов Алексей Иванович Ткачев Сергей Борисович ДИСКРЕТНАЯ МАТЕМАТИКА Редактор В.В.
Авалово Художник С. С, Водчии Компьютерная верстка С.В, Ткачева Оригинзл-макет подгОтОвлен в Издательстве МГТУ им. Н.Э. Баумана под руководством А.Н. Кокон«никоео Подписано в печать 19.04.2004. Формат 50хбб/18. Печать офсетная. Бумага офсетная. Уел, печ, л. 4б,5. Уч.-изд. л. 47,84. Тирам 5000 зкз. Издательство МГТУ им. Н.Э. Баумана. 105005, Москва, 2-я Бауманская, 5.
Отпечатано в ГУП ППП «Типография «Наука«. 121099, г.Москва, Шубинский пер., б. 1ЗВ«1 6-7038-1769-2 9 785703 817698 .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
