Санариптик идентификатор | |
---|---|
Таксономический код | [29007, 29008, 21588, 5758, 5759, 5760, 4204, 3, 1] |
Аталышы (Орусча) | формализация (акт формализации (например, путем установления формальных правил, регулирующих классы выражений)) |
Аталышы (Англисче) | formalization (the act of making formal (as by stating formal rules governing classes of expressions)) |
Гипероним | systematization (systematic organization; the act of organizing something according to a system or a rationale) : систематизация (систематическая организация; акт организации чего-либо в соответствии с системой или обоснованием) |
Гипонимдер | |
mathematization : математизация (Внедрение математических методов и достижений математики в другие науки) |