Définition(s) du mot FORMALISAT


Définitions

formaliser verbe transitif Conjugaison : 1. Poser explicitement dans une théorie déductive les règles de formation des propositions et les règles de déduction suivant lesquelles on raisonne.
2. Réduire une théorie à un système formel.