Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов

Konspekt lekciy po matematicheskoy logike: Uchebno-metodicheskoe posobie dlya studentov fiziko-matematicheskih fakultetov pedvuzov _ Eto konspekt kursa lekciy po matematicheskoy logike, chitaemogo avtorom v techenie ryada let na matematicheskom fakultete v Tobolskoy gosudarstvennoy socialno-pedagogicheskoy akademii im. D.I. Mendeleeva. Posobie prednaznacheno, v pervuyu ochered, dlya studentov fiziko-matematicheskih specialnostyay pedinstitutov. Matemati_cheskaya lo_gika (teoreticheskaya logika, simvolicheskaya logika) _ razdel matematiki, izuchayushiy matematicheskie oboznacheniya, formalnye sistemy, dokazuemost matematicheskih suzhdeniy, prirodu matematicheskogo dokazatelstva v celom, vychislimost i prochie aspekty osnovaniy matematiki. Posobie mozhet byt ispolzovano takzhe pri chtenii kursa matematicheskoy logiki dlya specialistov, svyazannyh s informatikoy. Posobie budet polezno vsem, kto interesuetsya matematikoy i problemami ee obosnovaniya.

Название: Конспект лекций по математической логике: Учебно-методическое пособие для студентов физико-математических факультетов педвузов
Автор: Валицкас А. И.
Издательство: Тобольск: ТГСПА им. Д.И. Менделеева
Год: 2010
Страниц: 186
Формат: DJVU