Вводный курс математической логики Успенский, Верещагин, Плиско

Автор: Успенский Владимир Андреевич, Верещагин Николай Константинович, Плиско Валерий Егорович
Редактор: Легостаева И. Л.
Издательство: Физматлит, 2007 г.
Жанр: Логика

• Научный редактор: Денежкин Порфир Русланович
• Верстка: Осечков Илья Ильясович
• Корректор: Мигаленя Семён Станиславович
• Страниц: 333
• Формат: txt, fb2, pdf

О книге "Вводный курс математической логики"
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.
2-е издание. Читать онлайн бесплатно Вводный курс математической логики Успенский, Верещагин, Плиско.