|
|
libcats.org
Введение в математическую логикуМендельсон Э.В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Мезомасштабная организация и эволюция систем осадков на юге Бразилии(Автореферат)Автор: Ленская О.Ю.Категория: Диссертации авторефераты
Размер книги: 870 Kb
'Аненэрбе. ''Наследие предков''. Секретный проект Гитлера''Автор: Ганс-Ульрих фон Кранц
Размер книги: 677 Kb
Central Regulation of Autonomic FunctionsАвтор: Arthur D. Loewy, Автор: K. Michael Spyer
Размер книги: 39.32 Mb
C++ for Mathematicians: An Introduction for Students and ProfessionalsАвтор: Edward Scheinerman
Размер книги: 31.06 Mb
Spirit of the Delta: The Art of Carolyn NorrisАвтор: Dorothy Sample Shawhan, Автор: Patti Carr Black, Автор: Carolyn Norris, Автор: Tom Rankin, Автор: Kim Rushing
Размер книги: 27.99 Mb
|
|
|