Formalizace

Formalizace je proces zavedení formálního systému, který stanoví pravidla a standardy.

matematizace, aplikace formálního popisu

Relevantní k formalizace