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

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

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

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

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

Название Введение в математическую логику
Автор Мендельсон Э.
Издательство Наука
Год 1971
Метки математика математическая логика
Размер 2.63 МБ
Рейтинг книги
8.65
(26)


10

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

ЧИТАТЬ ONLINE

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


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

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

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



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