Приложение
для AndroidПолное описание
| ГРНТИ | УДК | |
| 27.03.17 | 510.57 | |
| ББК | ||
| 22.176 |
Рубрики:
Рекурсивные функции
Аннотация: В книге представлены основные классы элементарных рекурсивных функций, изучаемых в теории рекурсивных функций. Приведены различные определения исследуемых классов, установлены соотношения включения между ними. В терминах сложности вычислений получено описание большого числа классов элементарных функций. Для ряда классов дано решение проблемы существования конечных базисов по суперпозиции.Для студентов и аспирантов математических факультетов, изучающих теорию алгоритмов, а также научных сотрудников и преподавателей высшей школы.
Доп. точки доступа:
Физматлит
https://biblioclub.ru/index.php?page=book&id=485268
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д10-17/38341)
ЭБС Университетская библиотека онлайн : 117342, г. Москва, ул. Обручева, д. 34/63, стр. 3 (Шифр в БД-источнике (BIBLIO): 485268)
Шифр в сводном ЭК: 4c3321c8e878a8d5d2aab4b830fb4784
Кондратьев А.С. Задачи по термодинамике, статистической физике и кинетической теории / А. С. Кондратьев, П. А. Райгородский, П. А. Райгородский, 2007. - 253 с. - Текст : электронный.Путинцев Н.М. Классическая теория поляризации молекулярных систем / Н. М. Путинцев, Д. Н. Путинцев, Д. Н. Путинцев, 2011. - 176 с. - Текст : непосредственный.Башкин В.А. Численное исследование задач внешней и внутренней аэродинамики / В. А. Башкин, И. В. Егоров, И. В. Егоров, 2013. - 331 с. - Текст : электронный.Формальский А.М. Управление движением неустойчивых объектов / А. М. Формальский, 2014. - 229 с. - Текст : электронный.Мелешко Е.А. Быстродействующая импульсная электроника / Е. А. Мелешко, 2007. - 317 с. - Текст : электронный.Сабитов К.Б. К теории уравнений смешанного типа / К. Б. Сабитов, 2014. - 300 с. - Текст : электронный.Абрамочкин Е.Г. Современная оптика гауссовых пучков / Е. Г. Абрамочкин, В. Г. Волостников, В. Г. Волостников, 2010. - 184 с. - Текст : электронный.Петров А.Г. Аналитическая гидродинамика : учебное пособие / А. Г. Петров, 2010. - 518 с. - Текст : электронный.Мазалова, Виктория Леонидовна. Нанокластеры: рентгеноспектральные исследования и компьютерное моделирование / В. Л. Мазалова, А. Н. Кравцова, А. В. Солдатов, 2012. - 182 с. (Введено оглавление). - Текст : непосредственный.Салимов Р.Б. Математика для инженеров и технологов / Р. Б. Салимов, 2009. - 483 с. - Текст : электронный.Воропаева Н.В. Геометрическая декомпозиция сингулярно возмущенных систем / Н. В. Воропаева, В. А. Соболев, В. А. Соболев, 2009. - 255 с. - Текст : электронный.Савинов В.П. Физика высокочастотного емкостного разряда / В. П. Савинов, 2013. - 307 с. - Текст : электронный.Винтизенко И.И. Релятивистские магнетроны / И. И. Винтизенко, 2013. - 360 с. - Текст : непосредственный.Бисикало, Дмитрий Валерьевич. Газодинамика тесных двойных звезд / Д. В. Бисикало, А. Г. Жилкин, А. А. Боярчук, 2013. - 632 с. - Текст : непосредственный.Соболев В.А. Редукция моделей и критические явления в макрокинетике / В. А. Соболев, Е. А. Щепакина, Е. А. Щепакина, 2010. - 319 с. - Текст : электронный.Щитов И.Н. Асимптотические разложения решений сингулярно возмущенных задач для обыкновенных дифференциальных уравнений / И. Н. Щитов, 2013. - 169 с. - Текст : электронный.Карлов Н.В. Начальные главы квантовой механики / Н. В. Карлов, Н. А. Кириченко, Н. А. Кириченко, 2006. - 359 с. - Текст : электронный.Карасев И.П. Теория функций комплексного переменного : учебное пособие / И. П. Карасев, 2008. - 214 с. - Текст : электронный.Пугачев В.С. Теория вероятностей и математическая статистика / В. С. Пугачев, 2002. - 496 с. - Текст : электронный.Сизый С.В. Лекции по дифференциальной геометрии / С. В. Сизый, 2007. - 376 с. - Текст : электронный.
Показать все результатыМатросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный.Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный.Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Zakrzewski M. Wprowadzenie w teorie zlozonosci obliczeniowej: W kregu zagadnienia P-NP. / M. Zakrzewski, 1990. - 87 s. - Текст : непосредственный.Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный.Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный.Сэвидж Д.Э. Сложность вычислений / Д. Э. Сэвидж, 1998. - 368 с. - Текст : непосредственный.Шумова Л.В. Частично-рекурсивные функции и алгоритмы : материалы временных коллективов / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный.Ворожцов А.В. Алгебраические методы определения сложности / А. В. Ворожцов, 2001. - 20 с. - Текст : непосредственный.Орехов Э.Ю. Введение в теорию сложности решения задач : учебное пособие / Э. Ю. Орехов, Ю. В. Орехов, 2008. - 87 с. - Текст : непосредственный.Шурыгин В.А. Сложностный метод теории алгоритмов / В. А. Шурыгин, 2009. - 194 с. - Текст : непосредственный.Мавликасова Г.Ч. Некоторые вопросы обобщенной вычислимости / Г. Ч. Мавликасова, 2000. - 28 с. - Текст : непосредственный.Parameterized and exact computation / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный.Алферова З.В. Теория алгоритмов, 1973. - 164 с. - Текст : непосредственный.
Показать все результатыДегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А. Н. Дегтев, 1998. - 176 с. - Текст : непосредственный.
Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2008) : Вычислимые функции, 2008. - 189 с. - Текст : непосредственный.Марченков С.С. Элементарные рекурсивные функции / С.С.Марченков, 2003. - 112 с. - Текст : непосредственный.Волков С.А. Конечные базисы по суперпозиции в классах элементарных рекурсивных функций : автореф. дис. .. канд. физ.-мат. наук: 01.01.09 / С. А. Волков, 2009. - 16 с. - Текст : непосредственный.Марченков С.С. Классы элементарных рекурсивных функций / С. С. Марченков, 2017. - 136 с. - Текст : электронный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3(2012) : Вычислимые функции, 2012. - 158 с. - Текст : непосредственный.Соар Р.И. Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И.Соар;Пер.с англ.под ред.М.М.Арсланова, 2000. - 576 с. - Текст : непосредственный.Корольков Ю.Д. Вычислимые семейства общерекурсивных функций : Учеб. пособие / Ю.Д.Корольков, 1992. - 70 с. - Текст : непосредственный.Марченков С.С. Рекурсивные функции / С. С. Марченков, 2007. - 62 с. - Текст : непосредственный.Верещагин, Николай Константинович. Лекции по математической логике и теории алгоритмов. Ч. 3 : Вычислимые функции, 2002. - 189 с. - Текст : непосредственный.Марченков, Сергей Серафимович. Избранные главы дискретной математики : булева функция, конечный автомат, машина Тьюринга, рекурсивная функция: [учебное пособие] / С. С. Марченков, 2023. - 186 с. - Текст (визуальный) : непосредственный.Глотина, Ирина Михайловна. Математическая логика и теория алгоритмов : учебное пособие / И. М. Глотина, 2025. - 163 с. - Текст (визуальный) : непосредственный.
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽
Просмотр издания Электронно-библиотечная система "Университетска библиотека ONLINE", требуется авторизация