Demostració automàtica
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...
| Author: | |
|---|---|
| Format: | Article |
| Status: | Published version |
| Publication date: | 2000 |
| Country: | España |
| Institution: | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| Repository: | Recercat. Dipósit de la Recerca de Catalunya |
| OAI Identifier: | oai:recercat.cat:2445/136285 |
| Online Access: | https://hdl.handle.net/2445/136285 |
| Access Level: | Open access |
| Keyword: | Demostració automàtica de teoremes PROLOG (Llenguatges de programació) Lògica matemàtica Automatic theorem proving Prolog (Computer program language) Mathematical logic |
| _version_ | 1878731235268755456 |
|---|---|
| author | Martínez Alonso, Juan Carlos |
| author_browse | Martínez Alonso, Juan Carlos |
| author_facet | Martínez Alonso, Juan Carlos |
| author_role | author |
| collection | Recercat. Dipósit de la Recerca de Catalunya |
| description | 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. |
| eu_rights_str_mv | openAccess |
| format | article |
| id | ES_2b80bba1f481ce484f8ad96b0d9fa75c |
| institution | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| instname_str | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| network_acronym_str | ES |
| network_name_str | España |
| oai_identifier_str | oai:recercat.cat:2445/136285 |
| publishDate | 2000 |
| publishDateSort | 2000 |
| publisher | IEC |
| publisherStr | IEC |
| reponame_str | Recercat. Dipósit de la Recerca de Catalunya |
| spelling | Demostració automàtica Martínez Alonso, Juan Carlos Demostració automàtica de teoremes PROLOG (Llenguatges de programació) Lògica matemàtica Automatic theorem proving Prolog (Computer program language) Mathematical logic 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. IEC https://hdl.handle.net/2445/136285 |
| spellingShingle | Demostració automàtica Martínez Alonso, Juan Carlos Demostració automàtica de teoremes PROLOG (Llenguatges de programació) Lògica matemàtica Automatic theorem proving Prolog (Computer program language) Mathematical logic |
| status_str | publishedVersion |
| title | Demostració automàtica |
| title_full | Demostració automàtica |
| title_fullStr | Demostració automàtica |
| title_full_unstemmed | Demostració automàtica |
| title_short | Demostració automàtica |
| title_sort | Demostració automàtica |
| topic | Demostració automàtica de teoremes PROLOG (Llenguatges de programació) Lògica matemàtica Automatic theorem proving Prolog (Computer program language) Mathematical logic |
| topic_facet | Demostració automàtica de teoremes PROLOG (Llenguatges de programació) Lògica matemàtica Automatic theorem proving Prolog (Computer program language) Mathematical logic |
| url | https://hdl.handle.net/2445/136285 |