-
El acta ha sido reenviada. 21 Dic 200921/12/09 a las 11:09 hrs.2009-12-21 11:09:21
Pablo Barcelo B.
-
El acta ha sido enviada. 10 Dic 200910/12/09 a las 13:56 hrs.2009-12-10 13:56:10 Pablo Barcelo B.
-
Nota final 10 Dic 200910/12/09 a las 13:47 hrs.2009-12-10 13:47:10 Pablo Barcelo B.
-
Tarea 4 10 Dic 200910/12/09 a las 13:47 hrs.2009-12-10 13:47:10 Pablo Barcelo B.
-
Examen 2 Dic 200902/12/09 a las 23:26 hrs.2009-12-02 23:26:02 Pablo Barcelo B.
-
Presentaciones 1 Dic 200901/12/09 a las 14:09 hrs.2009-12-01 14:09:01 Pablo Barcelo B.
-
Sala Examen CC51N, Hoy Lunes 30/11 30 Nov 200930/11/09 a las 11:52 hrs.2009-11-30 11:52:30
Sandra Gaez M.
-
Guia 4 28 Nov 200928/11/09 a las 19:26 hrs.2009-11-28 19:26:28 Pablo Barcelo B.
-
Guia 3 28 Nov 200928/11/09 a las 19:25 hrs.2009-11-28 19:25:28 Pablo Barcelo B.
-
Guia 2 28 Nov 200928/11/09 a las 19:24 hrs.2009-11-28 19:24:28 Pablo Barcelo B.
-
Guia 1 28 Nov 200928/11/09 a las 19:24 hrs.2009-11-28 19:24:28 Pablo Barcelo B.
-
Algoritmo verificacion para CTL 15 Nov 200915/11/09 a las 23:16 hrs.2009-11-15 23:16:15 Pablo Barcelo B.
-
Expresividad de logicas temporales 8 Nov 200908/11/09 a las 21:37 hrs.2009-11-08 21:37:08 Pablo Barcelo B.
-
Logicas temporales 8 Nov 200908/11/09 a las 21:36 hrs.2009-11-08 21:36:08 Pablo Barcelo B.
-
Introduccion a la verificacion 8 Nov 200908/11/09 a las 21:36 hrs.2009-11-08 21:36:08 Pablo Barcelo B.
-
Tarea 3 4 Nov 200904/11/09 a las 15:48 hrs.2009-11-04 15:48:04 Pablo Barcelo B.
-
Tarea 4 4 Nov 200904/11/09 a las 11:50 hrs.2009-11-04 11:50:04 Pablo Barcelo B.
-
MSO vs Automatas II 25 Oct 200925/10/09 a las 18:37 hrs.2009-10-25 18:37:25 Pablo Barcelo B.
-
MSO vs Automatas I 25 Oct 200925/10/09 a las 18:37 hrs.2009-10-25 18:37:25 Pablo Barcelo B.
-
Tarea 3 18 Oct 200918/10/09 a las 22:49 hrs.2009-10-18 22:49:18 Pablo Barcelo B.
-
Tarea 2 12 Oct 200912/10/09 a las 22:23 hrs.2009-10-12 22:23:12 Pablo Barcelo B.
-
tarea 4 Oct 200904/10/09 a las 16:12 hrs.2009-10-04 16:12:04
Tomás Veloz G.
-
Teoría de modelos finitos: Motivación 27 Sep 200927/09/09 a las 14:59 hrs.2009-09-27 14:59:27 Pablo Barcelo B.
-
Juegos de Ehrenfeucht-Fraisse: Parte 2 27 Sep 200927/09/09 a las 14:29 hrs.2009-09-27 14:29:27 Pablo Barcelo B.
-
Juegos de Ehrenfeucht-Fraisse: Parte 1 27 Sep 200927/09/09 a las 14:29 hrs.2009-09-27 14:29:27 Pablo Barcelo B.
U-Cursos ::
CC51N-1 Métodos Lógicos en Ciencia de la Computación 2009, Primavera
Métodos Lógicos en Ciencia de la Computación
CC51N-1 - Primavera 2009
- Historial
