Tugurium/GTI

Glosario Terminología Informática

formal proof

0 prueba formal
Argumento matemático completo y convincente que presenta la justificación lógica total para cada paso y la prueba de la verdad de un teorema o una serie de teoremas.
2009-02-25