Математическая логика
Эдельман С. Л.
Учебное пособие соответствует программе курса ''Математическая логика'' для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Предназначается для студентов пединститутов.
Catégories:
Année:
1975
Editeur::
Высшая школа
Langue:
russian
Pages:
176
Fichier:
DJVU, 1.48 MB
IPFS:
,
russian, 1975