Datos Identificativos | 2023/24 | ||||||||||||||||
Asignatura (*) | Lóxica | Código | 614G03016 | ||||||||||||||
Titulación | |||||||||||||||||
Descriptores | Ciclo | Período | Curso | Tipo | Créditos | ||||||||||||
Grao | 2º cuadrimestre |
Primeiro | Formación básica | 6 | |||||||||||||
Idioma |
|
||||||||||||||||
Modalidade docente | Presencial | ||||||||||||||||
Prerrequisitos | |||||||||||||||||
Departamento | Ciencias da Computación e Tecnoloxías da Información |
||||||||||||||||
Coordinación |
|
Correo electrónico |
|
||||||||||||||
Profesorado |
|
Correo electrónico |
|
||||||||||||||
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 |