Категорія:Математична логіка
Матеріал з Вікіпедії — вільної енциклопедії.
Математична логіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти.
-
Основна стаття для цієї категорії: Математична логіка.
УДК 546
Підкатегорії
Показані 7 підкатегорій із 7.
АБЛ |
ТФ |
Ф прод. |
Сторінки в категорії «Математична логіка»
Показані 48 сторінок цієї категорії з 48.
