Лекции по математической логике и теории алгоритмов. Часть 1
Гордон Е.И.
Настоящее учебное пособие представляет собой почти точную запись лекций по первой части курса ''Теория алгоритмов и математическая логика'', который автор читает для студентов 3-его курса механико-математического факультета, обучающихся по специальности ''Математика''. Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории
หมวดหมู่:
ปี:
1998
สำนักพิมพ์:
ННГУ им. Н.И. Лобачевского
ภาษา:
russian
จำนวนหน้า:
86
ไฟล์:
PDF, 534 KB
IPFS:
,
russian, 1998