Datos Identificativos					2012/13
Asignatura	Lóxica para a Computación			Código	614111626
Titulación	Enxeñeiro en Informática
Descriptores	Ciclo	Período	Curso	Tipo	Créditos
	1º e 2º Ciclo	1º cuadrimestre	Todos	Optativa	5.5
Competencias do título Resultados de aprendizaxe Contidos Planificación Metodoloxías Atención personalizada Avaliación Fontes de información Recomendacións

Materias que se recomenda ter cursado previamente

Álxebra/614111106 Matemática Discreta I/614111107 Programación Declarativa/614111207 Matemáticas Discretas II/614111406 Interfaces co Usuario/614111624 Programación Funcional/614111635 Semántica das Linguaxes de Programación/614111640

Materias que se recomenda cursar simultaneamente

Materias que continúan o temario

Álxebra/614111106 Matemática Discreta I/614111107 Programación Declarativa/614111207 Programación Funcional/614111635

Observacións