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

В качестве основной модели, посредством которой математическая логика исследует аксиоматические теории, выступает понятие формальной системы (которую называют также дедуктивной системой или формальной аксиоматической теорией). В этом пособии, которое предназначено для поддержки курса "Математическая логика и теория алгоритмов", содержатся лекционный материал по разделу "Формальные системы первого порядка". Дополнительно архив содержит книгу «Упражнения по основам математической логики». Упражнения выбраны как форма обучения студентов. Эти пособия рекомендованы для студентов математических факультетов педагогических вузов.

Издательство: РГПУ
Год: 1998
Страниц: 300
Формат: djvu
Язык: русский

 

Скачать книгу (35,8 МБ):