Категория : Теория доказательств
![](http://upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/30px-Commons-logo.svg.png)
Викискладе есть медиафайлы, связанные с теорией доказательств .
В математике — теория доказательств это изучение формализованных аргументов.
Подкатегории
Эта категория имеет следующие 6 подкатегорий из 6.
Страницы в категории «Теория доказательств»
Следующие 95 страниц относятся к этой категории из 95. Этот список может не отражать последние изменения .
Б
С
Д
И
Ф
г
Н
п
- Паранепротиворечивая математика
- Обозначение Пеано – Рассела
- Арифметика Пресбургера
- Примитивный рекурсивный функционал
- Доказательство (истина)
- Исчисление доказательств
- Сжатие доказательства
- Доказательный майнинг
- Доказательственная сеть
- Процедура доказательства
- Теоретико-доказательная семантика
- Логика доказуемости
- Система чистого типа