Examples of using Quantifiers in English and their translations into Italian
{-}
-
Programming
-
Colloquial
-
Official
-
Medicine
-
Financial
-
Ecclesiastic
-
Ecclesiastic
-
Computer
-
Official/political
Denotes numeric quantifiers.
Denotano quantificatori numerici.Firebird has two quantifiers that allow you to compare a value to the results of a subselect.
Firebird ha due quantificatori che permettono di comparare un valore al risultato di una subselect.October 2016 Witnessing existential quantifiers with AE-VAL.
Ottobre 2016 Witnessing existential quantifiers with AE-VAL.Quantifiers, as the term itself,
I quantificatori, come dice il termine stesso,Just add a question mark at the end of our quantifiers.
Basta aggiungere un punto interrogativo alla fine dei nostri quantificatori.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.They are enclosed in square brackets and can be followed by the quantifiers.
Vengono racchiusi tra parentesi quadre e possono essere seguiti dai quantificatori.Predicate logic: predicates, functions, variables, quantifiers, rules of natural deduction.
Logica predicativa: predicati, funzioni, variabili, quantificatori, regole di deduzione naturale.which allows you to do this in a finitary way is the use of quantifiers.
che ti permette di fare questo in modo finitario è l'uso di quantificatori.Quantifiers are enclosed in curly brackets({and})
I quantificatori sono racchiusi da parentesi graffe({e})This collection includes all connectives and quantifiers of classical logic.
Questa collezione comprende tutti i connettivi e quantificatori della logica classica.If both quantifiers are allowed, the problem is called the quantified Boolean formula problem(QBF), which
Se permettiamo l'uso di entrambi, prende il nome di problema su formule booleane quantificate(QBF),Elements of mathematical logic: structures and languages; terms, quantifiers and formula;
Elementi di logica: strutture e linguaggi, termini e formule, quantificatori.This modifier inverts the"greediness" of the quantifiers so that they are not greedy by default,
Questo modificatore inverte la"voracità" delle occorrenze, in modo da non essere voraci per default,Methods of proof, interpretations and models for reasoning with quantifiers.
Metodi di dimostrazione, interpretazioni e modelli per il ragionamento con quantificatori.Its logical vocabulary has several sorts of conjunctions, disjunctions, quantifiers, implications, negations and so called recurrence operators.
Il suo vocabolario logico ha diversi tipi di congiunzioni, disgiunzioni, quantificatori, implicazioni, negazioni e cosiddetti operatori di ricorrenza.Quantifiers allows a regular expression to match a specified number
I quantificatori permettono a un' espressione regolare di corrisponderephilosophical system of reasoning using"if/then" statements as quantifiers or predicates.
filosofico di ragionamento che usa le espressioni con"se/allora" come quantificatori o predicati.Implication===There are four rules for implication: two that remove quantifiers from the antecedent and two that remove quantifiers from the consequent.
Implicazione===Ci sono quattro regole per l'implicazione: due che rimuovono i quantificatori dall'ipotesi e due che li rimuovono dalla conclusione.When using quantifiers with no maximum, regular expressions defaults to match
Quando si usano quantificatori senza massimo, le espressioni regolari cercano normalmenteor certain quantifiers such as every,
o un certo quantificatore come"ogni", normalmente deve essere inseritoBy default, the quantifiers are"greedy", that is,
Per default le occorrenze sono"bramose", infatti identificano più testiassertions, quantifiers and back references,
le asserzioni, i quantificatori ed i riferimenti all' indietro,but because of the weird notation with which it expresses quantifiers.
ma per la notazione a dir poco folle con cui esprime i quantificatori.We consider a problem related to the use of quantifiers in the High School(students aging 18-19), particularly dealing with existential quantifiers, and we propose a case study based upon an analytical example.
Si considera un problema collegato all'uso dei quantificatori nella scuola secondaria superiore(studenti di 18-19 anni), in particolare riferito ai quantificatori esistenziali, e si esamina un case study basato su di un esempio analitico.John" A noun phrase has this order:(determiners-)(quantifiers-) noun(-
pesce" Un sintagma nominale ha questo ordine:(articolo-)(quantità-) sostantivo(-The rules for removing quantifiers from the consequent are: ϕ→(∃ x ψ){\displaystyle\phi\rightarrow(\exists x\psi)}
Le regole per rimuovere il quantificatore dalla tesi sono ϕ→(∃ x ψ){\displaystyle\phi\rightarrow(\exists x\psi)}By default, the quantifiers are"greedy", that is, they match as much as possible(up to the maximum number of permitted times), without causing the rest of the pattern toBy default, the quantifiers are"greedy", that is, they match as much as possible(up to the maximum number of permitted times), without causing the rest of the pattern to fail.
Per default le occorrenze sono"bramose", infatti identificano più testi possibile(fino al numero massimo permesso), senza per questo fare fallire il riconoscimento della parte rimanentePer default le occorrenze sono"bramose", infatti identificano più testi possibile(fino al numero massimo permesso), senza per questo fare fallire il riconoscimento della parte rimanente del criterio di ricerca.There is no quantifier{, n}. That's interpreted as a literal string.
Non esiste un quantificatore{, n}-- viene interpretato come una stringa letterale.There is no quantifier{, n}--
Non esiste un quantificatore{, n}--
