quantifier

quantifier
● ►en n. m. ►RACLAT Préfixe multiplicatif d'une unité. En informatique, ils peuvent avoir deux sens, selon la Base utilisée (10 ou 2, mais en général, c'est 2). La base 10 correspond au Système International. kilo: 1000^1 ou 1024^1 / méga: 1000^2 ou 1024^2 = 1048576 / giga: 1000^3 ou 1024^3 / tera: 1000^4 ou 1024^4 / peta: 1000^5 ou 1024^5 / exa: 1000^6 ou 1024^6 / zetta: 1000^7 ou 1024^7 / yotta: 1000^8 ou 1024^8 = 1208925819614629174706176.

Dictionnaire d'informatique francophone. 2013.

Игры ⚽ Поможем решить контрольную работу

Regardez d'autres dictionnaires:

  • quantifier — [ kɑ̃tifje ] v. tr. <conjug. : 7> • 1897; angl. to quantify (1840); lat. médiév. quantificare 1 ♦ Log. Attribuer une quantité à (un terme). 2 ♦ Attribuer une grandeur mesurable à (un phénomène). Quantifier le coût d une mesure sociale. 3 ♦… …   Encyclopédie Universelle

  • quantifier — [kwänt′ə fī΄ər] n. Logic a word, term, prefix, symbol, etc. that quantifies …   English World dictionary

  • quantifier — Informally, a quantifier is an expression that reports a quantity of times that a predicate is satisfied in some class of things (i.e. in a ‘domain’). Thus, thinking about a class of children and their diets, one might report that some eat cake,… …   Philosophy dictionary

  • quantifier — noun 1. (logic) a word (such as some or all or no ) that binds the variables in a logical proposition • Syn: ↑logical quantifier • Topics: ↑logic • Hypernyms: ↑word …   Useful english dictionary

  • quantifier — /kwon teuh fuy euhr/, n. 1. Logic. an expression, as all or some, that indicates the quantity of a proposition. Cf. existential quantifier, universal quantifier. 2. a word, esp. a modifier, that indicates the quantity of something. [1875 80;… …   Universalium

  • quantifier — noun a) A word, such as all or many, that expresses a quantity b) The operator, represented by either of the symbols ∀ (universal quantifier) or ∃ (existential quantifier), used in …   Wiktionary

  • quantifier — UK [ˈkwɒntɪˌfaɪə(r)] / US [ˈkwɑntəˌfaɪər] noun [countable] Word forms quantifier : singular quantifier plural quantifiers linguistics a word or phrase such as much or a few that is used with another word to show quantity …   English dictionary

  • quantifier — quan•ti•fi•er [[t]ˈkwɒn təˌfaɪ ər[/t]] n. 1) pho logic an expression, as “all” or “some,” that indicates the quantity of a proposition Compare existential quantifier universal quantifier 2) gram. a word or phrase, usu. modifying a noun, that… …   From formal English to slang

  • quantifier — kvantorius statusas T sritis automatika atitikmenys: angl. quantifier vok. Quantor, m rus. квантор, m pranc. quantifier, m …   Automatikos terminų žodynas

  • quantifier — [[t]kwɒ̱ntɪfaɪə(r)[/t]] quantifiers N COUNT In grammar, a quantifier is a word or phrase such as plenty or a lot which you use to refer to a quantity of something without being precise. It is often followed by of , as in a lot of money …   English dictionary

  • Quantifier elimination — is a technique in mathematical logic, model theory, and theoretical computer science.We say that a given theory has quantifier elimination if for every sentence with quantification there exists an equivalent (modulo the theory) sentence without… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”