Profesores:
Fernando Hernández Magadán,
Jose E. Labra G.,
Daniel
Fernández Lanvin
Daniel
Gayo Avello
César Fernández Acebal
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%
|
|
|
|
|
|
|