Категория : Теория доказательств
Викискладе есть медиафайлы, связанные с теорией доказательств .
В математике теория доказательств — это изучение формализованных аргументов.
Подкатегории
Эта категория имеет следующие 6 подкатегорий из 6.
Страницы в категории «Теория доказательств»
Следующие 95 страниц относятся к этой категории из 95. Этот список может не отражать недавние изменения .
Б
С
Д
И
Ф
Г
Н
П
- Паранепротиворечивая математика
- Обозначение Пеано – Рассела
- Арифметика Пресбургера
- Примитивный рекурсивный функционал
- Доказательство (истина)
- Исчисление доказательств
- Сжатие доказательства
- Доказательный майнинг
- Доказательственная сеть
- Процедура доказательства
- Теоретико-доказательная семантика
- Логика доказуемости
- Система чистого типа