Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6

Описание


Книга посвящена основаниям математики, проблемам вычислимости и доказуемости. Машины Тьюринга, рекурсивные функции, логика, теория моделей, неразрешимость и неаксиоматизируемость арифметики, десятая проблема Гильберта - вот круг вопросов, рассматриваемых в данной книге. Изложение отличается краткостью и прозрачностью. Значительное внимание уделяется мотивации результатов и прикладным аспектам. Классическая проблематика в значительной мере переосмыслена и представлена в удобном для восприятия виде. Теоремы Гёделя, например, доказываются в несколько строчек. Для студентов, преподавателей, инженеров и научных работников. Издание стереотипное.

Рейтинг издания


Нет оценки

Лекции по математике. Алгоритмы, логика, вычислимость. От Диофанта до Тьюринга и Гёделя. Том 6

Автор: 
Босс В.
Издатель: 
URSS
Серия: 
Лекции по математике В. Босса
Переплет: 
мягкая обложка
Страниц: 
208
Год издания: 
2019

Похожие издания:


Логика и логическая семантика. Выпуск №15

Вниманию читателей предлагается книга крупнейшего немецкого ученого, основоположника современной математической логики и выдающегося представителя философско-математической мысли Готтлоба Фреге (1848-1925), труды которог

Лекции по математике. Теория чисел. Том 14

Излагаются основы теории чисел (теория делимости, сравнения, вычеты, диофантовы уравнения).

Математическая логика и теория алгоритмов

Настоящее учебное пособие посвящено изложению математической логики и теории алгоритмов.

Логика и философия математики

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

Логика и философия математики

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

Математическая логика. Введение в математическую логику

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