Категорія:Математична логіка

Матеріал з Вікіпедії — вільної енциклопедії.

Математична логіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти.

Головна стаття:Математична логіка


Статті в категорії "Математична логіка"

Категорія містить 5 статей

А

Г

М

Ф