 |
| |||
| quantificateur m; quantifieur m | |||
| signe de quantification; symbole de quantification | |||
| Russian thesaurus | |||
| |||
| в логике и математике - логические эквиваленты слов "все", "каждый" и т. п. кванторы общности, "некоторый", "существует" кванторы существования и др.; операторы, формализующие в исчислении предикатов логические свойства этих выражений. Большой Энциклопедический словарь | |||
| квантор: 35 phrases in 6 subjects |
| General | 2 |
| Information technology | 3 |
| Logic | 2 |
| Mathematics | 22 |
| Programming | 2 |
| Technology | 4 |