формалізація
ФОРМАЛІЗА́ЦІЯ, ії, ж. У математичній логіці — метод, що полягає в заміні всіх змістових термінів символами.
Словник української мови (СУМ-11)ФОРМАЛІЗА́ЦІЯ, ії, ж. У математичній логіці — метод, що полягає в заміні всіх змістових термінів символами.
Словник української мови (СУМ-11)