| |||
formalisation; formalization; formalizm | |||
formal characterization | |||
characterization | |||
formalising (oleg.vigodsky) | |||
perfection | |||
institutionalisation | |||
Російський тезаурус | |||
| |||
представление и изучение какой-либо содержательной области знания научные теории, рассуждения, процедура поиска и т. п. в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях. Большой Энциклопедический словарь |
формализация: 26 фраз в 8 тематиках |
Електроніка | 1 |
Загальна лексика | 1 |
Інформаційні технології | 4 |
Математика | 8 |
Науковий термін | 2 |
Програмування | 6 |
Текстиль | 1 |
Штучний інтелект | 3 |