|
-
Ключові слова:
математична логіка, математическая логика ; логіка, логика, logika, logic ; алгебра логіки, алгебра логики ; формалізована мова ; логічна операція ; теорія доведень
-
Анотація:
Математична логіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов.
розділ: математичні доведення, основи математики
-
Є складовою частиною документа:
-
Теми документа
-
ББК // Алгоритми математичні
| 