|
-
Ключові слова:
математична логіка, математическая логика ; алгоритми, алгоритмы, algorithms
-
Анотація:
В учебном пособии рассматривается теория алгебры высказываний, алгебры предикатов. Изложение сопровождается рядом примеров, способствующих усвоению логики математических методов.
-
Теми документа
-
ББК // Основи математики. Математична логіка.
|
