формализация | |
gen. | formalisation; formalization; formalizm |
EBRD | institutionalisation |
law | perfection |
math. | formal characterization |
math. logic | characterization |
данные | |
telecom. | ARD Analysis Ready Data |
данный | |
lat. | de quo |
| |||
formalisation; formalization; formalizm | |||
institutionalisation | |||
perfection | |||
formal characterization | |||
characterization | |||
formalising (oleg.vigodsky) | |||
Russian thesaurus | |||
| |||
представление и изучение какой-либо содержательной области знания научные теории, рассуждения, процедура поиска и т. п. в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях. Большой Энциклопедический словарь |
формализация : 26 phrases in 8 subjects |
Artificial intelligence | 3 |
Electronics | 1 |
General | 1 |
Information technology | 4 |
Mathematics | 8 |
Programming | 6 |
Scientific | 2 |
Textile industry | 1 |