Curso Lógica y Usos:
Formalmente, se presenta una introducción a la Lógica de Proposiciones y a la Lógica de Primer Orden. Más coloquialmente, se pretenden explicitar algunos de los esquemas de razonamiento que todos usamos en nuestras discusiones del día a día.
Esta es una aproximación que pretende capacitar al estudiante como usuario de un sistema lógico: para plantear o resolver juegos, para transmitir conocimiento estructurado, para debatir...
Hay toda una línea de estudio que persigue automatizar estos procesos, facilitar que las máquinas los repliquen. No se abordan en este curso. Las herramientas informáticas que se sugieren lo son desde la perspectiva del usuario, no del desarrollador.
Objetivos:
Se presenta, incrementalmente, un lenguaje y propuestas de codificación sobre el mismo. Codificación o representación de reglas, juegos, restricciones, razonamientos, enunciados y preguntas sobre el mundo que nos rodea. Los cálculos sobre el lenguaje, dentro de sus limitaciones, facilitan respuestas consistentes.
Requisitos recomendados:
El curso es completamente autocontenido y no requiere ningún conocimiento previo.
Público objetivo:
Cualquier persona interesada en la lógica y sus usos.
Equipo docente:
José Luis Fernández Vindel
Fernando Soler Toscano
Para saber más:
[ Ссылка ]
