Provador de teoremes llògiques
 |
S'ha sugerit que est artícul o secció siga fusionat en [[::Demostració interactiva de teoremes|Demostració interactiva de teoremes]] . (Discussió). Una volta hages realisat la fusió d'artículs, demana la fusió d'historials en WP:TAB/F. |
Un provador de teoremes llògiques és una metodologia o programa (software), que rebuja o accepta un teorema segons un conjunt de regles predefinides.[1] Eixemples: Prolog i el llenguage Lisp creat per John McCarthy del MIT en 1958.[2]
Referències
[editar | editar còdic]- ↑ «a-una-logica-simplificada/ 2 del millor software de raonament automatizado per a una llògica simplificada» (en és). Mundowin. Consultat el 2022-11-02.
- ↑ Teigens, Vasil; Skalfist, Peter; Mikelsten, {{{nom3}}}. Inteligència artificial: la quarta revolució industrial (en és), Cambridge Stanford Books.
Referències
[editar | editar còdic]
- Este artícul conté una traducció derivada de «Probador de teoremas lógicos» de Wikipedia en castellà publicada baix la Llicència de documentació lliure de GNU i la Llicència Creative Commons Reconeiximent-CompartirIgual 4.0 Internacional.