→ Пошук по сайту       Увійти / Зареєструватися

ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ

Предметна область:  Штучний інтелект

ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ — Вывод утверждения в логическом исчислении, который обеспечивает явное построение всех элементов, участвующих в выводе. Таковым не является, например, широко распространенный способ доказательства "от противного", используемый в классической математике.

Близькі поняття: [Приховати / показати]

Контент, у якому йде мова про ДОКАЗАТЕЛЬСТВО КОНСТРУКТИВНОЕ

Якщо вас цікавить...

загрузка...