Martínez Alonso, Juan Carlos2019-07-032019-07-0320000214-316Xhttps://hdl.handle.net/2445/136285En la demostració automàtica es planteja el problema de trobar, en un cert llenguatge formal, mètodes mecànics de demostració de teoremes que puguin dur-se a la pràctica. El llenguatge formal que es faci servir ha de complir dos requisits bàsics: (a) Ha de tenir una capacitat expressiva prou àmplia per poder representar problemes formals. (b) Ha de tenir la propietat que, a través d'ell, sigui possible desenvolupar Mecanismes d'inferència automàtica que puguin ser implementats en un ordinador.16 p.application/pdfcatcc-by-nc-nd (c) Martínez Alonso, Juan Carlos, 2000http://creativecommons.org/licenses/by-nc-nd/3.0/esDemostració automàtica de teoremesPROLOG (Llenguatges de programació)Lògica matemàticaAutomatic theorem provingProlog (Computer program language)Mathematical logicinfo:eu-repo/semantics/article5128502019-07-03info:eu-repo/semantics/openAccess