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

Код товара 3574521
Издательство Ёё Медиа
Год выпуска2012
ISBN978-5-458-30833-5
Вес 15 г
Оформлениемягкая обложка
Кол-во страниц 320
Размер 21x14,8x1,7 см

Наличие в е-магазине

временно отсутствует
нет в наличии
Цена в розничном магазине
нет в наличии
Эта книга — репринт оригинального издания (издательство "Наука", 1971 год), созданный на основе электронной копии высокого разрешения, которую очистили и обработали вручную, сохранив структуру и орфографию оригинального издания. Редкие, забытые и малоизвестные книги, изданные с петровских времен до наших дней, вновь доступны в виде печатных книг.

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



Рецензии и отзывы на книгу "Введение в математическую логику"

Ваш отзыв будет первым