Lógica: desde Aristóteles hasta Prolog

Arias, Joaquín

dc.contributor.author	Arias, Joaquín
dc.date.accessioned	2022-09-09T10:59:53Z
dc.date.available	2022-09-09T10:59:53Z
dc.date.issued	2022
dc.identifier.citation	Arias, Joaquín (2022). Lógica: desde Aristóteles hasta Prolog. Madrid: Servicio de Publicaciones de la Universidad Rey Juan Carlos. ISBN:978-84-09-38265-1	es
dc.identifier.isbn	978-84-09-38265-1 (Lógica-transparencias-completo.pdf)
dc.identifier.isbn	978-84-09-52634-5 (Lógica-apuntes.pdf)
dc.identifier.uri	http://hdl.handle.net/10115/20014
dc.description	Estos Apuntes y transparencias están dirigido a estudiantes de la asignatura Lógica en Grados de Informática (particularmente en Ciberseguridad e Inteligencia Artificial). La asignatura cubre principalmente lógica proposicional y lógica de primer orden, pero incluye un tema con el desarrollo histórico de la lógica y un pequeño resumen de las bases matemáticas necesarias para contextualizar el desarrollo teórico del curso. Además, se incluye un tema introductorio a la programación declarativa, con especial atención a Prolog, lenguaje de programación lógico. El material se ha ido elaborando, modificando y completando durante los varios cursos en que el autor ha impartido esta asignatura en la Universidad Rey Juan Carlos (principalmente en el grado de Ingeniería de la Ciberseguridad y en el grado de Inteligencia Artificial). En los apuntes hay ejemplos de deducción natural que se pueden resolver con DeduccionNatural.pl (disponible en https://tinyurl.com/deduccionnatural23), una herramienta online desarrollada por el autor usando Prolog. Las transparencias y los apuntes están basada en trasparencias de Antonio González Pardo (URJC’20) & Pepa Hernández (UPM’11).
dc.description	Apuntes de lógica: desde Aristóteles hasta Prolog. ISBN: 978-84-09-52634-5 (Lógica-apuntes.pdf)
dc.description	Lógica: desde Aristóteles hasta Prolog. ISBN: 978-84-09-38265-1 (Lógica-transparencias-completo.pdf)
dc.description	Tema 1 (Logica-transparencias-tema01.pdf)
dc.description	Tema 2 (Logica-transparencias-tema02.pdf)
dc.description	Tema 3 (Logica-transparencias-tema03.pdf)
dc.description	Tema 4 (Logica-transparencias-tema04.pdf
dc.language.iso	spa	es
dc.publisher	Servicio de Publicaciones de la Universidad Rey Juan Carlos	es
dc.rights	Atribuci�n-CompartirIgual 4.0 Internacional	*
dc.rights.uri	http://creativecommons.org/licenses/by-sa/4.0/	*
dc.subject	Lógica	es
dc.title	Lógica: desde Aristóteles hasta Prolog	es
dc.type	Learning Object	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es