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

Вычислимость. Введение в теорию рекурсивных функций КНИГИ » ЕСТЕСТВЕННЫЕ НАУКИ

Автор: Катленд Н.
Название: Вычислимость. Введение в теорию рекурсивных функций
Издательство: М.: Мир
Год: 1983
Язык: Русский, пер. с англ.
Формат: pdf, djvu
Размер: 13,9 mb
Страниц: 256 с., ил.

Предлагаемая читателю книга известного английского математика представляет собой элементарное введение в область, служащую теоретической основой программирования и различных приложений теории алгоритмов в математике и логике, теории формальных языков, информационных системах и системах управления, биологии и других науках.

При небольшом объеме автор сумел охватить обширный материал, представив в наглядном виде даже весьма нетривиальные результаты (например, теорему Блюма об ускорении). Наряду с собственно теорией рекурсивных функций излагаются ее основные приложения в формальной арифметике (теорема Гёделя о неполноте) и в математической логике (теорема Чёрча о неразрешимости узкого исчисления предикатов).

Книга рассчитана на широкий круг читателей, включая старшеклассников, интересующихся перечисленными областями. Формально для ее чтения не требуется специальной подготовки, необходимые сведения из теории множеств и математической логики приводятся во введении и основном тексте.

Uploaded || Deposit

НЕ РАБОТАЕТ TURBOBIT.NET? ЕСТЬ РЕШЕНИЕ, ЖМИ СЮДА!

Автор: daromir 11-06-2018, 09:27 | Напечатать |

Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.

С этой публикацией часто скачивают:

Теория рекурсивных функций и эффективная вычислимость Название: Теория рекурсивных функций и эффективная вычислимость Автор: Роджерс Х. Издательство: М.: Мир Год: 1972 Cтраниц: 624 Формат: pdf Размер:...

Курс лекций по математической логике и теории алгоритмов Название: Курс лекций по математической логике и теории алгоритмов Автор: Алиев Ф.К., Юров И.А. Издательство: М.: МИФИ Год: 2003 Формат: pdf Страниц:...

Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...

Введение в классическую теорию абелевых функций Название: Введение в классическую теорию абелевых функций Автор: Маркушевич А.И. Издательство: М.: Наука. Главная редакция физико-математической...

Вводный курс математической логики (2007) Название: Вводный курс математической логики Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е. Издательство: Физматлит Год: 2007 Страниц: 125 ISBN:...

Теория алгоритмов (2009) Название: Теория алгоритмов Автор: Крупский В.Н., Плиско В.Е. Издательство: Академия Год: 2009 Страниц: 208 ISBN: 978-5-7695-5293-9 Формат: PDF...

Теория рекурсии для программистов Название: Теория рекурсии для программистов Автор: Василий Головешкин, Михаил Ульянов Издательство: ФИЗМАТЛИТ Год: 2006 ISBN: 5-9221-0721-6 Формат:...

Введение в метаматематику Название: Введение в метаматематику Автор: Клини С.К. Издательство: Изд-во иностранной лит-ры Год издания: 1957 Страниц: 524 Язык: Русский Формат:...

Лекции по математической логике и теории алгоритмов. В 3 частях Название: Лекции по математической логике и теории алгоритмов. В 3 частях Автор: Н.К. Верещагин, А. Шень Издательство: МЦНМО (Москва) Год: 1999, 2000...

Вводный курс математической логики (2004) Название: Вводный курс математической логики Автор: Успенский В.А., Верещагин Н.К., Плиско В.Е. Издательство: М.: Физматлит Год: 2004 Страниц: 128...

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.