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

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

Математика

Автор: Мендельсон Э.

Язык: русский

Год: 1976

Добавил: Admin 1 Авг 20

Редактировал: Афанасий Дмитриев 3 Сен 20

Проверил: Admin 3 Сен 20

Формат: DJVU (5539 Kb)

Currently 0/5

Рейтинг: 0/5 (Всего голосов: 0)

Аннотация

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