Автор: Катленд Н. Название: Вычислимость. Введение в теорию рекурсивных функций Издательство: М.: Мир Год: 1983 Язык: Русский, пер. с англ. Формат: pdf, djvu Размер: 13,9 mb Страниц: 256 с., ил.
Предлагаемая читателю книга известного английского математика представляет собой элементарное введение в область, служащую теоретической основой программирования и различных приложений теории алгоритмов в математике и логике, теории формальных языков, информационных системах и системах управления, биологии и других науках.
При небольшом объеме автор сумел охватить обширный материал, представив в наглядном виде даже весьма нетривиальные результаты (например, теорему Блюма об ускорении). Наряду с собственно теорией рекурсивных функций излагаются ее основные приложения в формальной арифметике (теорема Гёделя о неполноте) и в математической логике (теорема Чёрча о неразрешимости узкого исчисления предикатов).
Книга рассчитана на широкий круг читателей, включая старшеклассников, интересующихся перечисленными областями. Формально для ее чтения не требуется специальной подготовки, необходимые сведения из теории множеств и математической логики приводятся во введении и основном тексте.
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...
Введение в классическую теорию абелевых функций Название: Введение в классическую теорию абелевых функций Автор: Маркушевич А.И. Издательство: М.: Наука. Главная редакция физико-математической...
Теория алгоритмов (2009) Название: Теория алгоритмов Автор: Крупский В.Н., Плиско В.Е. Издательство: Академия Год: 2009 Страниц: 208 ISBN: 978-5-7695-5293-9 Формат: PDF...
Теория рекурсии для программистов Название: Теория рекурсии для программистов Автор: Василий Головешкин, Михаил Ульянов Издательство: ФИЗМАТЛИТ Год: 2006 ISBN: 5-9221-0721-6 Формат:...
Введение в метаматематику Название: Введение в метаматематику Автор: Клини С.К. Издательство: Изд-во иностранной лит-ры Год издания: 1957 Страниц: 524 Язык: Русский Формат:...