Домашня
Випадкова
Поблизу
Увійти
Налаштування
Пожертвувати
Про Вікіпедію
Відмова від відповідальності
Знайти
Категорія
:
Теорія доведення
Мова
Спостерігати
Редагувати
Основна стаття для цієї категорії:
Теорія доведення
.
Підкатегорії
Показано 2 підкатегорії з 2.
М
Математична індукція
(1 К, 3 С)
П
Правила висновування
(11 С)
Сторінки в категорії «Теорія доведення»
Показано 22 сторінки цієї категорії (із 22).
Теорія доведення
А
Алгоритмічно нерозв'язна задача
Арифметика Пресбургера
В
Відповідність Каррі — Говарда
М
Математична індукція
Математичний софізм
Метамова
Н
Незалежність системи аксіом
П
Повнота (логіка)
Правило резолюцій
Правильність
Припущення
Програма Гільберта
С
Спростування
Т
Теорема Геделя про повноту
Теорема Ербрана
Теорема про дедукцію
Теореми Геделя про неповноту
Теоретико-доказова семантика
Ф
Формальне доведення
Ч
Числення секвенцій
Чиста система типів