Математическая логика. Дополнительные главы

Описание

Авторы настоящей книги - А.Н. Колмогоров и А.Г. Драгалин - выдающиеся отечественные математики, оказавшие глубокое влияние на стиль и направление мировых исследований по логике и философии математики. Их учебник \"Математическая логика: Дополнительные главы\" написан на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М.В. Ломоносова. Изложение фундаментальных фактов современной логики (начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

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

Нет оценки

Математическая логика. Дополнительные главы

Автор: 
Колмогоров А.Н.
Издатель: 
URSS
Серия: 
Классический университетский учебник
Переплет: 
твердый переплет
Страниц: 
240
Год издания: 
2020
Категория: 
Математическая логика: учебники и книги

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

Математическая логика. Дополнительные главы

Купить

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


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

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

Метод математики. Логика и гносеология математических знаний

Метод математики. Логика и гносеология математических знаний
Вниманию читателей предлагается книга русского математика и философа И.Д. Менделеева (1883-1936), в которой подробно рассматривается метод математики как простейший и типичный познавательный метод науки.

Математика и логика

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

Введение в метаматематику. Математическая логика и рекурсивные функции

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

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

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

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

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