Введение в математическую логику
Автор:
Мендельсон Э., 320 стр., издатель:
"Книга по Требованию", ISBN:
978-5-458-30833-5
Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. В книге Э.Мендельсона "Введение в математическую логику" даётся доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих её приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств, отсутствующие в книге С.К. Клинин "Введение в математику", которая до настоящего времени служила наиболее полным пособием по математической логике. Следует однако отметить, что в отличие от книги С.К. Клинин в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логике. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Воспроизведено в оригинальной авторской орфографии издания 1971 года (издательство "Наука").
В наличии: |
|
My-shop.ru - 1953 руб.
|
Перейти
|
|
|
Рейтинг книги:



4 из 5,
1 голос(-ов).