Главная Регистрация Вход

Для работы в проекте нужно Зарегистрироваться или Войти.

Теперь вы можете получать деньги, добавляя книги на наш сайт. Подробнее об этом читайте здесь.

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

Мендельсон Э.

Название Введение в математическую логику
Автор Мендельсон Э.
Издательство Наука
Год 1971
Метки математика математическая логика
Размер 2.63 МБ
Рейтинг книги • ваша оценка: 8/10
8.36
(28)


10

СКАЧАТЬ КНИГУ

ЧИТАТЬ ONLINE

БУМАЖНАЯ ВЕРСИЯ КНИГИ


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

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

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



Популярные книги раздела
Задачи по теории множеств, математической логике и теории алгоритмов
Лавров И.А., Максимова Л.Л.
Введение в математическую логику
Мендельсон Э.
Чтобы оставить отзыв от имени, Зарегистрируйтесь или войдите на сайт.