Traducciones de „quantificatore“ en el diccionario italiano » alemán

quantificare [kuantifiˈkaːre] V. trans

quantificare

quantifizieren

quantificazione [kuantifikaˈtsjoːne] SUST. f la

quantificazione

Quantifizierung f

quantificabile ADJ.

quantificabile

zählbar, quantifizierbar

ratificatore

ratificatore

Unterzeichner m , -in f

panificatore SUST. m il

panificatore

Bäcker m

panificatore

Brotbäcker m

unificatore [unifikaˈtoːre] ADJ.

1. unificatore:

unificatore

vereinigend

2. unificatore (standardizzatore):

unificatore

vereinheitlichend

pianificatore (pianificatrice) [pjanifikaˈtoːre] SUST. m/f il/la

pianificatore (pianificatrice)

Planer m , -in f

Ejemplos monolingües (no verificados por la redacción de PONS)

italiano

Il quantificatore di tale espressione è ∃!

it.wikipedia.org

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

it.wikipedia.org

Il concetto di "arbitrariamente piccolo" è espresso formalmente con i quantificatori "per ogni" (quantificatore universale) ed "esiste" (quantificatore esistenziale).

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

Una variabile che sta nel campo di azione di un quantificatore si chiama variabile quantificata, altrimenti viene detta variabile libera.

it.wikipedia.org

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

it.wikipedia.org

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

it.wikipedia.org

Quando un nome è preceduto da un numero, un dimostrativo come "questo" o "quello", o un certo quantificatore come "ogni", normalmente deve essere inserito un classificatore prima del nome.

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