TY  - BOOK 
AU  - García García, Juan Ignacio
AU  - García Sánchez, Pedro Abelardo
AU  - Urbano Blanco, Juan Manuel
PY  - 2016
SN  - 84-688-6302-5
UR  - http://hdl.handle.net/10481/43278
AB  - 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...
AB  - 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.
LA  - spa
KW  - Lógica proposicional
KW  - Lógica de primer orden
KW  - Principio de resolución
KW  - Demostración formal
TI  - Fundamentos lógicos de la programación
ER  -