Guia docente 2024_25
Escola Superior de Enxeñaría Informática
Grao en Intelixencia Artificial
 Materias
  Informática: Lóxica
Guía Materia
DATOS IDENTIFICATIVOS 2024_25
Materia Informática: Lóxica Código O06G460V01108
Titulación
Grao en Intelixencia Artificial
Descritores Cr.totais Sinale Curso Cuadrimestre
6 FB 1 2c
Lingua de impartición
Castelán
Galego
Prerrequisitos
Departamento Informática
Coordinador/a
Darriba Bilbao, Víctor Manuel
Correo-e darriba@uvigo.es
Profesorado
Darriba Bilbao, Víctor Manuel
Fernandez Lanza, Santiago
Web http://http://moovi.uvigo.gal
Descrición xeral A lóxica e a inferencia están no fundamento da computación e o razonamento formal. O alumnado xa cursou as materias do bloque de Matemáticas e Programación, polo que xa está familiarizado co pensamento abstracto. Nesta materia se abordan as nocións fundamentais da lóxica (tales como as de verdade, negación, conectivas, deducción lóxica, etc.) e se adquirirá a capacidade de resolver inferencias en diferentes paradigmas lóxicos como a lóxica proposicional e a lóxica de primer orden. Introdúcese o paradigma da programación lóxica, as súas técnicas de programación e as súas aplicacións en ámbitos nos que proporciona plantexamentos e resolucións máis fáciles, naturais ou más apropiadas que as ofrecidas por outros paradigmas de programación.
Non se usará inglés na clase, aínda que algunhas das fontes bibliográficas están nese idioma.
Universidade de Vigo            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000