dc.contributor.authorMartínez Rey, María Aurora
dc.date.accessioned2021-01-26T08:04:47Z
dc.date.available2021-01-26T08:04:47Z
dc.date.issued2019
dc.identifier.isbn978-84-454-3913-5
dc.identifier.urihttp://hdl.handle.net/20.500.12226/565
dc.description.abstractEste libro tiene como objetivo introducir herramientas y conceptos básicos de la lógica, tanto formal como no formal y sus aplicaciones, para, así, ayudar al lector a aprender, razonar y formalizar correctamente. Está especialmente concebido para estudiantes del grado de Ingeniería Informática que estudian a distancia. El texto se compone de nueve capítulos. Cada uno contiene la teoría necesaria para la comprensión de la lógica en toda su extensión. Al final de cada capítulo se presentan una serie de ejercicios propuestos con la intención de tentar la curiosidad del lector e incentivarlo a practicar la teoría expuesta. Los primeros capítulos del manual desarrollan la lógica formal, estudiando tanto la sintáctica como la semántica de esta disciplina. En los capítulos finales se analiza la lógica no formal, dándole así un enfoque práctico a esta parte de la lógica tan subjetiva para muchos y proporcionando una visión completa de la aplicación de la lógica en la informática. La autora de esta obra es doctora en Ingeniería Informática y posee más de diez años de experiencia docente en el área de la informática, especialmente en la ingeniería de sistemas, inteligencia artificial e ingeniería y gestión del conocimiento.es
dc.language.isoeses
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.titleLógica formal y no formales
dc.typemanuales
dc.description.course2020-21es
dc.rights.accessRightsopenAccesses
dc.subject.keywordInformáticaes
dc.subject.keywordLógicaes
dc.subject.keywordLógica formales
dc.subject.keywordParadojases
dc.subject.keywordAntinomíases
dc.identifier.udimam_123_logica_formal_no_formal_2.pdf
dc.bookstorehttps://tienda.cef.udima.es/libros/logica_formal_no_formal.htmles
dc.description.plan116_Grado en Ingeniería Informáticaes


Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Excepto si se señala otra cosa, la licencia del ítem se describe como Attribution-NonCommercial-NoDerivatives 4.0 Internacional