Sobre el pensamiento del Dr. Claudio Gutiérrez Carranza. Un algoritmo de Inteligencia Artificial para probar teoremas de lógica de cuantificación uniforme
Además de un recorrido por el pensamiento filosófico de Claudio Gutiérrez, el presente artículo se presenta una aplicación de un algoritmo para prueba automática de teoremas que fue realizada como parte del curso Lógica y Cibernética, impartido por Claudio Gutiérrez en 1971 y cuyo propósito de aplic...
| Main Author: | |
|---|---|
| Format: | Online |
| Language: | spa |
| Published: |
Universidad de Costa Rica
2024
|
| Online Access: | https://revistas.ucr.ac.cr/index.php/filosofia/article/view/58416 |