x-uni.com
регистрация / вход
сейчас на линии 36 чел.
x-uni.com
x-uni.com
 
Математика
Биология
Литература
Русский язык
ВИДЕО
Физика
Химия
История
Английский
 
ВИДЕО
 
 
регистрация / вход
сейчас на линии 36 чел.
Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982

Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982

Справочная книга по математической логике, Часть 3, Теория рекурсии, Барвайс Д., 1982.

   Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.

     
     Понятие алгоритма становится в настоящее время одним из важнейших понятий как теоретической, так и прикладной математики. Это связано в первую очередь с современным развитием электронной вычислительной техники и необходимостью создания мощного математического обеспечения для этой техники. Немаловажными являются и связи теории алгоритмов с математической логикой и основаниями математики; точное математическое определение понятия алгоритма впервые было найдено в рамках формальных систем математической логики. Теория рекурсии - так называется этот третий том «Справочной книги по математической логике» - составляет теоретическую основу современного учения об алгоритмах.
 
    Первая вводная глава этого тома, написанная Эндертоном, довольно подробно и мотивированно знакомит читателя с тем разделом теории алгоритмов, который теперь называется «классической» теорией рекурсии.

СОДЕРЖАНИЕ
Введение
§1. Неформальная вычислимость
§2. Машины Тьюринга
§3. Тезис Чёрча
§4. Универсальные машины и нормальная форма
§5. Оракулы и функционалы
§6. Рекурсивная перечислимость
§7. Логика и теория рекурсии
§8. Степени неразрешимости
§9. Креативные и меньшие множества
§10. Определимость и рекурсия
§11. Рекурсивные аналоги классических объектов Литература

Скачать бесплатно на сайте fileskachat.com

Предложения интернет-магазинов

Математика. Теория вероятностей и дискретная математика: Элементы теории, решение задач

Автор(ы): Баюк Олег Александрович, Маркарян Елена Георгиевна   Издательство: Просвещение, 2013 г.  Серия: Сложные темы ЕГЭ

Цена: 333 руб.   Купить

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


Математика для гуманитариев: задачи и решения

Автор(ы): Просветов Георгий Иванович   Издательство: Альфа-Пресс, 2008 г.

Цена: 215 руб.   Купить

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


Математика. 1 класс. Тетрадь. В 2-х частях. Часть 1. ФГОС

Автор(ы): Истомина Наталия Борисовна, Редько Зоя Борисовна   Издательство: Ассоциация 21 век, 2015 г.  Серия: Математика

Цена: 209 руб.   Купить

Тетрадь на печатной основе содержит материал, который поможет учителю организовать самостоятельную работу учащихся на уроке. Структура тетради соответствует логике построения содержания учебника "Математика, 1 класс", часть 1 (автор Н. Б. Истомина). 15-е издание, исправленное.


Математика. 1 класс. Тетрадь. В 2-х частях. Часть 2. ФГОС

Автор(ы): Истомина Наталия Борисовна, Редько Зоя Борисовна   Издательство: Ассоциация 21 век, 2015 г.  Серия: Математика

Цена: 206 руб.   Купить

Тетрадь на печатной основе содержит материал, который поможет учителю организовать самостоятельную работу учащихся на уроке. Структура тетради соответствует логике построения содержания учебника "Математика. 1 класс", часть 2 (автор Н.Б. Истомина). 15-е издание, исправленное.

ПЕДСОВЕТ / ФОРУМ

Новости образования

Новости науки

флаг италииX-UNI рекомендует репетитора итальянского языка: yuliyavenezia (Скайп).

Репетитор по Скайпу без посредников

Неограниченная аудитория, свободный график. Начните свой бизнес здесь!