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

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

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

Основний елемент категорії — Математична логіка.
УДК: 546

Підкатегорії

Показано 16 підкатегорій із 16.

А

Б

К

О

Р

Т

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

Показано 118 сторінок цієї категорії (із 118).