• Presentación de la asignatura

      Queremos darte la bienvenida a la asignatura Lógica, perteneciente a las titulaciones de Ingeniería de la Ciberseguridad y de Inteligencia Artificial, publicada como recurso educativo abierto (REA) de la Universidad Rey Juan Carlos. 

      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://github.com/Xuaco/DeduccionNatural), una herramienta online desarrollada por el autor usando Prolog. 

      Finalmente, en la pestaña de "Materiales consolidados" podrás encontrar la colección de materiales en abierto, en la pestaña de "Temario" podrás verlos organizados por los temas de la asignatura.

    • Acceso a la Guía de la asignatura