Demostración interactiva de teoremas
- Demostración interactiva de teoremas
-
Demostración interactiva de teoremas
La demostración interactiva de teoremas es un campo de la ciencia computacional y la lógica matemática relativo a las herramientas para desarrollar pruebas formales para la colaboración hombre-máquina. Esto involucra una especie de asistente de pruebas: un editor interactivo de pruebas, u otra interfaz, con la cual un hombre pueda guiar la búsqueda de pruebas, los detalles que están almacenadas en ellas, y algunos de los pasos ofrecidos por, un ordenador.
Ejemplos:
- Demostradores de teoremas HOL (por ejemplo, Isabelle)
- Prototipo de sistema de verificación (PVS)
- Coq
- PhoX
- MINLOG
Véase también
Categorías: Aprendizaje automático | Demostradores de teoremas
Wikimedia foundation.
2010.
Mira otros diccionarios:
Razonamiento automático — Saltar a navegación, búsqueda El razonamiento automático es un área de la ciencias de la computación dedicada a comprender diferentes aspectos del razonamiento de manera que permita la creación de programas informáticos que posibiliten a los… … Wikipedia Español
Razonamiento automatizado — Saltar a navegación, búsqueda El razonamiento automatizado (o razonamiento automático) es un área de las ciencias de la computación dedicado a comprender diferentes aspectos del razonamiento de forma que permita la creación de programas con el… … Wikipedia Español
Triángulo — Para otros usos de este término, véase Triángulo (desambiguación). El triángulo es un polígono de tres lados. Un triángulo, en geometría, es un polígono determinado por tres rectas que se cortan dos a dos en tres puntos (que no se encuentran… … Wikipedia Español
Sangaku — Saltar a navegación, búsqueda Para otros usos de este término, véase Sangaku (música). En el interior de un cuadrado hay un círculo central. Cuatro círculos todos con radio diferente, tocan a este círculo central y a los lados del cuadrado. ¿Qué… … Wikipedia Español
Premio Turing — El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales. El… … Wikipedia Español
Teorema de Pascal — En el ámbito de la geometría proyectiva, el teorema de Pascal (también denominado Hexagrammum Mysticum Theorem) establece que si un hexágono arbitrario se encuentra inscrito en alguna sección cónica, y se extienden los pares opuestos de lados… … Wikipedia Español
Traducción automática — Se ha sugerido que Servicios de traducción automática sea fusionado en este artículo o sección (discusión). Una vez que hayas realizado la fusión de artículos, pide la fusión de historiales aquí. La traducción automática (TA), también llamada MT… … Wikipedia Español
