Наукова бібліотека

08.02.2001 -- М. : Наука

Книга
Наукове видання
Шифр:517
Авторський знак:М50
Мова:rus
Відомості про відповідальність : Пер. с англ. Ф.А. Кабакова; Под ред. С.И. Адяна
Відомості про видання : Изд. 2-е, испр.
Перекладач : Кабаков Ф. А.
Мова оригіналу : eng
В книге дается изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная логика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Изложение материала в книге ясное и локаничное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Переводч ик иредактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона м ожно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.

Дата внесення : 08.02.2001     Переглядів: 0     Популярність: 0%