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

28.03.1981 -- М. : Наука. Гл. ред. физ.-мат. лит.

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

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