constructive logic angličtina

Význam constructive logic význam

Co v angličtině znamená constructive logic?

constructive logic podstatné jméno

— (logic) 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.

Doporučujeme

Patnáct vět anglickyV restauraci | In the restaurantTyhle anglické věty vám pomůžou domluvit se s obsluhou restaurace.Naučit se 15vet.cz »

Možná hledáte...

constructive | logic