Лекции по математической логике и теории алгоритмов. Часть 1
Гордон Е.И.
Настоящее учебное пособие представляет собой почти точную запись лекций по первой части курса ''Теория алгоритмов и математическая логика'', который автор читает для студентов 3-его курса механико-математического факультета, обучающихся по специальности ''Математика''. Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории
سب زمرہ:
سال:
1998
ناشر کتب:
ННГУ им. Н.И. Лобачевского
زبان:
russian
صفحات:
86
فائل:
PDF, 534 KB
IPFS:
,
russian, 1998