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