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

Описание

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

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

Нет оценки

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

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

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

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

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

Купить

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


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

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

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

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

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

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

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

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

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

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

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

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