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Злічувані та незлічувані іменники — Бо воно може бути незлічуваним