Nº Título Por
Clases
1

pdf Algoritmo verificacion para CTL.pdf

181 kb

Pablo Barcelo B.

15 Nov 200915/11/092009-11-15
2

pdf Expresividad de logicas temporales.pdf

177 kb

Pablo Barcelo B.

8 Nov 200908/11/092009-11-08
3

pdf Logicas temporales.pdf

285 kb

Pablo Barcelo B.

8 Nov 200908/11/092009-11-08
4

pdf Introduccion a la verificacion.pdf

279 kb

Pablo Barcelo B.

8 Nov 200908/11/092009-11-08
5

pdf MSO vs Automatas II.pdf

49 kb

Pablo Barcelo B.

25 Oct 200925/10/092009-10-25
6

pdf MSO vs Automatas I.pdf

113 kb

Pablo Barcelo B.

25 Oct 200925/10/092009-10-25
7

pdf Teoría de modelos finitos: Motivación.pdf

106 kb

Pablo Barcelo B.

27 Sep 200927/09/092009-09-27
8

pdf Juegos de Ehrenfeucht-Fraisse: Parte 2.pdf

126 kb

Pablo Barcelo B.

27 Sep 200927/09/092009-09-27
9

pdf Juegos de Ehrenfeucht-Fraisse: Parte 1.pdf

61 kb

Pablo Barcelo B.

27 Sep 200927/09/092009-09-27
10

pdf Teorías de primer orden.pdf

62 kb

Pablo Barcelo B.

31 Ago 200931/08/092009-08-31
11

pdf Teorema de isomorfiismo y definibilidad.pdf

70 kb

Pablo Barcelo B.

31 Ago 200931/08/092009-08-31
12

pdf Lógica de primer orden 2.pdf

78 kb

Pablo Barcelo B.

31 Ago 200931/08/092009-08-31
13

pdf Lógica de primer orden 1.pdf

98 kb

Pablo Barcelo B.

31 Ago 200931/08/092009-08-31
14

pdf Resolución proposicional.pdf

238 kb

Pablo Barcelo B.

15 Ago 200915/08/092009-08-15
15

pdf Teorema de Cook.pdf

76 kb

Pablo Barcelo B.

9 Ago 200909/08/092009-08-09
16

pdf Máquinas de Turing no deterministas.pdf

79 kb

Pablo Barcelo B.

9 Ago 200909/08/092009-08-09
17

pdf Lógica proposicional.pdf

165 kb

Pablo Barcelo B.

27 Jul 200927/07/092009-07-27
Guias
1

pdf Guia 4.pdf

61 kb

Pablo Barcelo B.

28 Nov 200928/11/092009-11-28
2

pdf Guia 3.pdf

32 kb

Pablo Barcelo B.

28 Nov 200928/11/092009-11-28
3

pdf Guia 2.pdf

56 kb

Pablo Barcelo B.

28 Nov 200928/11/092009-11-28
4

pdf Guia 1.pdf

70 kb

Pablo Barcelo B.

28 Nov 200928/11/092009-11-28
Programa
1

pdf Programa del curso.pdf

30 kb

Pablo Barcelo B.

27 Jul 200927/07/092009-07-27
Tareas
1

pdf Tarea 4.pdf

21 kb

Pablo Barcelo B.

4 Nov 200904/11/092009-11-04
2

pdf Tarea 3.pdf

21 kb

Pablo Barcelo B.

18 Oct 200918/10/092009-10-18
3

pdf Tarea 2.pdf

24 kb

Pablo Barcelo B.

2 Sep 200902/09/092009-09-02
4

pdf Tarea 1.pdf

30 kb

Pablo Barcelo B.

14 Ago 200914/08/092009-08-14