Fundamentos lógicos de la programación

dc.contributor.author	García García, Juan Ignacio
dc.contributor.author	García Sánchez, Pedro Abelardo
dc.contributor.author	Urbano Blanco, Juan Manuel
dc.date.accessioned	2016-11-08T13:21:52Z
dc.date.available	2016-11-08T13:21:52Z
dc.date.issued	2016-11-08
dc.identifier.isbn	84-688-6302-5
dc.identifier.uri	http://hdl.handle.net/10481/43278
dc.description.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.	es_ES
dc.description.abstract	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.	es_ES
dc.language.iso	spa	es_ES
dc.rights	Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/3.0/
dc.subject	Lógica proposicional	es_ES
dc.subject	Lógica de primer orden	es_ES
dc.subject	Principio de resolución	es_ES
dc.subject	Demostración formal	es_ES
dc.title	Fundamentos lógicos de la programación	es_ES
dc.type	book	es_ES
dc.rights.accessRights	open access	es_ES

Excepté là où spécifié autrement, la license de ce document est décrite en tant que Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License