Ciencias da Computación e Tecnoloxías da Información
Coordinación
Cabalar Fernandez, Jose Pedro
Correo electrónico
pedro.cabalar@udc.es
Profesorado
Aguado Martin, Maria Felicidad
Cabalar Fernandez, Jose Pedro
Muñiz Castro, Brais
Otero Freijeiro, David
Perez Vega, Gilberto
Vidal Martin, Concepcion
Correo electrónico
felicidad.aguado@udc.es
pedro.cabalar@udc.es
brais.mcastro@udc.es
david.otero.freijeiro@udc.es
gilberto.pvega@udc.es
concepcion.vidalm@udc.es
Web
Descrición xeral
Lógica es una asignatura que se imparte en el segundo cuatrimestre del primer curso del Grado en Inteligencia Artificial y pertenece al módulo de Formación Básica, dentro de la materia de Matemáticas.
La lógica y la inferencia están en el fundamento de la computación y el razonamiento formal. El alumnado ya ha cursado las materias del bloque de Matemáticas y Programación, por lo que ya está familiarizado con el pensamiento abstracto. En esta materia se abordan las nociones fundamentales de la lógica y se adquirirá la capacidad de resolver inferencias en diferentes paradigmas lógicos como la lógica proposicional y la lógica de primer orden. Se introduce el paradigma de la programación lógica, sus técnicas de programación y sus aplicaciones en ámbitos donde proporciona planteamientos y resoluciones más fáciles, naturales o más apropiadas que las que ofrecen otros paradigmas de programación.
(*)A Guía docente é o documento onde se visualiza a proposta académica
da UDC. Este documento é público e non se pode modificar, salvo casos excepcionais baixo a revisión do
órgano competente dacordo coa normativa vixente que establece o proceso de elaboración de guías
