Полное описание
Корольков, Ю. Д. ISBN 5-7430-0428-5. - Текст : непосредственный.
Рубрики: Рекурсия
Кл.слова (ненормированные): РЕКУРСИЯ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д7-92/98225)
Шифр в сводном ЭК: bd1787869860fbd61fff28559d61c38d
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Основы информационной безопасности : учеб. пособие / А. С. Коллеров [и др.], 2013. - 113 с. - Текст : непосредственный. Корольков Ю.Д. Аудит информационной безопасности компьютерных систем : учеб. пособие / Ю. Д. Корольков, Н. И. Синадский, Д. А. Хорьков, 2012. - 114 с. - Текст : непосредственный. Корольков Ю.Д. Анализ и восстановление данных в операционных системах MS Windows : учеб. пособие / Ю. Д. Корольков, Н. И. Синадский, 2012. - 111 с. - Текст : непосредственный. Духан Е.И. Средства защиты информации от несанкционированного доступа : учеб. пособие / Е. И. Духан, Ю. Д. Корольков, Н. И. Синадский, 2012. - 128 с. - Текст : непосредственный. Борисенко М.Л. Защита информации в операционных системах MS Windows : учеб. пособие / М. Л. Борисенко, Е. Н. Дудоров, Ю. Д. Корольков, 2012. - 120 с. - Текст : непосредственный. Духан Е.И. Средства криптографической защиты компьютерной информации : учеб. пособие / Е. И. Духан, Ю. Д. Корольков, Н. И. Синадский, 2012. - 113 с. - Текст : непосредственный. Корольков Ю.Д. Математические модели и алгоритмы на ветвящихся структурах / Ю.Д.Корольков, 1994. - 79 c. - Текст : непосредственный. Дискретный анализ и информатика : серия / Иркут. гос. ун-т. Вып. 3 : Прикладные информационные технологии и системы / ред. Ю. Д. Корольков, 2009. - 134 с. - Текст : непосредственный. Алгоритмические и комбинаторные задачи дискретных систем и ЭВМ : Сб. науч. тр. / Иркут. гос. ун-т, 1991. - 179 с. - Текст : непосредственный. Корольков Ю.Д. Вычислимые семейства общерекурсивных функций : Учеб. пособие / Ю.Д.Корольков, 1992. - 70 с. - Текст : непосредственный. Корольков Ю.Д. Математическое моделирование алгебраических и аналитических преобразований на ветвящихся структурах : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.16 / Ю. Д. Корольков, 1997. - 30 с. - Текст : непосредственный. Алгоритмические и комбинаторные вопросы дискретных систем и ЭВМ : Сб. науч. тр. / Иркут. гос. ун-т, 1990. - 155 с. - Текст : непосредственный. Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 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 с. - Текст : непосредственный. Показать все результаты Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный. Шумова Л.В. Частично-рекурсивные функции и алгоритмы : материалы временных коллективов / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный. Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А. Н. Дегтев, 1998. - 176 с. - Текст : непосредственный. Fredholm D. Intensional aspects of function definitions / D. Fredholm, 1994. - 80 p. - Текст : непосредственный. Богомолов А.М. Автоматные модели и рекурсивный конструктивизм / А. М. Богомолов, А. А. Сытник, В. А. Твердохлебов, 1992. - 75 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Sacks G.E. Higher recursion theory / G.E.Sacks, 1990. - XV,344 p. p. - Текст : непосредственный. Березин С.А. Алгоритмы и рекурсивные функции : Учеб. пособие для студентов фак. прикл. мат. / С.А.Березин,А.М.Ивлева, 1999. - 72 с. - Текст : непосредственный. Ганов В.А. Компьютерные версии вычислений с оракулами : учеб. пособие / В. А. Ганов, Р. В. Дегтерева, В. Р. Карымов, 2014. - 86 с. - Текст : непосредственный. Bellantoni S.J. Predicative recursion recursion and computational complexity / S.J.Bellantoni, 1992. - 164 p. - Текст : непосредственный. Гончаров С.С. Семейства с одноэлементной полурешеткой Роджерса / С.С.Гончаров,С.А.Бадаев, 1996. - 26 с. - Текст : непосредственный. Воротников С.М. Основы теории алгоритмов и рекурсивных функций : Учеб. пособие / С. М. Воротников, 2007. - 120 с. - Текст : непосредственный. Kapron B.M. Feasible computation in higher types : Diss. / B.M.Kapron, 1991. - 104,19 p. p. - Текст : непосредственный. Соар Р.И. Вычислимо перечислимые множества и степени. Изучение вычислимых функций и вычислимо перечислимых множеств / Р.И.Соар;Пер.с англ.под ред.М.М.Арсланова, 2000. - 576 с. - Текст : непосредственный. Корольков Ю.Д. Вычислимые семейства общерекурсивных функций : Учеб. пособие / Ю.Д.Корольков, 1992. - 70 с. - Текст : непосредственный. 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. - Текст : непосредственный. Ганов В.А. Общая теория вычислений с оракулами / В.А.Ганов,Н.В.Белякин, 1989. - 136 с. - Текст : непосредственный. Показать все результаты Дегтев А.Н. Рекурсивно перечислимые множества и сводимости табличного типа / А. Н. Дегтев, 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 с. - Текст (визуальный) : непосредственный. Заказать
Заказ фрагмента документа ₽
Приложение
для Android
