Se ha sugerido que este artículo o sección sea fusionado en «Probador de teoremas lógicos». Motivo: los argumentos están expuestos en la página de discusión.
Una vez que hayas realizado la fusión de contenidos, pide la fusión de historiales aquí.
Este aviso fue puesto el 3 de noviembre de 2022.
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)
demostración, interactiva, teoremas, sugerido, este, artículo, sección, fusionado, probador, teoremas, lógicos, motivo, argumentos, están, expuestos, página, discusión, hayas, realizado, fusión, contenidos, pide, fusión, historiales, aquí, este, aviso, puesto,. Se ha sugerido que este articulo o seccion sea fusionado en Probador de teoremas logicos Motivo los argumentos estan expuestos en la pagina de discusion Una vez que hayas realizado la fusion de contenidos pide la fusion de historiales aqui Este aviso fue puesto el 3 de noviembre de 2022 La demostracion interactiva de teoremas es un campo de la ciencia computacional y la logica matematica relativo a las herramientas para desarrollar pruebas formales para la colaboracion hombre maquina Esto involucra una especie de asistente de pruebas un editor interactivo de pruebas u otra interfaz con la cual un hombre pueda guiar la busqueda de pruebas los detalles que estan almacenadas en ellas y algunos de los pasos ofrecidos por un ordenador Ejemplos Demostradores de teoremas HOL por ejemplo Isabelle Prototipo de sistema de verificacion PVS Coq PhoX MINLOGVease tambien EditarDemostracion automatica de teoremas nbsp Datos Q11387554 Obtenido de https es wikipedia org w index php title Demostracion interactiva de teoremas amp oldid 147078506, wikipedia, wiki, leyendo, leer, libro, biblioteca,