Demostració automàtica
| dc.contributor.author | Martínez Alonso, Juan Carlos | |
| dc.date.accessioned | 2019-07-03T07:15:46Z | |
| dc.date.available | 2019-07-03T07:15:46Z | |
| dc.date.issued | 2000 | |
| dc.date.updated | 2019-07-03T07:15:46Z | |
| dc.description.abstract | En 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. | |
| dc.format.extent | 16 p. | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.idgrec | 512850 | |
| dc.identifier.issn | 0214-316X | |
| dc.identifier.uri | https://hdl.handle.net/2445/136285 | |
| dc.language.iso | cat | |
| dc.publisher | IEC | |
| dc.relation.isformatof | Reproducció del document publicat a: http://revistes.iec.cat/index.php/BSCM/article/view/9751/9745 | |
| dc.relation.ispartof | Butlletí de la Societat Catalana de Matemàtiques, 2000, vol. 15, num. 1, p. 55-70 | |
| dc.rights | cc-by-nc-nd (c) Martínez Alonso, Juan Carlos, 2000 | |
| dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/3.0/es | |
| dc.source | Articles publicats en revistes (Matemàtiques i Informàtica) | |
| dc.subject.classification | Demostració automàtica de teoremes | |
| dc.subject.classification | PROLOG (Llenguatges de programació) | |
| dc.subject.classification | Lògica matemàtica | |
| dc.subject.other | Automatic theorem proving | |
| dc.subject.other | Prolog (Computer program language) | |
| dc.subject.other | Mathematical logic | |
| dc.title | Demostració automàtica | |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:eu-repo/semantics/publishedVersion |
Fitxers
Paquet original
1 - 1 de 1