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

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

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

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


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

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

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

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

*

P

T

Y

А

Б

В

Д

Е

З

З прод.

К

Л

М

Н

О

П

П прод.

Р

С

Т

Ф

Ч