Da traduttori professionisti, imprese, pagine web e archivi di traduzione disponibili gratuitamente al pubblico.
quantifiers
cuantificadores
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 2
Qualità:
denotes numeric quantifiers.
denotan cuantificadores numéricos.
Ultimo aggiornamento 2012-12-12
Frequenza di utilizzo: 2
Qualità:
here are a few examples of using quantifiers
estos son algunos ejemplos que utilizan cuantificadores:
Ultimo aggiornamento 2011-10-23
Frequenza di utilizzo: 2
Qualità:
how to use the quantifiers little and few in english.
los cuantificadores "little / few" en inglés y su uso.
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
Attenzione: contiene formattazione HTML nascosta
now we can see two quantifiers, a universal one and an existential one.
ahora podemos ver dos cuantificadores, uno universal y el otro existencial.
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
repetition is specified by quantifiers, which can follow any of the following items:
la repetición es especificada por cuantificadores, los cuales pueden ir tras cualquiera de los siguientes elementos:
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
he made contributions to mathematical logic where herbrand's theorem on the theory of quantifiers appears in his doctoral thesis.
hizo contribuciones a la lógica matemática, donde el teorema de herbrand en la teoría de quantifiers aparece en su tesis doctoral.
Ultimo aggiornamento 2018-02-13
Frequenza di utilizzo: 1
Qualità:
the meaning of the various quantifiers is not otherwise changed, just the preferredthe meaning of the various quantifiers is not otherwise changed, just the preferred number of matches.
el significado de los cuantificadores variables no es cambiado en otro modo, justo el númeroel significado de los cuantificadores variables no es cambiado en otro modo, justo el número preferido de casamientos.
Ultimo aggiornamento 2011-10-24
Frequenza di utilizzo: 1
Qualità:
=== implication ===there are four rules for implication: two that remove quantifiers from the antecedent and two that remove quantifiers from the consequent.
=== implicación ===hay cuatro reglas para la implicación: dos que remueven los cuantificadores del antecedente y dos que remueven los cuantificadores del consecuente.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità:
==uses==formulas in logic are typically built up recursively from some propositional variables, some number of logical connectives, and some logical quantifiers.
las fórmulas en lógica son comúnmente construidas recursivamente a partir de algunas variables proposicionales, algún número de conectivos lógicos, y algunos cuantificadores lógicos.
Ultimo aggiornamento 2016-03-03
Frequenza di utilizzo: 1
Qualità: