Категорія:Математична логіка
Матеріал з Вікіпедії — вільної енциклопедії.
Математична логіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти.
Головна стаття:Математична логіка
Статті в категорії "Математична логіка"
Категорія містить 12 статей
АБВГ |
Г прод.МНПР |
СФ |