-
El acta ha sido reenviada. 21 Dec 200921/12/09 at 11:092009-12-21 11:09:21
Pablo Barcelo B.
-
El acta ha sido enviada. 10 Dec 200910/12/09 at 13:562009-12-10 13:56:10
Pablo Barcelo B.
-
Nota final 10 Dec 200910/12/09 at 13:472009-12-10 13:47:10
Pablo Barcelo B.
-
Tarea 4 10 Dec 200910/12/09 at 13:472009-12-10 13:47:10
Pablo Barcelo B.
-
Examen 2 Dec 200902/12/09 at 23:262009-12-02 23:26:02
Pablo Barcelo B.
-
Presentaciones 1 Dec 200901/12/09 at 14:092009-12-01 14:09:01
Pablo Barcelo B.
-
Sala Examen CC51N, Hoy Lunes 30/11 30 Nov 200930/11/09 at 11:522009-11-30 11:52:30
Sandra Gaez M.
-
Guia 4 28 Nov 200928/11/09 at 19:262009-11-28 19:26:28
Pablo Barcelo B.
-
Guia 3 28 Nov 200928/11/09 at 19:252009-11-28 19:25:28
Pablo Barcelo B.
-
Guia 2 28 Nov 200928/11/09 at 19:242009-11-28 19:24:28
Pablo Barcelo B.
-
Guia 1 28 Nov 200928/11/09 at 19:242009-11-28 19:24:28
Pablo Barcelo B.
-
Algoritmo verificacion para CTL 15 Nov 200915/11/09 at 23:162009-11-15 23:16:15
Pablo Barcelo B.
-
Expresividad de logicas temporales 8 Nov 200908/11/09 at 21:372009-11-08 21:37:08
Pablo Barcelo B.
-
Logicas temporales 8 Nov 200908/11/09 at 21:362009-11-08 21:36:08
Pablo Barcelo B.
-
Introduccion a la verificacion 8 Nov 200908/11/09 at 21:362009-11-08 21:36:08
Pablo Barcelo B.
-
Tarea 3 4 Nov 200904/11/09 at 15:482009-11-04 15:48:04
Pablo Barcelo B.
-
Tarea 4 4 Nov 200904/11/09 at 11:502009-11-04 11:50:04
Pablo Barcelo B.
-
MSO vs Automatas II 25 Oct 200925/10/09 at 18:372009-10-25 18:37:25
Pablo Barcelo B.
-
MSO vs Automatas I 25 Oct 200925/10/09 at 18:372009-10-25 18:37:25
Pablo Barcelo B.
-
Tarea 3 18 Oct 200918/10/09 at 22:492009-10-18 22:49:18
Pablo Barcelo B.
-
Tarea 2 12 Oct 200912/10/09 at 22:232009-10-12 22:23:12
Pablo Barcelo B.
-
tarea 4 Oct 200904/10/09 at 16:122009-10-04 16:12:04
Tomás Veloz G.
-
Teoría de modelos finitos: Motivación 27 Sep 200927/09/09 at 14:592009-09-27 14:59:27
Pablo Barcelo B.
-
Juegos de Ehrenfeucht-Fraisse: Parte 2 27 Sep 200927/09/09 at 14:292009-09-27 14:29:27
Pablo Barcelo B.
-
Juegos de Ehrenfeucht-Fraisse: Parte 1 27 Sep 200927/09/09 at 14:292009-09-27 14:29:27
Pablo Barcelo B.