Lógica: desde Aristóteles hasta Prolog

Archivos

Logica.zip (5.42 MB)
Lógica.zip (20.22 MB)
Lógica-apuntes.pdf (6.62 MB)
Lógica-transparencias-completo.pdf (14.14 MB)
Lógica-transparencias-tema01.pdf (1.87 MB)

Fecha

2022

Autores

Título de la revista

ISSN de la revista

Título del volumen

Editor

Servicio de Publicaciones de la Universidad Rey Juan Carlos

Enlace externo

URI

http://hdl.handle.net/10115/20014

Resumen

Descripción

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).
Apuntes de lógica: desde Aristóteles hasta Prolog. ISBN: 978-84-09-52634-5 (Lógica-apuntes.pdf)
Lógica: desde Aristóteles hasta Prolog. ISBN: 978-84-09-38265-1 (Lógica-transparencias-completo.pdf)
Tema 1 (Logica-transparencias-tema01.pdf)
Tema 2 (Logica-transparencias-tema02.pdf)
Tema 3 (Logica-transparencias-tema03.pdf)
Tema 4 (Logica-transparencias-tema04.pdf

Palabras clave

Lógica

Citación

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

Colecciones

Materiales Docentes
license logo
Excepto si se señala otra cosa, la licencia del ítem se describe como Atribuci�n-CompartirIgual 4.0 Internacional