Математическая логика
Эдельман С. Л.
Учебное пособие соответствует программе курса ''Математическая логика'' для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Предназначается для студентов пединститутов.
श्रेणियाँ:
साल:
1975
प्रकाशन:
Высшая школа
भाषा:
russian
पृष्ठ:
176
फ़ाइल:
DJVU, 1.48 MB
IPFS:
,
russian, 1975