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

Temas	Subtemas
1. Introducción a la lógica. 2. Lógica proposicional. 3. Lógica de primer orden 4. Lógica modal 5. Lógica intuicionista	2.0 Sintaxis y semántica 2.1 Métodos deductivos 2.1.1 Tableaux 2.1.2 Principio de Resolución. 2.1.3 Dedución natural. 2.1.4 Secuentes. 3.0 Sintaxis y semántica 3.1 Métodos deductivos 3.1.1 Tableaux 3.1.2 Principio de Resolución. 3.1.3 Dedución natural. 3.1.4 Secuentes. 4.1 Semántica de Kripke 4.2 Tableaux 5.1 Semántica de Brouwer-Kolmogorov-Heyting 5.2 Tableaux