Miniatura

Fitxers

512850.pdf (116.81 KB)

Tipus de document

Article

Versió

Versió publicada

Data de publicació

2000

Llicència de publicació

cc-by-nc-nd (c) Martínez Alonso, Juan Carlos, 2000
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/136285

Demostració automàtica

Títol de la revista

Autors

Director/Tutor

ISSN de la revista

Títol del volum

Recurs relacionat

Resum

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.

Matèries

Demostració automàtica de teoremes, PROLOG (Llenguatges de programació), Lògica matemàtica

Matèries (anglès)

Automatic theorem proving, Prolog (Computer program language), Mathematical logic

Citació

Col·leccions

Articles publicats en revistes (Matemàtiques i Informàtica)

Citació

MARTÍNEZ ALONSO, Juan carlos. Demostració automàtica. _Butlletí de la Societat Catalana de Matemàtiques_. 2000. Vol. 15, núm. 1, pàgs. 55-70. [consulta: 22 de gener de 2026]. ISSN: 0214-316X. [Disponible a: https://hdl.handle.net/2445/136285]

Exportar metadades

JSON - METS

Compartir registre