Wikipedia en español - La enciclope...
Download this dictionary
Teoria de la demostracion
REDIRECCIÓN
Teoría de la demostración
Ver más en Wikipedia.org...
Teoria de la demostración
REDIRECCIÓN
Teoría de la demostración
Ver más en Wikipedia.org...
Teoría de la demostracion
REDIRECCIÓN
Teoría de la demostración
Ver más en Wikipedia.org...
Teoría de la demostración
La
teoría de la demostración
o
teoría de la prueba
es una rama de la
lógica matemática
que trata a las
demostraciones
como objetos matemáticos, facilitando su análisis mediante técnicas matemáticas. Las demostraciones suelen presentarse como
estructuras de datos
inductivamente definidas que se construyen de acuerdo con los
axiomas
y
reglas de inferencia
de los sistemas lógicos. En este sentido, la teoría de la demostración se ocupa de la
sintaxis
, en contraste con la
teoría de modelos
, que trata con la
semántica
. Junto con la
teoría de modelos
, la
teoría de conjuntos
axiomática y la
teoría de la recursión
, la teoría de la demostración es uno de los "cuatro pilares" de los
fundamentos de las matemáticas
.
Ver más en Wikipedia.org...
© Este artículo utiliza contenidos de
Wikipedia
®
y está disponible bajo los términos de la
Licencia de documentación libre GNU
y bajo los términos de la
Licencia Creative Commons Atribución-CompartirIgual