• español
    • English
  • Login
  • English 
    • español
    • English

UniversidaddeCádiz

Área de Biblioteca, Archivo y Publicaciones
Communities and Collections
View Item 
  •   RODIN Home
  • Editorial UCA
  • Libros Editorial UCA
  • View Item
  •   RODIN Home
  • Editorial UCA
  • Libros Editorial UCA
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Programas para deducción automatizada en lógica proposicional

Thumbnail
Identificadores

URI: http://hdl.handle.net/10498/26633

Files
84-7786-082-3-completo.pdf (8.067Mb)
Statistics
View statistics
Share
Export
Export reference to MendeleyRefworksEndNoteBibTexRIS
Metadata
Show full item record
Author/s
Frías Delgado, AntonioAuthority UCA
Date
1992
Department
Historia, Geografía y Filosofía
Abstract
El proyecto de controlar el razonamiento y reducirlo a una segura operación de cálculo cuenta ya con siglos; pero no cabe duda de que el desarrollo de los ordenadores le ha dado nuevos impulsos. En la actualidad el objetivo del razonamiento automatizado es escribir programas de ordenador que nos ayuden en la solución de problemas en los que se requiera razonar. Nuestro objetivo al escribir los programas que aquí se ofrecen para deducción automatizada de teoremas en lógica preposicional ha sido múltiple: 1. Ofrecer al lector interesado pero no especialista unas técnicas no siempre de fácil acceso. 2. Desarrollar unos programas en los que se atienda especialmente a la estrategia seguida en la demostración de los teoremas. 3. Por su construcción centrada en las estrategias deductivas, crecemos que los programas pueden cumplir también una función tutorial, de ayuda en el aprendizaje de la lógica elemental. En I se dan las características y reglas de los cálculos que vamos a usar. En II se exponen las estrategias deductivas para cada uno. En III se comentan los programas. En IV se valora su rendimiento. En V se da una mínima bibliografía.
Collections
  • Libros [373]
  • Libros Editorial UCA [756]
  • Monografías Hist. Geog. Filos. [43]
Attribution-NonCommercial-NoDerivatives 4.0 Internacional
This work is under a Creative Commons License Attribution-NonCommercial-NoDerivatives 4.0 Internacional

Browse

All of RODINCommunities and CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Información adicional

AboutDeposit in RODINPoliciesGuidelinesRightsLinksStatisticsNewsFrequently Asked Questions

RODIN is available through

OpenAIREOAIsterRecolectaHispanaEuropeanaBaseDARTOATDGoogle Academic

Related links

Sherpa/RomeoDulcineaROAROpenDOARCreative CommonsORCID

RODIN está gestionado por el Área de Biblioteca, Archivo y Publicaciones de la Universidad de Cádiz

Contact informationSuggestionsUser Support