Перейти до вмісту

Категорія:Теорія доведення

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

Основна стаття для цієї категорії: Теорія доведення .

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

Показано 2 підкатегорії з 2.

М

Математична індукція (1 К, 3 С)

П

Правила висновування (11 С)

Сторінки в категорії «Теорія доведення»

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

Теорія доведення

А

В

Відповідність Каррі — Говарда

М

Н

Незалежність системи аксіом

П

С

Спростування

Т

Ф

Формальне доведення

Ч

Отримано з https://uk.wikipedia.org/w/index.php?title=Категорія:Теорія_доведення&oldid=19363537

Категорії:

Прихована категорія:

Вікіпедія:Категорії, які мають основні статті