Fundamentos lógicos de la programación García García, Juan Ignacio García Sánchez, Pedro Abelardo Urbano Blanco, Juan Manuel Lógica proposicional Lógica de primer orden Principio de resolución Demostración formal 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. 2016-11-08T13:21:52Z 2016-11-08T13:21:52Z 2016-11-08 book 84-688-6302-5 http://hdl.handle.net/10481/43278 spa http://creativecommons.org/licenses/by-nc-nd/3.0/ open access Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License