Роджерс Х. Теория рекурсивных функций и эффективная вычислимость

формат djvu
размер 4.91 МБ
добавлен 22 октября 2011 г.

М.: Мир, 1972. - 624 с.
Книга содержит изложение современного состояния теории рекурсивных функций и обзор основных приложений этой теории. В ней прослежено развитие теории рекурсивных функций, начиная с ее зарождения в тридцатых годах и кончая результатами исследований самых последних лет.
Не предполагающая в основной своей части никаких предварительных знаний, кроме знакомства с теоретико-множественной терминологией, книга Роджерса написана хорошим, ясным языком; при этом формальному изложению предпосылаются содержательные рассуждения, разъясняющие природу вводимых понятий или идей построений и доказательств; в ней содержится очень много упражнений.
Книга рассчитана на читателей, интересующихся современными проблемами математической логики и теории алгоритмов. Она доступна аспирантам и студентам старших курсов университетов и пединститутов.

Смотрите также

Булос Дж., Джеффри Р. Вычислимость и логика

формат pdf
размер 17.48 МБ
добавлен 06 января 2010 г.

Дж. Булос, Р. Джеффри Вычислимость и логика Изд. "Мир"-М. , 1984. Счетность. Диагнолизация. Машины Тьюринга. Логика первого и второго порядка. Леммы Крейга. Теорема Рамсея.

Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Части 1,2,3

формат djvu
размер 1.48 МБ
добавлен 05 мая 2010 г.

М.: МЦНМО, 1999-2000. Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. Начала теории множеств. Множества и мощности. Упорядоченные множества. Языки и исчисления. Логика высказываний. Исчисление высказываний. Языки первого порядка. Исчисление предикатов. Теории и модели. Вычислимые функции. Вычислимость, разрешимость и перечислимость. Универсальные функции и неразрешимость. Нумерации...

Головешкин В.А., Ульянов М.В. Теория рекурсии

формат djvu
размер 7.81 МБ
добавлен 07 июня 2010 г.

Головешкин В. А., Ульянов М. В., Теория рекурсии - ФИЗМАТЛИТ, 2006. - 296с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области программирования. В ней рассматриваются основы теории рекурсии и ее использование в области разработки и анализа рекурсивных алгоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алгоритмов, разработанных на основе рекуррентных со...

Головешкин В.А., Ульянов М.В. Теория рекурсии для программистов

формат djvu
размер 7.44 МБ
добавлен 07 апреля 2010 г.

М.: ФИЗМАТЛИТ, 2006. 296 с. Книга является учебным пособием по теории рекурсии в аспекте ее применения в области проrраммирования. В ней рассматриваются основы теории рекурсии и ее использование в области разработки и анализа рекурсивных алrоритмов. Приводятся основные сведения о рекурсивных последовательностях и функциях, даны примеры рекурсивных алrоритмов, разработанных на основе рекуррентных соотношений, метода декомпозиции и метода динамичес...

Катленд Н. Вычислимость. Введение в теорию рекурсивных функций

формат djvu
размер 4.47 МБ
добавлен 30 октября 2010 г.

Перевод с англ. А. А. Мучника под ред. С. Ю. Маслова Книга известного английского математика, охватывающая основные вопросы теории вычислимых функций и ее приложений: сложность вычислений и алгоритмов, теоремы Гёделя о неполноте и Чёрча о неразрешимости, семантику языков программирования. Изложение замкнутое, методически продуманное, имеется много упражнений. Для математиков, специалистов по ЭВМ, желающих ознакомиться с теоретическими основами...

Лекции - Теория алгоритмов

Статья

формат pdf
размер 43.93 МБ
добавлен 04 февраля 2012 г.

Автор не известен. 136 с. Лекции в виде презентации. Содержание. - Алгоритмы в математике. Основные черты алгоритмов. Числовые функциии алгоритмы их вычисления. Примитивно рекурсивные функции. - Частично рекурсивные функции.Тезис Черча. - Машины Тьюринга и машины с неограниченными регистрами. Вычислимость частично рекурсивных функций на МНР. - Нумерации и универсальные функции. - Нормальные алгорифмы. - Алгоритмические проблемы в логике и матем...

Марченков С.С. Элементарные рекурсивные функции

формат djvu
размер 939.59 КБ
добавлен 31 октября 2010 г.

М.: МЦНМО, 2003. - 112 с. Книга написана на основе курсов лекций, которые автор читал на факультете Вычислительной математики и кибернетики МГУ. В книге собраны основное классы «элементарных» рекурсивных функций, изучаемые в теории алгоритмов. Приведены различные определения этих классов, установлены соотношения включения между ними. Получены разнообразные канонические представления элементарных функций, указаны эффективные операции, сохраняющие...

Машины Тьюринга. Часть 2

формат djvu
размер 780.9 КБ
добавлен 26 июля 2010 г.

Автор неизввестен. Сборник статей. Фрагмент книги, с. 213- 278. Выходных данных нет. Статьи: Шеннон. Клод Э. "Универсальная машина Тьюринга с двумя внутренними состояниями " Дэвис М. Д. "Замечание об универсальных машинах Тьюринга" Маккартни Дж. "Обращение функций, определяемых машинами Тьюринга" К. де Леу, Э. Ф. Мур, К. Э. Шеннон, Н. Шапиро "Вычислимость на вероятностных машинах"

Петер Р. Рекурсивные функции

формат djvu
размер 2.85 МБ
добавлен 07 января 2011 г.

Издательство Иностранной литературы, Москва 1954 год. Перевод с немецкого: В. А. Успенского Под редакцией и с предисловием А. Н. Колмогорова Переход от n к n+1 как способ определения теоретико-числовых функций Рекурсивные функции и отношения Возвратная рекурсия Одновременная рекурсия Рекурсия, при которой производится подстановка некоторой функции на место параметра Рекурсия по многим переменным Дальнейшие упрощения Элементарные функции Пример т...

Шпоры

Шпаргалка

формат htm
размер 150.58 КБ
добавлен 27 июня 2011 г.

Ответы на вопросы: Машина Тьюринга. Конструирование МТ. Вычислимые по Тьюрингу функции: ПРФ, ЧРФ. Правильная вычислимость. Уточнение понятия алгоритма через машину с неограниченными регистрами. нормальные алгоритмы Маркова. Вычислимые функции и разрешимые множества: вычислимость, разрешимость, перечислимость, множество n-ок нат чисел, диагональная конструкция, главные универсальные функции, универсальная ОРФ, перечислимое неразрешимое множество.r...