Лекции по математической логике и теории алгоритмов. Часть 1
Гордон Е.И.
Настоящее учебное пособие представляет собой почти точную запись лекций по первой части курса ''Теория алгоритмов и математическая логика'', который автор читает для студентов 3-его курса механико-математического факультета, обучающихся по специальности ''Математика''. Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории
ক্যাটাগোরিগুলো:
সাল:
1998
প্রকাশক:
ННГУ им. Н.И. Лобачевского
ভাষা:
russian
পৃষ্ঠা:
86
ফাইল:
PDF, 534 KB
IPFS:
,
russian, 1998