Математическая логика
Эдельман С. Л.
Учебное пособие соответствует программе курса ''Математическая логика'' для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Предназначается для студентов пединститутов.
الفئات:
عام:
1975
الناشر:
Высшая школа
اللغة:
russian
الصفحات:
176
ملف:
DJVU, 1.48 MB
IPFS:
,
russian, 1975