Михайлов А.Б., Швецкий М.В. Лекции по основам математической логики. Формальные системы первого порядка

• Файл формата pdf
• размером 13,53 МБ

• Добавлен пользователем Anatol 03.02.2017 20:40
• Описание отредактировано 04.02.2017 01:36

Санкт-Петербург: РГПУ им.А.И.Герцена. 1998. — 172 с.

Пособие предназначено для поддержки курса "Математическая логика и теория алгоритмов". Содержит лекционный материал по разделу "Формальные системы первого порядка". Для студентов математических факультетов педагогических вузов.