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

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

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

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

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

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


10

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

ЧИТАТЬ ONLINE

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


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

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

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



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