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. Ejemplos: Prolog…
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. Ejemplos: Prolog y el lenguaje Lisp creado por John McCarthy del MIT en 1958.
Referencias
Categoría:Demostradores de teoremas Categoría:Software matemático
Na podstawie: Wikipedia — Probador de teoremas lógicos · historia autorów.
Tekst: CC BY-SA 4.0.
Usunięto składnię wiki i szablony; dłuższe teksty skrócono.