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

Описание

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

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

Нет оценки

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

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

Интернет-магазины

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

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

Купить

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


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

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

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

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

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

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

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

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

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

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

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

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