quantificatore
quantifier
O più occorrenze.
Quantificatore, uno o più.Denotes numeric quantifiers.
Denotano quantificatori numerici.
Quantificatore, zero o più.Number too big in{} quantifier.
Numero troppo grande nel quantificatore.A global quality quantifier is the kappa coefficient: n.
Un quantificatore globale di qualità è il coefficiente kappa:Numbers out of order in{} quantifier.
Numeri fuori ordine nel quantificatore.Keyword Quantifier- Are You Getting the Right Impressions?
Parola chiave quantificatore- sono sempre le impressioni di destra?Just add a question mark at the end of our quantifiers.
Basta aggiungere un punto interrogativo alla fine dei nostri quantificatori.This applies to any quantifier described above!
Questo vale per qualsiasi quantificatore descritto in precedenza!The quantifier{0} is permitted, causing the expression to behave as if the previous item and the quantifier were not present.
L'indicazione{0} è permessa.It also serves as a quantifier with the same meaning.
Funziona anche come un determinante di quantità con lo stesso significato.An optional character. Can be interpreted as a quantifier, 0 or 1.
Carattere facoltativo. Può essere interpretato come un quantificatore, zero o uno.Another type of quantifier could be'Accenture is a company'.
Un altro tipo di quantificatore potrebbe essere'Accenture è un'azienda'.This collection includes all connectives and quantifiers of classical logic.
Questa collezione comprende tutti i connettivi e quantificatori della logica classica.There is no quantifier{, n}. That's interpreted as a literal string.
Non esiste un quantificatore{, n}-- viene interpretato come una stringa letterale.Elements of mathematical logic: structures and languages; terms, quantifiers and formula;
Elementi di logica: strutture e linguaggi, termini e formule, quantificatori.There is no quantifier{, n}--
Non esiste un quantificatore{, n}--Extends the meaning of, also 0 or 1 quantifier, also quantifier minimizer.
Estende il significato di, oppure 0 o 1 occorrenza, oppure occorrenza minima.Decision procedures: quantifier elimination, congruence closure,
Procedure di decisione: eliminazione di quantificatori, chiusura di congruenza,Predicate logic: predicates, functions, variables, quantifiers, rules of natural deduction.
Logica predicativa: predicati, funzioni, variabili, quantificatori, regole di deduzione naturale.An opening curly bracket that appears in a position where a quantifier is not allowed, or one that does not match the syntax of a quantifier, is takenAn opening curly bracket that appears in a position where a quantifier is not allowed, or one that does not match the syntax of a quantifier, is taken as a literal character.
Una parentesi graffa aperta che compaia in una posizione in cui non sia prevista una occorrenza, o che comunque non sia riconducibile alla sintassiUna parentesi graffa aperta che compaia in una posizione in cui non sia prevista una occorrenza, o che comunque non sia riconducibile alla sintassi di una occorrenza, viene tratta come il carattere.If the second number and the comma are both omitted, the quantifier specifies an exact number of required matches.
Se sia la virgola sia il secondo numero sono omessi, l'occorrenza specifica l'esatto numero di riconoscimenti richiesti.The string{0,4} is a quantifier saying anywhere from 0 up to 4 of the previous.
La sequenza{0,4} è un quantificatore che indica da zero a quattro ripetizioni dell' espressione precedente.if and only if it does not occur in the scope of any quantifier for that variable.
dice libera se non compare in nessuna sottoformula preceduta da un quantificatore associato a tale variabile.To understand the use of the quantifiers, consider the following examples.
Per capire meglio il significato e l'uso dei quantificatori possiamo utilizzare i seguenti esempi.used when the noun is preceded by a quantifier of some kind, such as a cardinal number.
viene usato quando il sostantivo è preceduto da un quantificatore di un certo tipo, come un numero cardinale.The Eudoxian definition of proportionality uses the quantifier,"for every…" to harness the infinite and the infinitesimal,
La definizione di Eudosso di proporzione usa i quantificatori“ per ogni….” Per sfruttare l'infinito e l'infinitesimale,If the second number is omitted, but the comma is present, there is no upper limit; if the second number and the comma are both omitted, the quantifierIf the second number is omitted, but the comma is present, there is no upper limit; if the second number and the comma are both omitted, the quantifier specifies an exact number of required matches.
Se si omette il secondo numero, ma si lascia la virgola, non si indica un limite superiore; se sia la virgola sia il secondo numero sono omessi, l'occorrenza specifica l'esatto numero di riconoscimentiSe si omette il secondo numero, ma si lascia la virgola, non si indica un limite superiore; se sia la virgola sia il secondo numero sono omessi, l'occorrenza specifica l'esatto numero di riconoscimenti richiesti.An opening curly bracket that appears in a position where a quantifier is not allowed, or one that does not match the syntax of a quantifier, is taken as a literal character.
Una parentesi graffa aperta che compaia in una posizione in cui non sia prevista una occorrenza, o che comunque non sia riconducibile alla sintassi di una occorrenza, viene tratta come il carattere"{".
Results: 30,
Time: 0.1045
Edward Stabler (1996) Computing quantifier scope.
Parametric mechanism design via quantifier elimination.
Quantifier removing and Cylindrical Algebraic Decomposition.
The quantifier semigroup for bipartite graphs.
Quantifier Elimination and Cylindrical Algebraic Decomposition.
Quantifier Words And Their Multi-functional(?) Parts.
quantifier elimination problems over the reals.
Quantifier was the resiliently marriageable coalface.
Matyas will talk about quantifier elimination.
Quantifier group includes visual outlook factors.
Show more
Rarissima occorrenza di effetti collaterali più gravi.
Questo vale per qualsiasi quantificatore descritto in precedenza!
Il quantificatore {x,y} non segue alcun elemento.
27680.
Cerca una singola occorrenza del separatore decimale.
Regole d'inferenza per il quantificatore universale 173
7.3.
Rachitide smollicarti elemosinerebbe occorrenza italianizzare ringiovanita.
Ottieni l’indice dell’ennesima occorrenza di una stringa?
Rimuove dall'insieme la prima occorrenza dell'elemento specificato.IList.RemoveAtInfrastruttura.
Come ottenere l’ennesima occorrenza in una stringa?
Quantificatore universale: $\forall $ (per ogni, per tutti).