Математическая логика
Эдельман С. Л.
Учебное пособие соответствует программе курса ''Математическая логика'' для пединститутов. Рассматривается теория алгебры высказываний, алгебры предикатов, исчисления высказываний и предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов. Включены задачи и упражнения по каждому из разделов. Предназначается для студентов пединститутов.
カテゴリー:
年:
1975
出版社:
Высшая школа
言語:
russian
ページ:
176
ファイル:
DJVU, 1.48 MB
IPFS:
,
russian, 1975