Diferència entre revisions de la pàgina «Formalització»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} En lògica i en matemàtiques, procediment amb el qual es construeixen sistemes formals o llenguatge formal|llengu...».) |
(Cap diferència)
|
Revisió de 09:43, 5 feb 2015
En lògica i en matemàtiques, procediment amb el qual es construeixen sistemes formals o llenguatges formals: simbolització d'un llenguatge amb finalitat deductiva.