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

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

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

Похожие разделы

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

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

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

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

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

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

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

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

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

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

Громкович Ю. Теоретическая информатика. Введение в теорию автоматов, теорию вычислимости, теорию сложности, теорию алгоритмов, рандомизацию, теорию связи и криптографию

формат pdf
размер 2.09 МБ
добавлен 30 марта 2010 г.

Пер. с нем. / Под ред. Б. Ф. Мельникова. - 3-е изд. - СПб.: БХВ-Петербург, 2010. - 336с (Учебная литература для вузов) Изложены основные понятия теоретической информатики: алфавиты, слова, языки, алгоритмические проблемы, конечные автоматы, машины Тьюринга. Рассматриваются теория вычислимости, теория сложности, алгоритмизация труднорешаемых задач, рандомизация, теория связи и криптографические методы. Книга известного ученого вышла на 4-х языках...

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

Статья

формат 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 как способ определения теоретико-числовых функций Рекурсивные функции и отношения Возвратная рекурсия Одновременная рекурсия Рекурсия, при которой производится подстановка некоторой функции на место параметра Рекурсия по многим переменным Дальнейшие упрощения Элементарные функции Пример т...

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

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

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

Шпоры

Шпаргалка

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

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