Profesor:
Jose E. Labra G.
Asignatura del plan nuevo de la
Escuela Universitaria de
Ingeniería Técnica Informática
de la
Universidad de Oviedo.
Pueden consultarse dudas y otras cuestiones de la asignatura en este
hilo del foro de la EUITIO
- Apuntes de Deducción Natural
(PDF)
(HTML). NOTA: Estos apuntes utilizan
caracteres Unicode para representar cuantificadores
y conectivas. Si al cargar la versión HTML se ven caracteres extraños,
cambiar la codificación del visualizador a UTF-8.
-
Ejercicios de Lógica Informática.
Jose E. Labra G., Ana I. Fernández M., Jesús Arturo Pérez Díaz,
Cuaderno Didáctico
Num. 9, Ed. Servitec,
ISBN: 84-8416-357-1, Oct. 1998.
Versión de Septiembre de 2002
- Ejercicios propuestos en clase con soluciones (versión 28/01/2001).
(Versión HTML)
(Versión PDF)
-
Lógica Proposicional para Informática.
Jose E. Labra G., Ana I. Fernández M. Cuaderno
Didáctico Num. 12, Ed. Servitec, ISBN:
84-8416-613-9, Oct. 1998
-
Lógica de Predicados.
Jose E. Labra G., Daniel Ferández Lanvín,
Cuaderno Didáctico, Ed. Servitec, 2005
-
Programación Lógica Pura (Transparencias de una Lección)
-
Programación Práctica en Prolog
J. E. Labra G. Cuaderno Didáctico Num. 13,
Ed. Servitec,
ISBN: 84-8416-612-0, Nov. 1998
- Curso 2008-2009
- Curso 2007-2008
- Curso 2006-2007
- Curso 2005-2006
- Curso 2004-2005
- Curso 2003-2004
- Curso 2002-2003
- Curso 2001-2002
- Curso 2000-2001.
Todos los exámenes incluyen las soluciones.
- Noviembre 2009
(Parcial 1)
- Junio de 2008
(Parcial 1)
(Parcial 2)
- 13 de Febrero de 2008
(Parcial 1)
(Parcial 2)
- 23 de Enero de 2008 (
Parcial 2)
- 21 de Noviembre de 2007 (
Parcial 1)
- 16 de Febrero de 2007
(Parcial 1),
(Parcial 2)
- 15 de Noviembre de 2006 (
Parcial 1)
- 12 Septiembre 2006 (
Primer parcial, test,
Segundo parcial, test,
Deducción Natural)
-
24 de Junio de 2006 (
Parcial 1 y 2)
-
16 de Febrero de 2006 (
Parcial 1 y
Parcial 2
)
-
21 de Enero 2006 (
Parcial 2
)
-
19 de Noviembre de 2005 (
Parcial 1
)
-
15 de Febrero de 2005 (
Parcial 1 y 2
)
-
22 de Enero de 2005 (
Parcial 2
)
-
20 de Noviembre de 2004 (
Parcial 1
)
-
11 de Septiembre de 2004 (
Parciales 1 y 2
)
-
16 de Junio de 2004 (
Parciales 1 y 2
)
-
14 de Febrero de 2004 (
Primer Parcial,
Segundo Parcial
)
-
24 Enero 2004
-
15 Noviembre 2003
- Septiembre 2003
- 26 Junio 2003
- 15 Febrero 2003
Primer Parcial
Segundo Parcial
- 25 Enero 2003
Segundo Parcial
- 16 Noviembre 2002
Primer Parcial
- 2 de Septiembre de 2002
Primer Parcial,
Segundo Parcial
- 27 de Junio de 2002
Primer Parcial,
Segundo Parcial
- 14 de Febrero de 2002.
Primer Parcial,
Segundo Parcial
- 1 Febrero 2002
Segundo Parcial
- 10 Noviembre 2001
Primer Parcial
- 3 Septiembre 2001.
Segundo Parcial,
Primer Parcial
- 11 Junio 2001.
Segundo Parcial ,
Primer Parcial .
- 14 Febrero 2001.
Segundo Parcial ,
Primer Parcial .
-
Segundo parcial, 3 Febrero 2001.
- Los exámenes de otros años se pueden encontrar en el
cuaderno didáctico núm. 9 (ver
sección apuntes)
- Curso 2004-2005
- Curso 2003-2004
- Curso 2003-2003
Estadísticas
Resumen estadístico no oficial. Para obtener datos más fiables,
puede consultarse la sección de
estadísticas de la página dedicada al
plan de Calidad de la EUITIO
Valores absolutos
|
Junio |
Septiembre |
Junio + Septiembre |
Aprob |
Susp |
Renun |
Aprob |
Susp |
Renun |
Aprob |
Susp |
Renun |
Aprob |
93-94 |
Gestión |
82 |
51 |
48 |
29 |
23 |
46 |
1 |
2 |
0 |
Sistemas |
90 |
39 |
42 |
17 |
25> |
39> |
2 |
0 |
1 |
94-95
|
Gestión
|
61
|
54
|
46
|
25
|
25
|
50
|
3
|
1
|
1
|
Sistemas
|
78
|
40
|
47
|
21
|
16
|
48
|
2
|
6
|
2
|
95-96
|
Gestión
|
50
|
57
|
38
|
14
|
27
|
52
|
3
|
4
|
2
|
Sistemas
|
75
|
33
|
45
|
12
|
16
|
49
|
2
|
3
|
0
|
96-97
|
Gestión
|
69
|
48
|
45
|
19
|
19
|
49
|
3
|
2
|
1
|
Sistemas
|
75
|
46
|
28
|
14
|
20
|
35
|
7
|
0
|
2
|
97-98
|
Gestión
|
37
|
72
|
49
|
30
|
36
|
52
|
3
|
2
|
3
|
Sistemas
|
61
|
63
|
54
|
31
|
28
|
54
|
4
|
3
|
3
|
98-99
|
Gestión
|
49
|
62
|
54
|
|
|
|
|
|
|
Sistemas
|
93
|
27
|
49
|
|
|
|
|
|
|
Porcentajes
|
Junio |
Septiembre |
Junio + Septiembre |
Aprob |
Susp |
Renun |
Aprob |
Susp |
Renun |
Aprob |
Susp |
Renun |
93-94 |
Gestión |
45%
|
29%
|
26%
|
30%
|
23%
|
47%
|
62%
|
13%
|
25%
|
Sistemas
|
52%
|
24%
|
24%
|
21%
|
31%
|
48%
|
62%
|
15%
|
23%
|
94-95
|
Gestión
|
39%
|
33%
|
28%
|
25%
|
25%
|
50%
|
54%
|
15%
|
31%
|
Sistemas
|
48%
|
24%
|
28%
|
25%
|
19%
|
56%
|
60%
|
10%
|
29%
|
95-96
|
Gestión
|
35%
|
39%
|
26%
|
16%
|
29%
|
55%
|
45%
|
18%
|
|
Sistemas |
50%
|
21%
|
29%
|
16%
|
21%
|
63%
|
57%
|
10%
|
32%
|
96-97
|
Gestión
|
42%
|
30%
|
28%
|
22%
|
22%
|
56%
|
55%
|
13%
|
31%
|
Sistemas
|
50%
|
31%
|
19%
|
20%
|
29%
|
51%
|
60%
|
13%
|
23%
|
97-98
|
Gestión
|
24%
|
45%
|
31%
|
26%
|
30%
|
44%
|
44%
|
23%
|
33%
|
Sistemas
|
35%
|
35%
|
30%
|
28%
|
25%
|
47%
|
53%
|
16%
|
31%
|
98-99
|
Gestión
|
30%
|
37%
|
33%
|
|
|
|
|
|
|
Sistemas
|
55%
|
27%
|
29%
|
|
|
|
|
|
|