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

Описание

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

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

Нет оценки

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

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

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

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

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

Купить

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


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

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

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

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

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

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

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

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

Логика и философия математики. Избранное. Выпуск №23

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

Фрактальная логика

Фрактальная логика
Фрактальная геометрия оперирует парадоксальными геометрическими предметами, результаты измерения которых (длина, площадь, объем) устремляются к бесконечности.