Artículos

Mañanas informales

/

Mañanas informales fue un programa argentino que se emitió desde el 16 de mayo de 2005 hasta el 1…

Economía informal

/

La economía informal, también llamada economía irregular o sector informal, comprende el conjunto…

Semántica formal

/

La semántica formal es el estudio de las interpretaciones de los lenguajes formales.[ 1]​ Los len…

Prueba formal

/

En lógica, una derivación formal (o prueba formal) es una secuencia finita de sentencias donde ca…

Lenguaje formal

/

Para otros usos de este término, véase Lenguaje formalizado. En matemáticas, lógica y ciencias de…