Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
Mathematica es un programa utilizado en áreas científicas, de ingeniería, matemática y áreas computacionales. Originalmente fue concebido por Stephen Wolfram…27 kB (2976 palabras) - 17:12 21 feb 2024
Maple es un programa orientado a la resolución de problemas matemáticos, capaz de realizar cálculos simbólicos, algebraicos y de álgebra computacional…12 kB (1437 palabras) - 19:42 18 ene 2024
La demostración automática de teoremas (de siglas ATP, por el término en inglés: Automated theorem proving), que también puede ser denominada deducción…15 kB (1780 palabras) - 01:23 18 abr 2024- 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…984 bytes (95 palabras) - 15:21 3 nov 2022
El demostrador interactivo de teoremas Isabelle es una herramienta de ayuda a la demostración de teoremas escrita en el lenguaje de programación ML y desarrollada…3 kB (257 palabras) - 22:32 26 mar 2023- Coq (gallo en francés) es un sistema de ayuda para la demostración de teoremas que maneja aserciones matemáticas, verifica mecánicamente las pruebas de…1 kB (118 palabras) - 11:04 21 may 2024
- Un probador de teoremas lógicos es una metodología o programa (software), que rechaza o acepta un teorema según un conjunto de reglas predefinidas.[1]…1 kB (88 palabras) - 15:21 3 nov 2022
- ACL2 es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en…9 kB (1152 palabras) - 11:59 14 may 2024
- El cálculo de construcciones (CoC) es un lambda-cálculo tipificado de alto nivel que contiene un álgebra de tipos. CoC permite definir funciones por ejemplo…972 bytes (121 palabras) - 12:03 14 abr 2023
- LCF es un demostrador automático de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros…1 kB (145 palabras) - 00:59 24 abr 2024
- En Lógica Resolución es una regla de inferencia utilizada sobre cierto tipo de proposiciones lógicas y es especialmente utilizada para los demostradores…6 kB (761 palabras) - 21:48 15 nov 2023
- En la Demostración automática de teoremas, PhoX es un asistenete de pruebas que es eXtensible. El usuario le da a PhoX un objetivo inicial, guiándole a…770 bytes (96 palabras) - 23:33 29 ago 2019
- El Logic Theorist es un complejo sistema de manejo de información creado por Allen Newell, Herbert A. Simon y Cliff Shaw en 1955. Este sistema es considerado…16 kB (2395 palabras) - 06:36 9 abr 2024
