Educational guide 2020_21
E. S. de Enxeñaría Informática
Grao en Enxeñaría Informática
 Subjects
  Computing logic
Subject Guide
IDENTIFYING DATA 2020_21
Subject Lóxica para a computación Code O06G150V01506
Study programme
Grao en Enxeñaría Informática
Descriptors Total Cr. Type Year Quadmester
6 Mandatory 3 1c
Teaching language
Castelán
Galego
Prerequisites
Department Informática
Coordinator
Vilares Ferro, Manuel
E-mail vilares@uvigo.es
Lecturers
Darriba Bilbao, Víctor Manuel
Vilares Ferro, Manuel
Web http://faitic.uvigo.es
General description 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) | Spain | Tlf: +34 986 812 000