constructive logic
constructive logic · constructive logics
konstruktive Logik
Any kind of logic in which any proof of existence can be converted into an algorithm…Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.
Значение
значений: 1(исчисляемое, неисчисляемое)Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.
konstruktive Logik
Переводы
языков: 2Deutsch
По значениям 1
Translations:
Формы
мн. число: constructive logics| Ед. число | constructive logic |
|---|---|
| Мн. число | constructive logics |
правильный
Уроки к слову
уроков: 1- A1Исчисляемые и неисчисляемые существительные — Потому что оно может быть неисчисляемым