Guia docenteCurso
Facultad de Informática
  Inicio | galego | castellano | english | A A |  
Grao en Intelixencia Artificial
 Asignaturas
  Lógica
Abrir nova vista Vista para imprimir Exportar a pdf
Datos Identificativos 2022/23
Asignatura (*) Lógica Código 614G03016
Titulación
Grao en Intelixencia Artificial
Descriptores Ciclo Periodo Curso Tipo Créditos
Grado 2º cuatrimestre
Primero Formación básica 6
Idioma
Castellano
Modalidad docente Presencial
Prerrequisitos
Departamento Ciencias da Computación e Tecnoloxías da Información
Coordinador/a
Cabalar Fernandez, Jose Pedro
Correo electrónico
pedro.cabalar@udc.es
Profesorado
Cabalar Fernandez, Jose Pedro
Gabín Brenlla, Jorge Juan
Perez Vega, Gilberto
Correo electrónico
pedro.cabalar@udc.es
jorge.gabin@udc.es
gilberto.pvega@udc.es
Web
Descripción general 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.
(*) La Guía Docente es el documento donde se visualiza la propuesta académica de la UDC. Este documento es público y no se puede modificar, salvo cosas excepcionales bajo la revisión del órgano competente de acuerdo a la normativa vigente que establece el proceso de elaboración de guías
Universidade da Coruña - Rúa Maestranza 9, 15001 A Coruña - Tel. +34 981 16 70 00  Soporte Guías Docentes