Guia docente 2018_19
E. S. de Enxeñaría Informática
Grao en Enxeñaría Informática
 Materias
  Lóxica para a computación
Guía Materia
DATOS IDENTIFICATIVOS 2018_19
Materia Lóxica para a computación Código O06G150V01506
Titulacion
Grao en Enxeñaría Informática
Descriptores Cr.totais Carácter Curso Cuadrimestre
6 OB 3 1c
Lingua impartición
Castelán
Galego
Prerrequisitos
Departamento Informática
Coordinador/a
Vilares Ferro, Manuel
Correo-e vilares@uvigo.es
Profesorado
Darriba Bilbao, Víctor Manuel
Doval Mosquera, Yerai
Vilares Ferro, Manuel
Web http://faitic.uvigo.es
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            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000