Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982
Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982.
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
Понятие алгоритма становится в настоящее время одним из важнейших понятий как теоретической, так и прикладной математики. Это связано в первую очередь с современным развитием электронной вычислительной техники и необходимостью создания мощного математического обеспечения для этой техники. Немаловажными являются и связи теории алгоритмов с математической логикой и основаниями математики; точное математическое определение понятия алгоритма впервые было найдено в рамках формальных систем математической логики. Теория рекурсии - так называется этот третий том «Справочной книги по математической логике» - составляет теоретическую основу современного учения об алгоритмах.
Первая вводная глава этого тома, написанная Эндертоном, довольно подробно и мотивированно знакомит читателя с тем разделом теории алгоритмов, который теперь называется «классической» теорией рекурсии.
СОДЕРЖАНИЕ
Введение
§1. Неформальная вычислимость
§2. Машины Тьюринга
§3. Тезис Чёрча
§4. Универсальные машины и нормальная форма
§5. Оракулы и функционалы
§6. Рекурсивная перечислимость
§7. Логика и теория рекурсии
§8. Степени неразрешимости
§9. Креативные и меньшие множества
§10. Определимость и рекурсия
§11. Рекурсивные аналоги классических объектов Литература
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12808 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Курс подготовки разведчика
Название: Курс подготовки разведчикаАвтор: Булочко К.Т.Издательство: ФАИРГод издания: 2006Язык: русскийCтраниц: 182Формат: PDFРазмер: 10 МБОписание: С иллюстрациями. В сборник вошли: книга К.Т.Булочко . . .
-
Теория сварочных процессов. Физические и технологические свойства сварочной дуги
В учебном пособии изложены физические и технологические свойства сварочных дуг. Показана связь технологических свойств дуги с её физическими свойствами. Рассмотрены пути управления технологическими св . . .
-
Основы военно-морского дела
Название: Основы военно-морского делаАвтор: Цидельников В.Ф.Издательство: ВоениздатГод издания: 1981Язык: русскийCтраниц: 203Формат: PDFРазмер: 89 МБОписание: С иллюстрациями. Учебник «Основы военно-м . . .
-
Борьба самбо. Методическое пособие (1968)
Название: Борьба самбо. Методическое пособиеАвтор: Гулевич Д.И., Звягинцев Г.Н.Издательство: ВоениздатГод издания: 1968Язык: русскийCтраниц: 176Формат: PDFРазмер: 19 МБОписание: С иллюстрациями. В пос . . .
-
Грибы
Название: ГрибыАвтор: Клан Я., Ванчура Б.Издательство: Прага: АртияГод издания: 1984Язык: русскийCтраниц: 224Формат: PDFРазмер: 26 МБОписание: Книга содержит общие сведения о грибах, описания 208 видо . . .
-
Луганцева Татьяна - Просто он работает волшебником
Стоматолог Белла Заречная красива, скромна, умна и… несчастна! Ей уже за тридцать, но никто еще не предложил ей руку и сердце. А Белла так воспитана, что просто не в состоянии заводить и менять любовн . . .
-
Три дня в Выборге с Сергеем Дроботенко (аудиокнига)
Автор:Сергей Дроботенко Название: Три дня в Выборге с Сергеем Дроботенко (аудиокнига)Издательство: РоссияГод: 2007Формат: МР3Размер: 168МВДлительность:90минКачество:256кбит/секИсполняет:Сергей Дроботе . . .
-
Объемная вышивка
Эта книга доставит вам удовольствие и познакомит с различными приемами работы в технике объемной вышивки. Объемная вышивка в наше время - это очень модный вид рукоделия. Ее свободная техника позволяе . . .
-
Александр Авраменко. Солдат удачи: Солдат удачи. Князь Терранский. Наследник. Властитель.
Кто лучшие солдаты во Вселенной? Земляне! Расы, неспособные убивать себе подобных, прибегают к услугам наемников, чтобы защититься от захватчиков. Алексей Медведев, обычный русский парень, получает за . . .
-
С. Самсонов - Учебник фотографа (2012)
Учебник фотографа - пособие для начинающих фотографов, однако и опытные фотографы, найдут для себя много полезной и нужной информации. Автор делится своими секретами, о которых Вы и не слышали, и дела . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.