Avui, dilluns 8 de juny, el Dipòsit Digital no estarà operatiu de 15:00 a 17:00 h per tasques de manteniment. Disculpeu les molèsties.
Hoy, lunes 8 de junio, el Dipòsit Digital no estará operativo de 15:00 a 17:00 h debido a tareas de mantenimiento. Disculpen las molestias.
Today, Monday, Jun 8th, the Digital Repository will be unavailable due to a system update.

Files

512850.pdf (116.81 KB)

Document type

Article

Version

Published version

Publication date

2000

Publication license

cc-by-nc-nd (c) Martínez Alonso, Juan Carlos, 2000
Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/136285

Demostració automàtica

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

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.

Subject

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

Subject (English)

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

Citation

Collections

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

Citation

MARTÍNEZ ALONSO, Juan Carlos. Demostració automàtica. Butlletí de la Societat Catalana de Matemàtiques. 2000. Vol. 15, num. 1, pags. 55-70. ISSN 0214-316X. [consulted: 9 of June of 2026]. Available at: https://hdl.handle.net/2445/136285

Export metadata

JSON - METS

Share record