Основания математики. Математическая логика

Решение задач математической логики с использованием элементарной алгебры, С. И. Коваленко

Скачать книгу "Решение задач математической логики с использованием элементарной алгебры, С. И. Коваленко"
Страниц: 80
Год издания: 2004
Язык: Русский
Обоснована и на примерах показана возможность решения широкого круга задач алгебры логики и алгебры множеств с использованием выражений обычной классической алгебры с учетом многозначности и вероятнос ...

Сложностный метод теории алгоритмов, В. А. Шурыгин

Скачать книгу "Сложностный метод теории алгоритмов, В. А. Шурыгин"
Страниц: 200
Год издания: 2009
Язык: Русский
Направление в теории алгоритмов, в котором размеры программ, задающих алгоритмы, используются как средство исследования алгоритмических проблем, было основано А.А.Марковым в начале 60-х годов XX в. Сл ...

Введение в метаматематику, С. К. Клини

Скачать книгу "Введение в метаматематику, С. К. Клини"
Страниц: 526
Год издания: 2009
Язык: Русский
Настоящая книга, написанная выдающимся американским математиком Стивеном Клини, является одной из самых обширных из имеющихся монографий по математической логике и теории рекурсивных функций. Этот фун ...

Логика абстракций. Методологический анализ. Часть 2, М. М. Новоселов

Скачать книгу "Логика абстракций. Методологический анализ. Часть 2, М. М. Новоселов"
Страниц:
Год издания: 2003
Язык: Русский
Монография является продолжением части 1-й под таким же названием (ИФРАН, 2000 г.). Сохраняя тему интервального анализа абстракций, как в прикладной, так и в теоретической области познания, автор пере ...

Парадоксы бесконечного

Скачать книгу "Парадоксы бесконечного"
Страниц: 368
Год издания: 2000
Язык: Русский
"Ни одна проблема не волновала так глубоко человеческий дух, как проблема бесконечного; ни одна идея не влияла на разум так возбуждающе и плодотворно, как идея бесконечности; но, однако, ни одно понят ...