Guia docente 2019_20
E. S. de Ingeniería Informática
Grado en Ingeniería Informática
 Asignaturas
  Lógica para la computación
Guía Materia
DATOS IDENTIFICATIVOS 2019_20
Asignatura Lógica para la computación Código O06G150V01506
Titulacion
Grado en Ingeniería Informática
Descriptores Cr.totales Carácter Curso Cuatrimestre
6 OB 3 1c
Lengua Impartición
Castellano
Gallego
Prerrequisitos
Departamento Informática
Coordinador/a
Vilares Ferro, Manuel
Correo-e vilares@uvigo.es
Profesorado
Darriba Bilbao, Víctor Manuel
Vilares Ferro, Manuel
Web http://faitic.uvigo.es
Descripción general Adquisición de los conocimientos básicos imprescindibles en lógica computacional para fundamentar los tres paradigmas de programación: imperativo, lógico y funcional. Desarrollo de las técnicas de programación asociadas a cada modelo de cálculo, con la mayor cobertura posible. No se usará inglés en clase, aunque algunas de las fuentes bibliográficas están en ese idioma.
Universidade de Vigo            | Rectorado | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000