markov_teorija_algorifmov (522344), страница 79
Текст из файла (страница 79)
Г. 1. Об оценке сложности членов консьрухтнвных последовательностей нормальных алгорифмов.— ДАН СССР,!972, щ(З, № 4, с. 746 — 748. 2. О сложности универсального нормального алгорифма,— Теория алгорнфмов и математическая логика, Мл Изд. ВЦ АН СССР, 1974, с. 34 — 54. К л и н и С. К, (К!еепе 5. С.) !.
Оепега! геспгыче йпс1юпз о1 па1нга! пшпЬегь.— Май. Апп., 1936, 112, № 5, р. 727 — 742. 2. Кеснгыче ргегВса1ез апб Чпапй!егь.— Тгапь. Ашег. Ма(Ь. 5ос., 1943, 53, № 1, р. 41 — 73. 3. Оп !Ье (п1егрге1а((оп о1 (пГЫИопнй(с ппгпЬег йеогу.— Л. 5ушЬо1к Еой)с, 1945, 1О, р. !09 — 124. 4. А ьупипе(гк 1опп о1 бобе!'ь йеогегп.— Коп!пй)!)Ье Небег!апбьсйе Айадеш!е чап )Уе1епьсЬарреп, Ргос. о! 1Ье ьес(. о1 зс)епсеь, !950, 53, р. 800 — 802. б. Введение в метаматематнку 1 Пер.
с англ., Мл ИЛ, 1957. б. Об истоках теории рекурсивных функций. — Алгоритмы в современной математике и ее приложениях. Часть 1!. Новосибирск, 1982. с. 270 †3 (пер. с англ., подлинник опубликован в Аппа1ь о! 1Ье Нуь1огу о! СошрпПпй, ч. 3, № 1), Колмогоров А. Н. 1. О понятии алгоритма,— Успехи матем. наук, 1953, В, № 4, с. 175— 176.
2. Трн подхода к определенны понятия »количества информации».— Проблемы передачи информации, 1965, 1, вып. 1, с. 3 — 11. Колмогоров А.Н. иУспенский В.А. 1. К определению алгоритма.— Успехи матем. наук, 1958, 13, № 4, с. 3 — 28. Кушнер Б. А. !.
Лекции по конструктивному математическому анализу.— Мл Нау ка, 1973. Линник Ю. В. и Ш а н и н Н. А. 1, Андрей Андреевич Марков. К пятидесятилетию со дня рождения.— Успехи матем. наук, ) 954, 9, № 1, с. 145 — ! 49. Мальцев А. И. 1. Алгоритмы и рекурсивные функции.— Мл Наука, 1965. Манин Ю. И. 1. Вычислимое и невычислимое.— Мл Советское радио, 1980. Марков А. А. 1. Теория алгорифмов.— Тр. матем нн-та АН СССР им. В. А. Стекло ва, 38, Мл Изд. АН СССР, 1951, с. 176 — 189.
2. Теория алгорифмав.— Тр. матем. ин-та АН СССР им. В. А Стеклова, 42, М.— Лл Изд. АН СССР, 1954. 3. О конструктивной математике.— Тр. матем. нн-та АН СССР им. В, А. Стеклова, 87, М.— Л.: Изд. АН СССР, 1962. 4. О логике конструктивной математики.— Мл Знание, 1972. 5. Невозможность некоторых алгорнфмов в теории ассоциативных систем.— ДАН СССР, 1947, 55, № 7, с.
587 — 590. б. Невозможность некоторых алгорнфмов в теории ассоциативных састем. П.— ДАН СССР, 1947, 58, № 3, с. 353 — 356. 7. Невозможность некоторых алгоритмов в теории ассоциативных систем.— ДАН СССР, 1951, 77, № 1, с. 19 — ж!. 8. Невозможность алгорифмов распознавания некоторых свойств ассоциативных систем.— ДАН СССР, !951. 77, № б, с. 953 — 956. 9. О неразрешимых алгорифмических проблемах.— Матем.
сборник, 1952, 3! (73), № 1, с. 34 — 42. 424 лигерлгтрл 10 0 непрерывности конструктивиыз функций. — Успехи чатем. наук, 1954, 9, № 3 (61), с. 226 †2. 1). 0 ка.ю руктианых функциях. — Тр. матем, ин-та АН ГССР им. В. А Стекл ва, 52, М.— Лл Изд, АН СССР, 1958, с. 315 — 348. 12. Неразрешимость проблемы гомеоморфии.— ДАН СССР, 1958, 121, № 2, с. 218 — 220. 13.
0 неразрешимости некоторых проблем топологии.— ДАН СССР, 1958, 123, № 6, с. 978 — 980. 14. О вычислнмы г ннваризнтах — ДАН СССР, 1962, 148, № 5, с. 1017 †10. 15. 0 неотличимости па ннвариантач, — Изв. АН СССР, сер, мшец,, 1963, 27.
№ 4, с. 407--436. )6. О нормальных алгарифмач, оычнслшощнх булевы функцин,— ДА)1 СГСР, 1964, 157, № 2, с. 262--264. 17. О нормальных алгорифмах, связанных с вычислением булевык .3 ункций.— Изв. АН СССР, сер, матем., 1967, 31, № 1, с. 161 — 208. 18. языке Яь.— ДАН СССР, 1974, 214, № 1, с. 40 — 43. 19.
0 языке Яг,— ДАН СССР, 1974, 214, № 2, с. 279 — 282. 20. 0 языке Я,.— ДАН СССР, 1974, 214, №3, с. 513 — 516. 21. 0 языке Яь.— ДАН СССР, 1974, 214, № 4, с. 765 — 768. 22. 0 языках Яг, !)ь,....— ДАН СССР, 1974, 214, № 5, с. 103!в 1034.
23. 0 языке Ям.— ДАП СССР, 1974, 214, Лй 6, с. 1262 — 1264. 24. 0 языке Явь — ДАН СССР, 1974, 215. № 1, с, 57 — 60. 25. 0 полноте классического исчисления предикатов в конструктивной математической .логике, — ДАН СССР, 1974, 215, № 2, с. 266 — 269. 26. Еььа! йе сопМгнс!!оп б'опе )ой!йне йе 1а гпа!Ьегпа1гйае сопь1гцсН- че.— Кетае !п1егп. г1е РЫ)оьарЫе, 1971, № 98, Еаьс. 4. 27.
Попытка построения логики конструктивной математики.— Исследования по теории алгарифмов н математической логике, Мл Изд, Вц АН СССР, 1976, с. 3 — 31.(Русский оригинал работы [26).) Марков А. и Нагарны)!! Н. 1. Об одном языке для апнсання работы вычислительных лгашин.— Проблемы кибернетики, вып. 19, Мл Наука, )967, с. 5 — 38. Мартин-Леф П.
1. Очерки по конструктивной математике ! Пер. с англ., Мл Мир, 1975. Матнясевнч Ю. В. 1. Простые примеры неразрешимых ассоциативных нсчнслений.— ДАН СССР, 1967, 173, № 6, с. 1264 — 1266. 2. Днофантовость перечислнмых множеств.— ДАН СССР, 1970, 191, № 2, с. 279 — 282. Мендельсон Э. 1. Введение в математическую логику, !Пер. с англ., 3-е изд.— Мл Наука, 1984. НагорныйН.
М. 1. К усилению теоремы приведения теории алгорифмов.— ДАН СССР, !953, 90, № 3, с. 341 -342. 2. 0 минимальном алфавите алгорифмав над данным алфавитом— Тр. матем. гш-та АГ! СССР им. В. А Стеклова, 52, М.— Лл Изд. АН СССР, 1958, с. 66 — 74. 3. Некоторые обобщения понятия нарзшльнаго алгорифма.— Тр.
матем. ин-та АН СССР им. В. А. Стеклова, 52, М.— Лл Изд. АН СССР. 1958, с. 7 — 65. ЛИТЕРАТУРА 425 4. 0 разыскании изоморфнзмов ассоциазивных исчислений, — г пза!Ь 1.ойй цпб Сгнпб). Май., 1960, Вб. 6, 5. 319 — 324 5. Об отделимости по инвариантаы.— Исследования по тсарпн алгарифмав и математической логнке. Мл Изд. ВЦ АН СССР, 1973, с. 205-210. 1)агорный Н.М. иц)анин Н.А. 1. Андрей Андреевич Марков. К шестидесятилетию со дня рождения.
— Успехи матем, наук, 1964, 19, № 3, с. 207 †2. Новиков П. С. 1. 06 алгоритмической неразрешимости проблемы тождества.— ДАН СССР, 1952, 85, № 4, с. 709 — 712. 2. Об алгоритмической неразрешимости проблемы тождества слов в теории групп.— Тр. матем. ин-та АН СССР нм. В. А. Стеклова, 44, М.— Лл Изд. АН СССР, 1955. Орловский Э.С. 1. Некоторые вопросы теории алгорнфмов.— Тр. матем. ин-га АН СССР им.
В. А. Стеклова, 52, М.— Лл Изд. АН СССР, 1958, с. 140 — 171. Остроухов Д. А. !. 06 оценке сложности нормальных алгорифмов.— ДАН СССР, 1969, 184, № 6, с. !292 — 1294. 2. Линеаризация конструктивных последовательностей нормальных алгорифмов.— Исследования па тсарни алгорифмав н математнчс. ской логике, т. 1, Мл Изд. ВЦ АН СССР, 1973, с. 97 — 133. Петер Р. 1. Рекурсивные функции ! Г!ер. с нем., Мл ИЛ, 1954. П е т р н Н.
В. 1. 06 алгорифмах, связанных с предикатами и булевыми фуикцнями.— ДАН СССР, 1969, 185, № 1, с. 37 — 39. Пост Э. Л. (Роц Е.1..) 1. Р)пйе сашЬ)па!огу ргосеььеь — 1оппн!аНоп 1.— Л 5ушЬо)!с Еаррс, 1936, 1, № 3, р. 103 — 105. Имеется русский перевод в книге В. А. Успенского [3]. 2. Ксспгьюе и)зьа)ч аЬ!!Яу о! а ргаЫеш о1 ТЬне.— 3. 5ушЬоЯс Еой)с, 1947, 12, р. 1 — 11. Рабин М. О. (КаЬ!и М. О ) 1, КеснгМче цпьо)заЫ)!1у о1 йгонр ВзеогеНс ргоЫегпь.— Апп. а! Май., 1958, 67, № 1, р. 172 — 194. Р а й с Г.
(К!се Н. С.) 1. С)ашеь о1 гесагь)чс)у епншегаЫе ье1ь о1 роь)1!ч'с ш1ейегь апб йе)г дескйоп ргоЫешь.— Тгапь. Ашег. Май. 5ас. )953, 74, № 2, р. 358— 366. Роджерс Х. 1. Теория рекурсивных функций н эффективная вычнслпмасть ! Пер. с англ., Мл Мнр, !97. Сыркин Г.И. 1. Критерий справедливости теоремы перевода в теории нормальных алгорнфмов.— ДАН СССР, 1967, Пй, № 2, с.
270 — 272. Т у э А. (ТЬце А.) 1. РгоЫегпе ОЬег Уегапбегцпйеп чоп ХенсЬепгейеп пасЬ йейеЬепеп Кейс)п.— Чгйепь)сарььеййгаре1ь 5йг!1)ег. 1. Ма1. Ыа1нгч. К)., 1914, № 10, Т ыо р и н г А. М. (Тнг!пй А. М.) 1. Оп соп|ра1аЫе пцпзЬегь, зшй ап аррВсаНоп 1о йе Еп!ьсйе)бнпйьргаЫепз.— Ргас, 1.опбоп Май. 5ас., ьег. 2, 1936, 42, № 3 — 4 р. 230 — 265.
ИМЕННОЙ УКАЗАТЕЛ)э ЛИТЕРАТУРА 426 Клнни (К!еепе 5. С., р. 1909) !О— 12, !43, 312, 329, 335, 423 Колмогоров А. Н. (р 1903) !44 163, 423 Коши (Сацсйу А, Е., 1789 †1?) 9, 4!4, 4!9 Кушнер Б. А, (р.1941) 20, 399, 413, 423 Адан С. И. (р.! 931) 20, 370, 397, 422 Александров П. С. (1896 †19) 7 Барздинь Я.М. (р.1937) 3!8, 323, 422 Бернайс П. (Вегпаув Р., 1888— !977) 12, 21, 54, 63, 422 Борисов В. В.