quantificatore w Słowniku włoskim Oxford-Paravia

Tłumaczenia dla hasła quantificatore w włoski»angielski słowniku

quantificatore [kwantifikaˈtore] RZ. r.m.

quantificatore

quantifier

Tłumaczenia dla hasła quantificatore w angielski»włoski słowniku

Inne tłumaczenia i typowe zwroty z wyszukiwanym słowem

quantifier JĘZ., FIL.

quantificatore r.m.

quantificatore w słowniku PONS

Tłumaczenia dla hasła quantificatore w włoski»angielski słowniku

quantificatore (-trice) [kuan·ti·fi·ka·ˈto:·re] RZ. r.m. (r.ż.)

quantificatore (-trice)

quantifier

Przykłady jednojęzyczne (niezredagowane i niesprawdzone przez PONS)

włoski

Una variabile all'interno di una formula si dice libera se non compare in nessuna sottoformula preceduta da un quantificatore associato a tale variabile.

it.wikipedia.org

La tipizzazione dipendente consente ai Σ-tipi di svolgere il ruolo di quantificatore esistenziale.

it.wikipedia.org

Il sillogismo è in generale un concetto più ampio che si serve anche del quantificatore esistenziale e operatore di negazione.

it.wikipedia.org

Se (tutte le occorrenze di) tutte le variabili hanno un quantificatore, la fbf si dice chiusa.

it.wikipedia.org

A questi si aggiunge un caso particolare del quantificatore esistenziale, che è il quantificatore unico ∃!

it.wikipedia.org

Nella logica matematica esiste il quantificatore esistenziale (il cui simbolo è ∃).

it.wikipedia.org

Il quantificatore esistenziale è rappresentato dall'operatore ->exists.

it.wikipedia.org

I concetti di "fissato arbitrariamente" e "si riesce a trovare" sono espressi formalmente, rispettivamente, con i quantificatori "per ogni" (quantificatore universale) ed "esiste" (quantificatore esistenziale).

it.wikipedia.org

Il quantificatore di tale espressione è ∃!

it.wikipedia.org

Si dice vincolata (ad un quantificatore) se ogni volta che la troviamo nella formula, compare col quantificatore esistenziale o universale.

it.wikipedia.org