Galego
Castellano
English
2024_25
2023_24
2022_23
2021_22
2020_21
2019_20
2018_19
2017_18
2016_17
2015_16
2014_15
2013_14
2012_13
2011_12
2010_11
2009_10
Utilidades
Guia docente 2024_25
Escuela Superior de Ingeniería Informática
Centro
Presentación
Organigrama
Localización
Normativa y legislación
Servicios del Centro
Titulaciones
Grado
Grao en Enxeñaría Informática
Grao en Intelixencia Artificial
Máster
Máster Universitario en Enxeñaría Informática
Máster universitario en Intelixencia artificial
Información de interés
Web principal
Secretaría
Webmail
Faitic
Grao en Intelixencia Artificial
Materias
Informática: Lóxica
Contidos
galego
castellano
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
Resultados de Formación e Aprendizaxe
Resultados previstos na materia
Contidos
Planificación
Metodoloxía docente
Atención personalizada
Avaliación
Bibliografía. Fontes de información
Recomendacións
Tema
Subtema
Lóxica de proposicións.
Sintaxis: Fórmulas ben formadas.
Semántica: Interpretación, satisfactibilidade, equivalencia funcional, tableros semánticos.
Formalización e formas normais.
Sistemas deductivos: deducción natural, resolución
Lóxica de primeira orde
Sintaxis: Fórmulas ben formadas.
Semántica: Interpretación, satisfactibilidade, equivalencia funcional, tableros semánticos.
Formalización e formas normais.
Sistemas deductivos: deducción natural, resolución
Paradigma de programación lóxica.
Sintaxis: termos e cláusulas de Horn.
Resolución SLD: árbores de resolución.
Control e negación.
Listas.
Diferencias de listas.
Operadores.
Gramáticas.
Universidade de Vigo
| Rectorado | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000