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

Описание


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

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


Нет оценки

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

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

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


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

Широкое использование математической логики в области математических машин и в других областях математики и техники приводит ко все возрастающему интересу к математической логике как среди математиков, так и среди лиц пр

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

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

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

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

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

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

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

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

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

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