Приложение
для AndroidПолное описание
Ганов, В. А. Компьютерные версии вычислений с оракулами : учеб. пособие / В. А. Ганов, Р. В. Дегтерева, В. Р. Карымов ; Алт. гос. ун-т . - Барнаул : Изд-во Алт. ун-та, 2014. - 86 с. : ил. - Библиогр.: с. 85-86 (26 назв.). - 100 экз. - ISBN 978-5-7904-1765-8 : 260 р. - Текст : непосредственный.
| ГРНТИ | УДК | |
| 27.03.45 | 510.53 |
Рубрики:
Рекурсия
Доп. точки доступа:
Дегтерева, Р.В.
Карымов, В.Р.
Алтайский гос. ун-т (Барнаул)
Имеются экземпляры в отделах: всего 1 : ХРЦ (1)
Свободны: ХРЦ (1)
Становление рыночной экономики региона : Сб.ст. / Алт.гос.ун-т, 1995. - 103 c. - Текст : непосредственный.Экспериментальные методы в физике структурно-неоднородных сред : Тр.Всерос.науч.-техн.конф.,12-14 сент.1996 г.,Барнаул / Алтайский гос. ун-т (Барнаул). Т. 4 : Гидродинамика структурно-неоднородных сред, 1997. - 103 с. - Текст : непосредственный.Бухгалтерский финансовый учет : Учеб. пособие / Алтайский гос. ун-т (Барнаул), 2002. - 100 с. - Текст : непосредственный.Дисперсные системы в природе и технике : учеб. пособие / Алтайский гос. ун-т (Барнаул), 2006. - 191 с. - Текст : непосредственный.Управление современной организацией: опыт, проблемы и перспективы : сб. науч. ст. междунар. науч.-практ. конф / Алт. гос. ун-т. Вып. 2, 2006. - 463 с. - Текст : непосредственный.География и природопользование Сибири : Сб. ст. / Алтайс.гос.ун-т. Вып. 8, 2006. - 267 с. - Текст : непосредственный.Избранные вопросы алгебры : сб. ст., посвящ. памяти Н. Я. Медведева / под ред. Н. В. Баяновой, 2007. - 309 с. - Текст : непосредственный.Финансовые и денежно-кредитные проблемы современной экономики : материалы заочной науч.-практ. конф., посвященной юбилею кафедры финансов и кредита Алтайского гос. ун-та / Алтайский гос. ун-т (Барнаул), 2007. - 153 с. - Текст : непосредственный.Управление корпорацией : сб. науч. ст. / под ред. О. П. Осадчей, Н. М. Оскорбина, 2007. - 320 с. - Текст : непосредственный.Рекреационное природопользование, туризм и устойчивое развитие регионов : материалы международной научно-практической конференции, Барнаул - Горно-Алтайск, 23-26 октября 2007 г., 2007. - 393 с. - Текст : непосредственный.Вестник Алтайской науки / Алтайский гос. ун-т. № 2(2), 2008. - 182 с. - Текст : непосредственный.Новые достижения в химии и химической технологии растительного сырья : материалы 4 всерос. конф.: в 2 кн. / Алт. гос ун-т и др. Кн. 2, 2009. - 292 с. - Текст : непосредственный.Новые достижения в химии и химической технологии растительного сырья : материалы 4 всерос. конф.: в 2 кн. / Алтайский гос. ун-т (Барнаул). Кн. 1, 2009. - 305 с. - Текст : непосредственный.География и природопользование Сибири : Сб. ст. / Алт.гос.ун-т. Вып. 10. - 288 с. - Текст : непосредственный.Экономика и бизнес: позиция молодых ученых : материалы конф. студентов и аспирантов (с междунар. участием). Вып. 7Ч. 2, 2008. - 219 с. - Текст : непосредственный.Особенности бухгалтерского учета в отдельных отраслях народного хозяйства : учеб. пособие / Ю. А. Буланкова [и др.], 2008. - 451 с. - Текст : непосредственный.Актуальные вопросы функционирования экономики Алтайского края : сб. ст. молодых ученых / Алт. гос. ун-т. Вып. 1, 2008. - 123 с. - Текст : непосредственный.Проблемы правовой и технической защиты информации : сб. науч. ст. / Алтайский гос. ун-т (Барнаул), 2008. - 179 с. - Текст : непосредственный.Экономика и бизнес: позиция молодых ученых : материалы конф. студентов и аспирантов (с междунар. участием). Вып. 7Ч. 1, 2008. - 245 с. - Текст : непосредственный.Испытания упругих стержней методом продольного изгиба / В. Ф. Савин [и др.]; под ред. В. Ф. Савина, А. Н. Блазнова, 2009. - 221 с. - Текст : непосредственный.
Показать все результатыАхтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук: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 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽