Э. Мендельсон | Введение в математическую логику (1976) [PDF] Автор: Э. Мендельсон Перевод: Ф. А. Кабакова Издательство: "НАУКА" Жанр: Математика
Формат: PDF Качество: Необработанный скан Иллюстрации: Черно-белые
Описание: В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.
Во втором издании книги исправлены опечатки и отдельные погрешности, замеченные после выхода в свет первого издания.
Скриншоты:
Время раздачи: с 9:30 до 20:00 (минимум до появления первых 3-5 скачавших)
[NNMClub.to]_YE. Mendel'son - Vvedenie v matematicheskuyu logiku - 1976.pdf.torrent