-
1 nuevo comentario 6 Sep 202006/09/20 a las 20:49 hrs.2020-09-06 20:49:06 -
El acta ha sido enviada 14 Sep 201114/09/11 a las 17:58 hrs.2011-09-14 17:58:14
Pablo Barcelo B.
-
Notas finales 14 Sep 201114/09/11 a las 17:57 hrs.2011-09-14 17:57:14 Pablo Barcelo B.
-
Tarea 3 22 Jul 201122/07/11 a las 21:27 hrs.2011-07-22 21:27:22 Pablo Barcelo B.
-
Tarea 2 22 Jul 201122/07/11 a las 21:23 hrs.2011-07-22 21:23:22 Pablo Barcelo B.
-
Clases mañana? 21 Jun 201121/06/11 a las 23:22 hrs.2011-06-21 23:22:21
Mauricio Quezada V.
-
tarea3.pdf 11 Jun 201111/06/11 a las 11:14 hrs.2011-06-11 11:14:11 Pablo Barcelo B.
-
MSO vs Automatas: 2 29 May 201129/05/11 a las 22:15 hrs.2011-05-29 22:15:29 Pablo Barcelo B.
-
MSO vs Automatas: 3 25 May 201125/05/11 a las 09:40 hrs.2011-05-25 09:40:25 Pablo Barcelo B.
-
Tarea 2 23 May 201123/05/11 a las 14:35 hrs.2011-05-23 14:35:23 Pablo Barcelo B.
-
Tarea 1 23 May 201123/05/11 a las 11:20 hrs.2011-05-23 11:20:23 Pablo Barcelo B.
-
Complejidad de evaluacion de consultas 3 22 May 201122/05/11 a las 22:00 hrs.2011-05-22 22:00:22 Pablo Barcelo B.
-
Complejidad de evaluacion de consultas 2 22 May 201122/05/11 a las 21:59 hrs.2011-05-22 21:59:22 Pablo Barcelo B.
-
Complejidad de evaluacion de consultas 1 22 May 201122/05/11 a las 21:59 hrs.2011-05-22 21:59:22 Pablo Barcelo B.
-
Re: Tarea 2 20 May 201120/05/11 a las 10:50 hrs.2011-05-20 10:50:20
Víctor Carmi L.
-
Re: Tarea 2 19 May 201119/05/11 a las 19:21 hrs.2011-05-19 19:21:19
Miguel Campusano A.
-
Tarea 2 19 May 201119/05/11 a las 19:11 hrs.2011-05-19 19:11:19 Mauricio Quezada V.
-
Algoritmo de verificacion para CTL 18 Abr 201118/04/11 a las 14:21 hrs.2011-04-18 14:21:18 Pablo Barcelo B.
-
Expresividad de logicas temporales 18 Abr 201118/04/11 a las 14:21 hrs.2011-04-18 14:21:18 Pablo Barcelo B.
-
Re: P5 17 Abr 201117/04/11 a las 20:24 hrs.2011-04-17 20:24:17 Víctor Carmi L.
-
P5 17 Abr 201117/04/11 a las 15:57 hrs.2011-04-17 15:57:17 Mauricio Quezada V.
-
Duda P1 tarea 13 Abr 201113/04/11 a las 13:45 hrs.2011-04-13 13:45:13 Víctor Carmi L.
-
Tarea 1 31 Mar 201131/03/11 a las 21:27 hrs.2011-03-31 21:27:31 Pablo Barcelo B.
-
Logicas temporales 13 Mar 201113/03/11 a las 15:35 hrs.2011-03-13 15:35:13 Pablo Barcelo B.
-
Introduccion a la verificacion 13 Mar 201113/03/11 a las 15:34 hrs.2011-03-13 15:34:13 Pablo Barcelo B.
U-Cursos ::
CC5102-1 Métodos Lógicos en Ciencias de la Computación 2011, Otoño
Métodos Lógicos en Ciencias de la Computación
CC5102-1 - Otoño 2011
- Historial
