Лекции по математической логике и теории алгоритмов. Часть 1
Гордон Е.И.
Настоящее учебное пособие представляет собой почти точную запись лекций по первой части курса ''Теория алгоритмов и математическая логика'', который автор читает для студентов 3-его курса механико-математического факультета, обучающихся по специальности ''Математика''. Пособие содержит следующие разделы: введение в логику, язык логики предикатов и его интерпретации, исчисление предикатов и формальные теории
Категории:
Година:
1998
Издателство:
ННГУ им. Н.И. Лобачевского
Език:
russian
Страници:
86
Файл:
PDF, 534 KB
IPFS:
,
russian, 1998