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

Материал из Википедии — свободной энциклопедии

Перейти к: навигация, поиск

УДК: 510.6

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

Подкатегории

В этой категории отображается 13 подкатегории из имеющихся 13.

[×] Незавершённые статьи по математической логике‎ (9: 9 с.)

Б

► Булева алгебра‎ (43: 1 кат., 42 с.)

Л

[×] Логика высказываний‎ (7: 7 с.)

М

[×] Математическая индукция и её обобщения‎ (3: 3 с.)

Н

[×] Нечёткая логика‎ (15: 15 с.)

П

[×] Персоналии:Математическая логика‎ (5: 5 с.)

Р

► Рекурсия‎ (12: 1 кат., 11 с.)

С

► Свойства операций‎ (11: 1 кат., 10 с.)

Т

► Теоремы математической логики‎ (15: 1 кат., 14 с.)
► Теория алгоритмов‎ (64: 9 кат., 55 с.)

Т (продолжение)

[×] Теория доказательств‎ (6: 6 с.)
► Теория множеств‎ (94: 11 кат., 83 с.)
[×] Теория типов‎ (23: 23 с.)

Страницы в категории «Математическая логика»

Показано 139 страниц из 139, находящихся в данной категории.

*

A

Agda

R

R-функция

T

T-норма

А

Б

В

Вычислимое число

Г

Д

Е

Единственность

З

И

К

К (продолжение)

Л

М

Н

О

П

Р

С

Т

Ф

Э

Источник — «https://ru.wikipedia.org/w/index.php?title=Категория:Математическая_логика&oldid=64203901»

Категории: