С.В. Яблонский - Введение в дискретную математику (1060464), страница 54
Текст из файла (страница 54)
О р л о в В. А. Простое доказательство алгоритмической неразешимастн некоторых аадач о полноте автоматных баансов.— ибернетика, 19?3, № 4, с. 109 †!3. 28. Понтрягин Л. С. Основы вомбинаторной тоиологии.— Мл Наука, 1976. 29. Рыбников К. А. Введение в комбпнаторвый анализ.— Мл Иад-во МГУ, 1985. 30. Сачков В. Н.
Введение в комбпнаторные методы дискретной математики.— Мл Наука, 1982. 31. Тра хтев бр от Б. А. К теории бе«повторных контактных схем.— В кнл Труды МИАН СССР. Т. 51.— Мл Изд-во АН СССР, 1958, с. 226 — М9. 32. Холл М. Комбинаторика.— Мл Мир, 19?0. 33. Ч ег нс И. А„Яблонский С.
В. Логические способы контроля работы электрических схем.— В кнл Труды МИАН СССР. Т. 51.— Мл Пзд-во АН СССР, 1958, с. 270 — 360. 34. Шеннон К. Работы по теории информации и киберветиие.— Мл ИЛ, 1963. 35. Я блонскп й С. В. О суперпозпциях функций адгебры логики.— Мзтеы, сб., 1952, 30 (72), № 2, с. 329-348, 36. Яблонский С. В. Функциональные построения в й-значков логике.— В кнл Труды МИАН СССР. Т. 5!.— Мл Иад-во АН СССР, 1958, с.
5 — 142. 37. Я бло иск ой С. В. Методическпе разработки по курсу «Элементы дискретной математикпэ.— Мс Изд-во МГУ, 1971. 38,Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. Фуякции алгебры логики и классы Поста.— Мл Наука, 1966. 39. Янов !О. И., М уч пик А. А. О существовании 7«-значных вамкнутых классоц не име>ощих конечного базиса.— ДАН СССР, 1959, 127, № 1, с. 44 — 46.
40. Н а ющ ! л 6 В. 1>>. Еггог-бе!ес!!од аод еггог-соггесИпб собез,— ВеП Эуз!. Тес)>п. 1., 1950, 29, № 2, р. 147 — 160, 372 СПИСОК ЛИТЕРАТУРЫ !Рус. перс Коды с обнаруженном и исправлением ошибок. Ии ИЛ, И56, . 7 — 22.! 4!. Н и11шап В. А. А ше!Ьой 1ог ГЬе сопз!гисВоп о1 пипЕшшпГейипйапсу сойез.— Ргос. 1ВЕ, 1952.— 40, Ж 9, р. 1098 — !10! Рус.
пери Кибернетический сборник. Вьш. й — Ми ИЛ, 961, с 79 — 87.] 42. ЕЕ и!па тт. У. Оп согез апй рпше !шрйсап!в оЕ 1гЫЬ Екпс!1- опз.-Ашег. Матй. МопгЫу, 1959.— 66, М 9, р. 755 — 760. 43. МсМ11!ап В. Тюо шециаВВев !шрйей Ьу' ип!оие йео1- ЬегаЫЕКу.— 1ВЕ Тгапв., !9об.— 1Т вЂ” 2, Ж 4, р. ! !5 — 1!6 Р у с. п е ри Кибернетический сборник. Вып. 3,— Ми НЛ, 1961, с. 88 — 92.! 44.
М а гт! п ЕЕ. М. ТЬе ЯЬеЕЕег ЕипсВопз оЕ 3-ча1ией 1ой!с.— 1, ЯушЬ, ! о3!с., !954, !9, 24 1, р. 45 — 51. 45. Р!ссагй Я. Яиг 1ев 1опсВопв йбйп!ев йапз !ез епвешЫвв В- и!з оие!сопиие.— Рипй. Ма!Ь., !955, 24, р. !83-!85. 48. Р о вз Е. 1 1пггойисВоп Ео а йепега! !Ьеогу оЕ в1ептвп!агу ргоров!!!опз.— Ашег. 1. Магй., 1921, 43, гй 3, р. 163-!85, 47.
1'о з ! Е. 1.. ТЬе гво-ча!йей НегаВче вуз!ешз о1 шатЬешайса! Еой!с.— Аппа1в о1 МатЬ. Я!ий!ев, ч. 5, РНпсе!оп ЕЕп!ч. Ргевз, Рг!пса!оп — 1.опйоп, 194!. ' 48. Воввег !. В., Титане!1е А. В. Ману-ча!пей 1ойЕсз.-АшзЕегйаш, И52. 49. Я а1о шва А. Яоша сошр1егепевз сП!еНа 1ог зета оЕ ЕипсВопв отег а Вийе йошаш 1, П.— Тшчш Иор!зшп Еа!Ьа!зи!а Аппа!ез ЕЕп!четв!!ат!з Тигйиепв!в, 1962, ваг!а А53, р.
1 — 9; И63, заг!а А63, р. ! — 19. (Рус. пери Кибернетический сборник. Вып. 8.— Ми Мнр, !964, с. 7 — 32.) 50. 81иресй! 1. Кг!1еггиш ре1повс1 ИЕе!сваг-гово!овусЬ вувтвшом !ой!Ы зйап.— Сошр!ев Вепйиз йез Ябапсев йе 1в Яос!М4 йез Яс!епсвз ей йез Ео!Егез йе Чзгзоше, С1. Ш, 1939, 32, р. 102 — !28 ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ Автомат И4 Аксиома выпуклости 298 — вивариаитности 298 — мопотоииости 298 — пеотрицательиости 298 Алгебра логики 9 Алгоритм 122 †, запись иа операториом языке 121 — локальный 331 — наискорейшего спуска 301 — полного перебора 300, 350 — построения кода с минимальной избыточностью 285 — — сокращенной д. и.
ф. 314 — — тупиковых д. в. ф. 318 — распозиаваивя одпоаиачиоств декодирования 268 — упрощения д, п. ф. 301 — — — — —, мерв трудоемкости 307 Алфавит 256 — перемевпых 9 Асвмптотика )и л! 206 — л! 208 — —, коистаита а 2И вЂ” (~~) 2И, 213 — ~ (л) 213, 2!5 — Ф(л) 215, 221 Асимптотическое иеравевство 205, 355 — равенство й)4, 355 Ассоцвативиость 21, 48 Базис 42, 345 — конечный 42 — счетпый 67 Бином Ньютона 180, !96, 198 Величина входная 88 — выходвая 88 Вершина 79, 222, 227 — виутрепяяя 241, 245 — граивчиая 241 — изолированная 223 — исключительная 279 — коицевая 241, 255, 278 — минимальная 249 — иасыщеинал 279 — начальная 87 — разделяющая 244 — л-мерного куба 307 Вершины эквивалентные 249 Ветвь дерева 79, 278 Взавмпости свойство 24 Вход 76, 336 Выход 76, 336 Генератор 77 Головка И5 Грана свяэиые 333 Грань двумерная 308 — максимальная 3!2, 3!8 — одвомеркая 308 †, ранг 308 — регулярная 327 — ядровая 325 — (л — г)-мерная л-мериого куба 307 Граф 222 —, геометрическая реалваацвя 223 — конечный 222 †, плоская реализация 228 †, подрааделеиие 225 — полпый 224 — связный 223 Графы гомеоморфные 225 — пзоморфиые 225 — иеизоморфиые, чвсло 226, 227, 237 Двойственность 23 †, прпвцип 24 пвццыетньгй укАЭАтель Двойственность, принцип для программ (машин) 119 Декодирование 259, 292 — однозкачно9 260 .
Дерево 78, 79, 230 †, зес 83 —, — конечный 85, 86 —, ветвь 79 †, геометрическая реалиаацив 231 — занумерованное 80 — кодовое 278 — †, преобразования 280, 281 †, корень 79, 230 — насыщенное 279 †, поддерево специальное 83 †, путь 80 — усечеыное 85 — конечное 85, 86 Дереаьл непзоморфные, число 232 — акзивалекткые 83 Диаграмма Мура 86 Днаъюнктнвнав нормальная форма (д. в. ф.) 297 — — — Кзайиа 326 — — — кратчайшая 299 — — — миывмапьвая 299 — — — — относительно 5 299 — — —, сложность 298 — — — совершенная 27, 297 , — — —, аналог 47, 150, 151 — — — сойращенвая 313 — — — тапа ХТ 326 — — — тупиковая 301 — — — — в геометрическом смысле 318 — — — — относвтельио преобразований 1 и П 30! — — —, упрощение 301 Дизъюиктор 351 Диаъкжкцвя 13 —, обобщение 45 †, свойства 21 Дискретный преобрааователь 78, 336 Дистрибутизвость 21, 48 Зависвмость между вершинами сети 249 с запаздыванием 94 — существенная 11 Задача о покрытив 3!2 — о трет домах и трех колодцах 224 Задача синтеаа 351 Задачи комбиваторного еналваа 188 — — †, алгебраический подход 190 — — †, метод производящих функций 197 — — — теоретвко-иыожествевный йодход 188 Замкнутость 30 Замыкание 33, 50 †, свойства 33 Запись числа двоичнаи 162; 365 Звезда 245 — полюсная 245 †, центр 245 Зона рабочая ленты 119 Изоморфизм графов 225 — сетей 229 — функцвональных систем 106 Имплакаита п)юстая 3!2 Пипликация 13 Кнзертор 351 Индекс простоты 298 Источник помех 259 — —, логпво-комбинаторное описание 259 — †, статистическое описание 259 — сообщений 257 — †, логическое описание 257 — †, статистическое описание 257 — теоретвко-множественное опйсанве 257 Канал связи 258 Квадрат 58 Каасс функций двойственный 34 — замкнутый 33, 50 — — иаксвмальный 41 — — нредполвый 41 Код 272 — малсниальиый 296 — машинный 129 — — вспомогательный 136 — — квазкосвовной 136 — — основной 129 - - решетчатый 136 — — 1-кратный 136 — помехоустойчявый 260 — префвксныв 261 - —, преобразование 283 пв..дметный указлтель 375 Код приведенный 282 — оамокорректирующийся 289 — с минимальной избыточностью 277 — слова 258 — сообщения 257, 259 — Хафмана 277 — Хеннинга 290 — †, геометрические свойства 293 — злемевтарвый 258 Кодирование 257 — алфавитное 257 — — взаимная одноавачпость 260, 264 — —, схема 258 — равномерное 258 — †, схема 258 Команда И5 — остановки машины Иб — пустая Иб Коымутативность 21, 46 Комплекс одномерный 223 Композицяя машин 120 — —, 1-й тип 120 — —, 2-й тип 121 Компоненты разложения 28 — связные 245, 333 Константа 0 12 — 1 12 Копъюнктивная нормальная форма (к.
н. ф.) 314 — — — совершенная 29 Коиъюнктор 35! Конъюмкция 13 —, обобщение 45 —, ранг 297 †, свойства 21 — элементарная 297 Корень дерева 79, 230 Коррекция кода 259 — ошибка 289 Куб единичный я-мерный 307 — — —, раабиение на сферы 294 — — —, — на шары 294 — — —, й-й слой 179 — я-мерный размера )а 172 — — — —, слой 182 Лента бесконечная Иб — — вправо И5 †, заключительная запись И8 — пустая И8 Логика двузначная (алгебра логика) 43 Логика конечпозначная 43 — контянуумзначная 73 — счетнозначная 73 — й-аначная 43 — †, особенности 65 Машина И5 — Тьюринга ИЗ, И8 — — вычисление правильным образом 144 — †, итерация 121, 123, 124 — †, последовательное подключение 120, 123 Машины двойственные И9 Метод синтеза асимптотически наилучший 361 — — Лупанова 361 — — оптимальный по порядку 357 — †, основанный на более компактной реалваацви всех конъюнкций 353 — †, — на разложении функцив по переменной 353 — —, — на совершенной д.н.ф.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
