Приложение
для AndroidПолное описание
Murawski, R. Funkcje rekurencyjne i elementy metamatematyki: Problemy zupelnosci rozstrzygalnosci, twierdzenia Godla / R.Murawski. - Pozna@Wn : [s. n.], 1990. - 186 s. : il. - (Prace. Ser., Matematyka / Uniw.im.A.Mickiewicza, ISSN 0551-6625 ; n11). - ISBN 83-232-0355-5 : 2.00 р. - Текст : непосредственный.
Рез. англ. Библиогр.: с.175-179
| ГРНТИ | УДК | |
| 27.03 | 510 |
Рубрики:
Рекурсия
Кл.слова (ненормированные): рекурсия
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Gnilka S. Extended topologies and relational systems / S.Gnilka, 1992. - 87 p. - Текст : непосредственный.Sesja naukowa z okazji 75 powstania Uniwersytetu w Poznaniu : 15-16 wrzesnia 1994 / Poznanska szkola matematyczna.Sesja naukowa (1994) , 1995. - 120 s. - Текст : непосредственный.Dwa paradygmaty matematyki : Studium z dziejow i filozofii matematyki / сост.ed. T. Batog, 1996. - 103 p. - Текст : непосредственный.Serta mathematica Andreae Alexiewicz : Ses. nauk. poswiecona pamieci prof. Andrzeja Alexiewicza / сост.red. L. Drewnowski, сост.red. Z. Palka, 1996. - 166 s. - Текст : непосредственный.Murawski R. Funkcje rekurencyjne i elementy metamatematyki: Problemy zupelnosci rozstrzygalnosci, twierdzenia Godla / R.Murawski, 1990. - 186 s. - Текст : непосредственный.
Ахтямов Р.Б. Сложностные свойства индексных множеств : Автореферат диссертации на соискание ученой степени канд.физ-мат.наук:01.01.06 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Хисамиев Н.Г. Конструктивные абелевы группы : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Н. Г. Хисамиев, 1990. - 24 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.
Показать все результаты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 / Р. Б. Ахтямов, 1991. - 16 с. - Текст : непосредственный.Федоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Заурбеков С.С. Оценки алгоритмической сложности некоторых семантических классов предложений : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. С. Заурбеков, 1991. - 10 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Морозов А.С. Группы вычислительных автоморфизмов : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. С. Морозов, 1990. - 15 с. - Текст : непосредственный.Вайценавичюс Р.Ю. Главные нумерации вычислимых функционалов на допустимых множествах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Р. Ю. Вайценавичюс, 1991. - 11 с. - Текст : непосредственный.Кожевникова Г.П. Методы сборочно-конкретизирующего анализа вычислительной сложности алгоритмов и их приложения : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.11 / Г. П. Кожевникова, 1991. - 33 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Белякин Н.В. Теория вычислений с оракулами и рекурсивных иерархий : Автореферат диссертации на соискание ученой степени д-ра физ-мат.наук:01.01.06 / Н. В. Белякин, 1992. - 23 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Чашкин А.В. О сложности булевых матриц : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.09 / А. В. Чашкин, 1994. - 12 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽