Guia docente 2024_25
Escuela Superior de Ingeniería Informática
Grao en Enxeñaría Informática
 Materias
  Lóxica para a computación
Guía Materia
DATOS IDENTIFICATIVOS 2024_25
Materia Lóxica para a computación Código O06G151V01301
Titulación
Grao en Enxeñaría Informática
Descritores Cr.totais Sinale Curso Cuadrimestre
6 OB 3 1c
Lingua de impartición
Castelán
Galego
Prerrequisitos
Departamento
Coordinador/a
Vilares Ferro, Manuel
Correo-e vilares@uvigo.es
Profesorado
Fernández González, Daniel
Vilares Ferro, Manuel
Web http://moovi.uvigo.gal
Descrición xeral Adquisición dos coñecementos básicos imprescindibles en lóxica computacional para fundamentar os tres paradigmas de programación: imperativo, lóxico y funcional. Desenvolvemento das técnicas de programación asociadas a cada modelo de cálculo, coa maior cobertura posible. Non se usará inglés na clase, aínda que algunhas das fontes bibliográficas están nese idioma.
Universidade de Vigo            | Rectorado | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000