Universidad de Granada Digibug
 

Repositorio Institucional de la Universidad de Granada >
1.-Investigación >
Departamentos, Grupos de Investigación e Institutos >
Departamento de Algebra >
DA - Cursos >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10481/43278

Title: Fundamentos lógicos de la programación
Authors: García García, Juan Ignacio
García Sánchez, Pedro A.
Urbano Blanco, Juan Manuel
Issue Date: 8-Nov-2016
Abstract: Este manuscrito cubre los contenidos de la asignatura Fundamentos Lógicos de la Programación. Incluye demostración formal y semántica de la lógica proposicional, semántica y deducción en lógica de primer orden. Por último se describe el principio de resolución para deducción automática.
This manuscript covers the contents of the course Principles of logic in programming. It includes both formal and semantic propositional logic, first order logic, and resolution principle for automatic theorem proving.
Keywords: Lógica proposicional
Lógica de primer orden
Principio de resolución
Demostración formal
URI: http://hdl.handle.net/10481/43278
ISBN: 84-688-6302-5
Rights : Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License
Appears in Collections:DA - Cursos

Files in This Item:

File Description SizeFormat
fundamentos-logicos-programacion.pdf442.51 kBAdobe PDFView/Open
Recommend this item

This item is licensed under a Creative Commons License
Creative Commons

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! OpenAire compliant DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard - Feedback

© Universidad de Granada