Введение в дискретную математику - Яблонский С.В.
Скачать (прямая ссылка):
1961. 139, № 3, с. 560—561.
24. Марков Ал. А. Иорекуррентное кодирование.— В кн.: Проблемы кибернетики. Выи. 8,— М.: Физматгиз, 1962, с. 169—186.
25. М а р к о в А. А. Введение в теорию кодирования.—М.: Наука, 1982.
26. Никольский С. М. Курс математического анализа. Т. 1—2,— М.: Наука, 1983.
27. Орлов В. А. Простое доказательство алгоритмической неразрешимости некоторых задач о полноте автоматных базисов.— Кибернетика, 1973, № 4, с. 109—113.
28. П о и т р я г и и Л. С. Основы комбинаторной топологии,— М.: Наука, 1976.
29. Рыбников К. А. Введение в комбинаторный анализ.— М.: Изд-во МГУ, 1985.
30. Сачков В. II. Введение в комбинаторные методы дискретной математики,—М.: Наука, 1982.
31. Т ра х т е н б р о т Б. А. К теории бесповторных контактных схем.—В кн.: Труды МИАН СССР. Т. 51.—М.: Изд-во АН СССР,
1958, с. 226—269.
32. Холл М. Комбинаторика.—М.: Мир, 1970.
33. Ч е г и с И. А., Яблонский С. В. Логические способы контроля работы электрических схем.— В кн.: Труды МИАН СССР. Т. 51.— М.: Изд-во АН СССР, 1958, с, 270—360.
34. Шеннон К. Работы по теории информации а кибернетике.— М.: ИЛ, 1963.
35. Я б л о н с к и ё С. В. О суперпозициях функций алгебры логики.— Матем. сб., 1952, 30 (72), Лз 2, с. 329—348.
36. Я б л о н с к в й С. В. Функциональные построения в fc-значной логике.— В кн.: Труды МИАН СССР. Т. 51.— М.: Изд-во АН СССР, 1958, с. 5—142.
37. Яблонский С. В. Методические разработки по курсу «Элементы дискретной математики».— М.: Изд-во МГУ, 1971.
38. Яблонский С. В., Гаврил о в Г. П., К уд р я в це в В. Б. Функции алгебры логики и классы Поста.— М.: Наука, 1966.
39. Янов 10. И., Мучник А. А. О существовании &-значных замкнутых классов, не имеющих конечного базиса.— ДАН СССР
1959, 127, Д6 1, с. 44—46.
40. Hamming R. W. Error-detecting and error-correcting codes,—Bell Syst. Teclm. J., 1950, 29, N° 2, p, 147—160.
24*
372
C11I1UUK ЛШ‘ЙГА1-»Ш
IP у с. ne р.: Коды с обнаружением и исправлением ошибок.—» М.: ИЛ, 1956, с. 7-22.]
41. H u f f m a n D. A. A method for the construction of minimum-redundancy codes.— Proc. IRE, 1952.— 40, Ai 9, p. 1098—1101 [Рус. не p.: Кибернетический сборник. Вып. 3.—М.: ИЛ,
1961, с. 79—87.]
42. Quine W. V. On cores and prime implicants of truth functions.— Amer. Math. Monthly, 1959.— 66, № 9, p. 755—760.
43. McMillan B. Two inequalities implied by unique decipherability—IKE Trans., 1956.—IT—2, №4, p. 115—116
IP у с. ne p.: Кибернетический сборник. Вып. 3.— М.: ИЛ,
1961, с. 88—92.]
44. Martin N. М. The Shcffer functions of 3-valued logic.— J. Symb. Logic., 1954, 19, Кг 1, p. 45—51.
45. P i с с a r d S. Sur les fonctions d?finies dans les ensembles finis quelconque.— Fund. Math., 1955, 24, p. 183—185.
46. P о s t. E. L. Introduction to a general theory of elementary propositions.— Amer. J. Math., 1921, 43, A® 3, p. 163—185.
47. P о s t E. L. The two-valued iterative systems of mathematical logic.— Annals of Math. Studies, v. 5, Princeton Univ. Press, Princeton — London, 1941.
48. R о s s e r J. В., T u r q u e 11 e A. R. Many-valued logics.— Amsterdam, 1952.
49. Salomaa A. Some completeness criteria for sets of functions over a finite domain I, 1L— Turun Ylopiston Jalkaisuja Annales Universitatis Turkuensis, 1962, sarja A53, p. 1—9; 1963, sarja A63, p. 1—19. (Pvc. пер.: Кибернетический сборник. Вып. S.-М.: Мир, 1964, с. 7—32.]
50. Slupecki 3. Kriterium pelnosci wielowar — tosciowych syste-mow logiki zdan.— Comptes Rendus des S?ances de la Soci?t? des Sciences et des Lettres de Varsovie, Cl. III, 1939, 32, p. 102—128.
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Автомат 114
Аксиома выпуклости 298
— инвариантности 298
— монотонности 298
— неотрицательности 298 Алгебра логики 9 Алгоритм 122
—, запись на операторном языке 121
— л ока л ьный.ЗЗ 1
— наискорейшего спуска 301
— полного перебора 300, 350
— построения кода с минимальной избыточностью 285
сокращенной д. п. ф. 314
тупиковых д. н. ф. 318
— распознавания однозначности декодирования 268
— упрощения д. н. ф. 301
, мера трудоемкости
307
Алфавит 256
— переменных 9 Асимптотика 1п гг! 206
— гг! 208
, константа а 211
— (ї) 211, 213
— 2 (і)213'215
— Ф(в) 215, 221
Асимптотическое неравенство 205, 355
— равенство 204, 355 Ассоциативность 21, 46
Базис 42, 345
— конечный 42
— счетный 67
Бином Ныотона 180, 196, 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 Головка 115 Грани связные 333 Грань двумерная 308
— максимальная 312, 316
— одномерная 303 —, ранг 308
— регулярная 327
— ядровая 325
— (п — г)-мерная гг-иерного куба 307
Граф 222
—, геометрическая реализация 223
— конечный 222
—, плоская реализация 226 —, подразделение 225
— полный 224
— связный 223
Графы гомеоморфные 225
