Download for Windows Premium
Publicitate
existential quantification
экзистенциальная квантификация
Hence, just as in standard first-order logic, the existential quantification is true.
Следовательно, как и в стандартной логике первого порядка, эта экзистенциальная квантификация истинна.

Alte rezultate

The theory is a second-order typed lambda calculus similar to System F, but with existential instead of universal quantification.
Теория представляет собой типизированное лямбда-исчисление второго порядка, аналогичное Системе F, но с экзистенциальной квантификацией вместо универсальной.
Nici un rezultat pentru acest sens.

Sinonime și analogii pentru "existential quantification" în limba Română

Cuvântul și expresia zilei
Imaginea zilei
patty: small flat cake of minced food
Află cuvântul
Publicitate

Rezultate: 2. Exacte: 1. Timp de răspuns: 15 ms.