Probador de teoremas lógicos
Apariencia
![]() |
Este artículo o sección necesita referencias que aparezcan en una publicación acreditada. Busca fuentes: «Probador de teoremas lógicos» – noticias · libros · académico · imágenes Este aviso fue puesto el 5 de febrero de 2011. |
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, Lisp.
Control de autoridades |
|
---|