Приложение
для AndroidПолное описание
Ганов, В. А. Общая теория вычислений с оракулами / В.А.Ганов,Н.В.Белякин. - Новосибирск : ИМ, 1989. - 136 с. : ил. - 400 экз. - 80 к. р. - Текст : непосредственный.
В надзаг.:АН СССР, Сиб. отд-ние, Ин-т математики. Библиогр.: с. 135 (10 назв.)
| ГРНТИ | УДК | |
| 27.03.45 | 510.53 |
Рубрики:
Рекурсия
Кл.слова (ненормированные): рекурсия
Доп. точки доступа:
Белякин, Н.В.
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Ахтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук: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 с. - Текст : непосредственный.
Показать все результатыBellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный.Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А.Н.Дегтев, 1998. - 176 с. - Текст : непосредственный.Fredholm D. Intensional aspects of function definitions : Diss. / D.Fredholm, 1994. - 80 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Гончаров С.С. Семейства с одноэлементной полурешеткой Роджерса / С.С.Гончаров,С.А.Бадаев, 1996. - 26 с. - Текст : непосредственный.Корольков Ю.Д. Вычислимые семейства общерекурсивных функций : Учеб. пособие / Ю.Д.Корольков, 1992. - 70 с. - Текст : непосредственный.Sacks G.E. Higher recursion theory / G.E.Sacks, 1990. - XV,344 p. p. - Текст : непосредственный.Богомолов А.М. Автоматные модели и рекурсивный конструктивизм : Учеб. пособие для студентов мех.-мат. фак. и фак. прикл. математики ун-тов / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный.Березин С.А. Алгоритмы и рекурсивные функции : Учеб. пособие для студентов фак. прикл. мат. / С.А.Березин,А.М.Ивлева, 1999. - 72 с. - Текст : непосредственный.Murawski R. Funkcje rekurencyjne i elementy metamatematyki: Problemy zupelnosci rozstrzygalnosci, twierdzenia Godla / R.Murawski, 1990. - 186 s. - Текст : непосредственный.Ehring T. primitiv rekursives Beziechnungssystem uber einer Hierarchie von Mahlofunktionen : Diss. / T.Ehring, 1990. - 69 S. - Текст : непосредственный. Соар Р.И. Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И.Соар;Пер.с англ.под ред.М.М.Арсланова, 2000. - 576 с. - Текст : непосредственный.Kapron B.M. Feasible computation in higher types : Diss. / B.M.Kapron, 1991. - 104,19 p. p. - Текст : непосредственный.Ганов В.А. Общая теория вычислений с оракулами / В.А.Ганов,Н.В.Белякин, 1989. - 136 с. - Текст : непосредственный.Марченков С.С. Элементарные рекурсивные функции / С.С.Марченков, 2003. - 112 с. - Текст : непосредственный.Частично-рекурсивные функции и алгоритмы : Учеб. пособие / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный.Основы теории алгоритмов и рекурсивных функций : Учеб. пособие / С. М. Воротников, 2007. - 120 с. - Текст : непосредственный.Ганов В.А. Компьютерные версии вычислений с оракулами : учеб. пособие / В. А. Ганов, Р. В. Дегтерева, В. Р. Карымов, 2014. - 86 с.Марченков С.С. Классы элементарных рекурсивных функций / С. С. Марченков, 2017. - 136 с. - Текст : непосредственный.Марченков, Сергей Серафимович. Избранные главы дискретной математики : булева функция, конечный автомат, машина Тьюринга, рекурсивная функция : [учебное пособие] / С. С. Марченков, 2023. - 186 с. - Текст (визуальный) : непосредственный.
Ашаев И.В. Алгоритмическая вычислимость над произвольными алгебраическими системами : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽