predicate abbr. | |
gen. | сказуемое |
automat. | логическое условие; функция возврата логического условия; функция возврата логического значения |
math. | предикат; допущение; ограничение; предположение; условие; пропозициональная функция |
functor abbr. | |
AI. | имя метода; имя функции; параметризованный модуль |
automat. | функциональный логический элемент |
el. | оператор над типами |
IT | функциональный элемент; функциональный элемент |
math. | функтор |
math. ling. | функтор |
AND operator abbr. | |
progr. | операция И |
tech. | оператор И |
predicates : 432 phrases in 31 subjects |
American usage, not spelling | 1 |
Artificial intelligence | 17 |
Automated equipment | 3 |
Banking | 1 |
Computers | 2 |
Cosmetics and cosmetology | 1 |
Criminal law | 1 |
Databases | 1 |
Electronics | 11 |
Finances | 1 |
General | 10 |
Grammar | 13 |
Information technology | 18 |
International Monetary Fund | 2 |
Law | 4 |
Linguistics | 33 |
Logic | 3 |
Makarov | 10 |
Mass media | 1 |
Mathematics | 135 |
Mechanics | 4 |
Medical | 1 |
Medical appliances | 1 |
Microsoft | 3 |
Philology | 1 |
Philosophy | 3 |
Production | 1 |
Programming | 146 |
Psychology | 1 |
Quality control and standards | 1 |
Technology | 2 |