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
Educational guide 2024_25
Escola Superior de Enxeñaría Informática
Centro
Presentation
Organization chart
Location
Regulations and legislation
Center services
Study programmes
Grao
Grao en Enxeñaría Informática
Grao en Intelixencia Artificial
Mestrado
Máster Universitario en Enxeñaría Informática
Máster universitario en Intelixencia artificial
Interest Information
Main website
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
| Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | Spain | Tlf: +34 986 812 000