Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982
Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982.
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Понятие алгоритма становится в настоящее время одним из важнейших понятий как теоретической, так и прикладной математики. Это связано в первую очередь с современным развитием электронной вычислительной техники и необходимостью создания мощного математического обеспечения для этой техники. Немаловажными являются и связи теории алгоритмов с математической логикой и основаниями математики; точное математическое определение понятия алгоритма впервые было найдено в рамках формальных систем математической логики. Теория рекурсии - так называется этот третий том «Справочной книги по математической логике» - составляет теоретическую основу современного учения об алгоритмах.
Первая вводная глава этого тома, написанная Эндертоном, довольно подробно и мотивированно знакомит читателя с тем разделом теории алгоритмов, который теперь называется «классической» теорией рекурсии.
СОДЕРЖАНИЕ
Введение
§1. Неформальная вычислимость
§2. Машины Тьюринга
§3. Тезис Чёрча
§4. Универсальные машины и нормальная форма
§5. Оракулы и функционалы
§6. Рекурсивная перечислимость
§7. Логика и теория рекурсии
§8. Степени неразрешимости
§9. Креативные и меньшие множества
§10. Определимость и рекурсия
§11. Рекурсивные аналоги классических объектов Литература
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12801 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Кёлер М. - Чудо-торты
Поразительное многообразие тортов на любой вкус и случай! Для семейного торжества или просто чаепития нет ничего лучшего, чем сладкая выпечка, которую вы сможете приготовить из доступных ингредиентов . . .
-
Коктейли для детей
Книга "Коктейли для детей" - прекрасный подарок всем родителям, которые хотели бы порадовать ребятишек вкусными и забавно оформленными коктейлями. В ней собрано сто лучших рецептов коктейлей на любой . . .
-
Сборник кулинарных книг. Встречаем пасху, постный стол. (10 книг)
Название: Сборник кулинарных книг. Пасхальный, постный стол (10 книг)Автор: Каторина И.И., Лощенкова С.В., Алексеев Д.А., Денисов А.А., Марченко О.И., Иванова М.А.Издательство: Полигон, Аст, Аркаим, . . .
-
Целебные соки
Свежие натуральные соки, приготовленные в домашних условиях, не идут ни в какое сравнение с теми, что произведены промышленным способом. Они не только необычайно вкусны, но также полны витаминов и мин . . .
-
Вкусно и полезно. Кулинарное приложение к журналу "Домашний очаг" № 38-43 2011-2012
Название: Вкусно и полезно. Кулинарное приложение к журналу "Домашний очаг" № 38-43 2011-2012Издательство: Фэшн ПрессГод издания: 2011-2012Номер: № 38-43Язык: русскийCтраниц: 65-95 в каждом номереФорм . . .
-
Про кухню №3 (март 2012)
Про кухню - первое издание о кухне, как оазисе семейного уюта, рассчитанное на молодых энергичных женщин, качественное по исполнению и при этом чрезвычайно доступное по цене.В номере:- Масленица: сама . . .
-
Школа гастронома. Коллекция рецептов № 1-24 2007
Название: Школа гастронома. Коллекция рецептов № 1-24 2007Издательство: Бонниер ПабликейшензГод издания: 2007Номер: № 1-24 (полный годовой комплект номеров)Язык: русскийCтраниц: 36 в каждом номереФорм . . .
-
Теленеделя. Специальное приложение №75 (февраль 2012). Пост. Это легко
Название: Теленеделя. Специальное приложение. Пост. Это легкоНомер/дата выпуска: 75 (февраль 2012)Издательство: ИД «УМХ»Страниц: 34Язык: русскийФормат: PDF Качество: хорошееРазмер: 13,6 МбВ этом журн . . .
-
Вкусно и полезно. Кулинарное приложение к журналу "Домашний очаг" № 30,31,33-37 2009-2010
Название: Вкусно и полезно. Кулинарное приложение к журналу "Домашний очаг" № 30,31,33-37 2009-2010Издательство: Фэшн ПрессГод издания: 2009-2010Номер: № 30,31,33-37Язык: русскийCтраниц: 65-95 в каждо . . .
-
Кексы
Кто сказал, что нельзя готовить быстро и вкусно? Можно, если под рукой у вас эта серия. С ней каждый может стать кулинаром. Приготовление любого блюда расписано точно и подробно, шаг за шагом. Все рец . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.