Sistema formal

En matemáticas y lógica, es un conjunto de axiomas, reglas de inferencia y símbolos que se utiliza para expresar y razonar sobre conceptos matemáticos o lógicos. Los sistemas formales se utilizan para probar teoremas y hacer deducciones.

« Back to Glossary Index

Por Leo Jiménez

Apasionado del emprendimiento y la tecnología. Siempre buscando resolver problemas con creatividad. Me encanta descomponer desafíos y crear soluciones inteligentes. Mi meta es desarrollar tecnologías que mejoren la vida de las personas, ¡pero sólo con un código a la vez!

Entradas relacionadas