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

Obtenido de "Demostraci%C3%B3n interactiva 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

Compartir el artículo y extractos

Link directo
Do a right-click on the link above
and select “Copy Link”