Please use this identifier to cite or link to this item:
http://hdl.handle.net/2445/136285| Title: | Demostració automàtica |
| Author: | Martínez Alonso, Juan Carlos |
| Keywords: | Demostració automàtica de teoremes PROLOG (Llenguatges de programació) Lògica matemàtica Automatic theorem proving Prolog (Computer program language) Mathematical logic |
| Issue Date: | 2000 |
| Publisher: | IEC |
| 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. |
| Note: | Reproducció del document publicat a: http://revistes.iec.cat/index.php/BSCM/article/view/9751/9745 |
| It is part of: | Butlletí de la Societat Catalana de Matemàtiques, 2000, vol. 15, num. 1, p. 55-70 |
| URI: | http://hdl.handle.net/2445/136285 |
| ISSN: | 0214-316X |
| Appears in Collections: | Articles publicats en revistes (Matemàtiques i Informàtica) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 512850.pdf | 116.81 kB | Adobe PDF | View/Open |
This item is licensed under a
Creative Commons License
