Приложение
для AndroidПолное описание
Воротников, С. М. Основы теории алгоритмов и рекурсивных функций : учеб. пособие / С. М. Воротников. - Комсомольск-на-Амуре : КНАГТУ, 2007 (Комсомольск-на-Амуре). - 120 с. - Библиогр.: с. 120. - 200 экз. - ISBN 978-5-7765-0604-8 : Б. ц. - Текст : непосредственный.
В надзаг.: Комс.-на-Амуре гос. техн. ун-т
| ГРНТИ | УДК | |
| 27.03.45 | 510.53 |
Рубрики:
Алгоритмы
Рекурсия
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Заказаны экз-ры для отделов: ХР
Ахтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Верещагин Н.К. Релятивизуемость в структурной теории сложности вычислений : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Н. К. Верещагин, 1995. - 25 с. - Текст : непосредственный.Ашаев И.В. Алгоритмическая вычислимость над произвольными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев, 1996. - 11 с. - Текст : непосредственный.Бадаев С.А. Минимальные нумерации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев, 1996. - 18 с. - Текст : непосредственный.Коровина М.В. Обобщенная вычислимость над полем действительных чисел : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина, 1996. - 12 с. - Текст : непосредственный.Найденко В.Г. Некоторые вопросы вычислительной сложности и методы решения комбинаторных задач : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / В. Г. Найденко, 1997. - 16 с. - Текст : непосредственный.Ганова Р.В. Нетрадиционные версии обобщенной вычисляемости с оракулами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова, 1998. - 13 с. - Текст : непосредственный.Хисамиев А.Н. Определимость в наследственно конечных допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев, 1999. - 12 с. - Текст : непосредственный.Стрыгин В.З. Полиномиальные алгоритмы решения переборных задач : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин, 2000. - 44 с. - Текст : непосредственный.Дудаков С.М. Вычислительная сложность некоторых задач математической логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. М. Дудаков, 2000. - 17 с. - Текст : непосредственный.Калимуллин И.Ш. Структурные свойства верхних полурешеток степеней по перечислимости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин, 2001. - 9 с. - Текст : непосредственный.Витер Д.А. Примитивно рекурсивная реализуемость и конструктивная теория моделей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / Д. А. Витер, 2002. - 12 с. - Текст : непосредственный.Мучник А.А. Решение некоторых задач теории алгоритмов с использованием игровых методов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. А. Мучник, 2001. - 10 c. - Текст : непосредственный.Солон Б.Я. Нетотальные степени перечислимости : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Б. Я. Солон, 2002. - 32 с. - Текст : непосредственный.Мизин Д.А. Алгоритмы, основанные на прикладной символической динамике : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Д. А. Мизин, 2003. - 14 с. - Текст : непосредственный.Стукачев А.И. Вычислимость в допустимых множествах : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. И. Стукачев, 2002. - 15 с. - Текст : непосредственный.Ишмухаметов Ш.Т. Минимальные покрытия тьюринговых степеней : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Ш. Т. Ишмухаметов, 2003. - 26 с. - Текст : непосредственный.
Показать все результатыKoornwinder T.H. On Zeilberger's algorithm and its q-analogue:a rigorous description / T.H.Koornwinder, 1992. - 21 p. - Текст : непосредственный.Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Leeuwen M.A.A. van The Robinson-Schensted and Schutzenberger algorithms. Pt. 1 : New combinatorial proofs, 1992. - 44 p. - Текст : непосредственный.Leeuwen M.A.A. van The Robinson-Schensted and Schutzenberger algorithms. Pt. 2 : Geometric interpretations, 1992. - 20 p. - Текст : непосредственный.Keller J. Fast parallel permutation algorithms / J.Keller, 1993. - 7 p. - Текст : непосредственный.Модели,алгоритмы,программы : Сб. науч. тр. / Тверской гос.ун-т, 1993. - 133 с. - Текст : непосредственный.Матричные методы и алгоритмы : Сб. науч. тр. / Рос.АН.Ин-т вычисл.математики, 1993. - 170 c. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Computer algorithms : key search strategies / сост.ed. J. Aoe, 1991. - XI,139 p. p. - Текст : непосредственный.Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А.Н.Дегтев, 1998. - 176 с. - Текст : непосредственный.Fredholm D. Intensional aspects of function definitions : Diss. / D.Fredholm, 1994. - 80 p. - Текст : непосредственный.Saad Y. Theoretical error bounds and general analysis of a few Lanczos-type algorithms / Y.Saad, 1994. - 12 p. - Текст : непосредственный.Волощенко Ю.И. Разработка алгоритмов методом структурного программирования : Учеб. пособие / Ю.И.Волощенко,А.И.Заковряшин, 1994. - 59 c. - Текст : непосредственный.Криницкий Н.А. Аналитическая теория алгоритмов / Н.А.Криницкий, 1994. - 351 c. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Stewart D.E. Product algorithms for eigensystems / D.E.Stewart, 1994. - 18 p. - Текст : непосредственный.Торгашева Н.Э. Алгоритмы сортировки и поиска на занятиях по информатике : Учеб.пособие для студентов и преподавателей информатики / Н.Э.Торгашева, 1994. - 73 c. - Текст : непосредственный.Охлопков, Н. М. Численные методы и вычислительные алгоритмы : Учеб. пособие. Ч. 1, 1994. - 108 с. - Текст : непосредственный.Мелихов А.Н. Теория алгоритмов и формальных языков : Учеб. пособие / А.Н.Мелихов,В.И.Кодачигов, 1983. - 69 л. - Текст : непосредственный.Раздобреев, М. М. Функциональная обработка информации : В 2 ч.:Учеб.пособие для студентов фак.автоматики и вычисл.техники (Спец.22.02) и фак.бизнеса (спец.07.19) днев.и заоч.форм обучения. Ч. 1 : Проектирование и реализация алгоритмов на языке ТУРБО СИ, 1994. - 130 с. - Текст : непосредственный.
Показать все результатыАшаев И.В. Алгоритмическая вычислимость над произвольными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / И. В. Ашаев, 1996. - 11 с. - Текст : непосредственный.Бадаев С.А. Минимальные нумерации : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / С. А. Бадаев, 1996. - 18 с. - Текст : непосредственный.Коровина М.В. Обобщенная вычислимость над полем действительных чисел : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / М. В. Коровина, 1996. - 12 с. - Текст : непосредственный.Березнюк С.Л. Алгебраические свойства полурешеток сводимостей : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / С. Л. Березнюк, 1998. - 18 с. - Текст : непосредственный.Ганова Р.В. Нетрадиционные версии обобщенной вычисляемости с оракулами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / Р. В. Ганова, 1998. - 13 с. - Текст : непосредственный.Хисамиев А.Н. Определимость в наследственно конечных допустимых множествах : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / А. Н. Хисамиев, 1999. - 12 с. - Текст : непосредственный.Стрыгин В.З. Полиномиальные алгоритмы решения переборных задач : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.09, 01.01.06 / В. З. Стрыгин, 2000. - 44 с. - Текст : непосредственный.Калимуллин И.Ш. Структурные свойства верхних полурешеток степеней по перечислимости : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / И. Ш. Калимуллин, 2001. - 9 с. - Текст : непосредственный.Мучник А.А. Решение некоторых задач теории алгоритмов с использованием игровых методов : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук :01.01.06 / А. А. Мучник, 2001. - 10 c. - Текст : непосредственный.Солон Б.Я. Нетотальные степени перечислимости : автореф. дис. .. д-ра физ.-мат. наук : 01.01.06 / Б. Я. Солон, 2002. - 32 с. - Текст : непосредственный.Мизин Д.А. Алгоритмы, основанные на прикладной символической динамике : автореф. дис. .. канд. физ.-мат. наук : 05.13.18 / Д. А. Мизин, 2003. - 14 с. - Текст : непосредственный.Стукачев А.И. Вычислимость в допустимых множествах : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / А. И. Стукачев, 2002. - 15 с. - Текст : непосредственный.Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Fredholm D. Intensional aspects of function definitions : Diss. / D.Fredholm, 1994. - 80 p. - Текст : непосредственный.Saad Y. Theoretical error bounds and general analysis of a few Lanczos-type algorithms / Y.Saad, 1994. - 12 p. - Текст : непосредственный.Криницкий Н.А. Аналитическая теория алгоритмов / Н.А.Криницкий, 1994. - 351 c. - Текст : непосредственный.Мелихов А.Н. Теория алгоритмов и формальных языков : Учеб. пособие / А.Н.Мелихов,В.И.Кодачигов, 1983. - 69 л. - Текст : непосредственный.Крючкова Е.Н. Теория алгоритмов : Учеб.пособие по курсу "Теория вычисл.процессов и структур" по направлению "Информатика и вычисл.техника" / Е.Н.Крючкова, 1995. - 74 c. - Текст : непосредственный.Algorithms and complexity : Second Italian conf.,CIAC'94,Rome,Febr.23-25 1994:Proc. / CIAC'94, 1994. - VIII,222 p. p. - Текст : непосредственный.Охлопков, Н. М. Численные методы и вычислительные алгоритмы : Учеб. пособие. Ч. 2, 1995. - 142 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽