CC51N-1 Métodos Lógicos en Ciencia de la Computación 2007, Primavera

U-Cursos requiere Javascript para su correcto funcionamiento, sin embargo puede entrar al sitio a través de U-Pasaporte

Métodos Lógicos en Ciencia de la Computación

CC51N-1 - Primavera 2007

Material Docente

Nº	Título	Por

1	Expresividad de lógicas temporales.pdf 177 kb	Pablo Barcelo B. 13 Nov 200713/11/072007-11-13
2	Guía 4.pdf 61 kb	Pablo Barcelo B. 13 Nov 200713/11/072007-11-13
3	Lógicas temporales.pdf 285 kb	Pablo Barcelo B. 30 Oct 200730/10/072007-10-30
4	Introducción a verificación.pdf 279 kb	Pablo Barcelo B. 30 Oct 200730/10/072007-10-30
5	Guía 3.pdf 32 kb	Pablo Barcelo B. 12 Oct 200712/10/072007-10-12
6	Juegos de Ehrenfeucht-Fraïssé: Parte II.pdf 126 kb	Pablo Barcelo B. 2 Oct 200702/10/072007-10-02
7	Juegos de Ehrenfeucht-Fraïssé: Parte I.pdf 61 kb	Pablo Barcelo B. 2 Oct 200702/10/072007-10-02
8	Guía 2.pdf 56 kb	Pablo Barcelo B. 14 Sep 200714/09/072007-09-14
9	Prueba 1 con soluciones.pdf 33 kb	Pablo Barcelo B. 27 Ago 200727/08/072007-08-27
10	Guia 1.pdf 70 kb	Pablo Barcelo B. 20 Ago 200720/08/072007-08-20
11	Repaso - Reducciones e Indecibilidad.pdf 75 kb	Pablo Barcelo B. 13 Ago 200713/08/072007-08-13
12	Repaso - Máquinas de Turing.pdf 84 kb	Pablo Barcelo B. 13 Ago 200713/08/072007-08-13
13	Programa del curso.pdf 36 kb	Pablo Barcelo B. 25 Jul 200725/07/072007-07-25
14	Clases - Teorías de primer orden.pdf 62 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
15	Clases - Lógica de primer orden: Sistema de deducción de Hilbert.pdf 49 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
16	Clases - Lógica de primer orden: Teorema de isomorfismo y definibilidad.pdf 70 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
17	Clases - Lógica de primer orden II.pdf 78 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
18	Clases - Lógica de primer orden I.pdf 98 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
19	Clases - Teorema de Cook.pdf 76 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
20	Clases - Repaso de complejidad computacional.pdf 79 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
21	Clases - Resolución proposicional.pdf 75 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19
22	Clases - Lógica proposicional.pdf 165 kb	Pablo Barcelo B. 19 Jul 200719/07/072007-07-19

CC51N-1 Métodos Lógicos en Ciencia de la Computación 2007, Primavera

Métodos Lógicos en Ciencia de la Computación

CC51N-1 - Primavera 2007

Material Docente

177 kb

Pablo Barcelo B.

13 Nov 200713/11/072007-11-13

61 kb

Pablo Barcelo B.

13 Nov 200713/11/072007-11-13

285 kb

Pablo Barcelo B.

30 Oct 200730/10/072007-10-30

279 kb

Pablo Barcelo B.

30 Oct 200730/10/072007-10-30

32 kb

Pablo Barcelo B.

12 Oct 200712/10/072007-10-12

126 kb

Pablo Barcelo B.

2 Oct 200702/10/072007-10-02

61 kb

Pablo Barcelo B.

2 Oct 200702/10/072007-10-02

56 kb

Pablo Barcelo B.

14 Sep 200714/09/072007-09-14

33 kb

Pablo Barcelo B.

27 Ago 200727/08/072007-08-27

70 kb

Pablo Barcelo B.

20 Ago 200720/08/072007-08-20

75 kb

Pablo Barcelo B.

13 Ago 200713/08/072007-08-13

84 kb

Pablo Barcelo B.

13 Ago 200713/08/072007-08-13

36 kb

Pablo Barcelo B.

25 Jul 200725/07/072007-07-25

62 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19

49 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19

70 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19

78 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19

98 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19

76 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19

79 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19

75 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19

165 kb

Pablo Barcelo B.

19 Jul 200719/07/072007-07-19