-
El acta ha sido enviada. 3 Dec 200703/12/07 at 16:192007-12-03 16:19:03
Pablo Barcelo B. -
Examen 22 Nov 200722/11/07 at 16:342007-11-22 16:34:22
Pablo Barcelo B. -
Fecha de Examen Modificada (19/11/2007 08:30) 16 Nov 200716/11/07 at 14:252007-11-16 14:25:16
Coordinación Docente -
Expresividad de lógicas temporales 13 Nov 200713/11/07 at 22:092007-11-13 22:09:13
Pablo Barcelo B. -
Guía 4 13 Nov 200713/11/07 at 22:072007-11-13 22:07:13
Pablo Barcelo B. -
Control 3 30 Oct 200730/10/07 at 13:222007-10-30 13:22:30
Pablo Barcelo B. -
Lógicas temporales 30 Oct 200730/10/07 at 11:532007-10-30 11:53:30
Pablo Barcelo B. -
Introducción a verificación 30 Oct 200730/10/07 at 11:522007-10-30 11:52:30
Pablo Barcelo B. -
Guía 3 12 Oct 200712/10/07 at 14:452007-10-12 14:45:12
Pablo Barcelo B. -
Control 2 4 Oct 200704/10/07 at 17:022007-10-04 17:02:04
Pablo Barcelo B. -
Juegos de Ehrenfeucht-Fraïssé: Parte II 2 Oct 200702/10/07 at 16:002007-10-02 16:00:02
Pablo Barcelo B. -
Juegos de Ehrenfeucht-Fraïssé: Parte I 2 Oct 200702/10/07 at 15:592007-10-02 15:59:02
Pablo Barcelo B. -
Guía 2 14 Sep 200714/09/07 at 17:422007-09-14 17:42:14
Pablo Barcelo B. -
Prueba 1 con soluciones 27 Aug 200727/08/07 at 12:282007-08-27 12:28:27
Pablo Barcelo B. -
Control 1 24 Aug 200724/08/07 at 11:302007-08-24 11:30:24
Pablo Barcelo B. -
Guia 1 20 Aug 200720/08/07 at 12:242007-08-20 12:24:20
Pablo Barcelo B. -
Re: Controles? 14 Aug 200714/08/07 at 12:032007-08-14 12:03:14
Pablo Barcelo B. -
Re: Controles? 14 Aug 200714/08/07 at 10:062007-08-14 10:06:14
Larry González -
Controles? 14 Aug 200714/08/07 at 08:442007-08-14 08:44:14
Rodrigo Dueñas F. -
Repaso - Reducciones e Indecibilidad 13 Aug 200713/08/07 at 12:072007-08-13 12:07:13
Pablo Barcelo B. -
Repaso - Máquinas de Turing 13 Aug 200713/08/07 at 12:072007-08-13 12:07:13
Pablo Barcelo B. -
Programa del curso 25 Jul 200725/07/07 at 09:512007-07-25 09:51:25
Pablo Barcelo B. -
Clases - Teorías de primer orden 19 Jul 200719/07/07 at 12:392007-07-19 12:39:19
Pablo Barcelo B. -
Clases - Lógica de primer orden: Sistema de deducción de Hilbert 19 Jul 200719/07/07 at 12:382007-07-19 12:38:19
Pablo Barcelo B. -
Clases - Lógica de primer orden: Teorema de isomorfismo y definibilidad 19 Jul 200719/07/07 at 12:382007-07-19 12:38:19
Pablo Barcelo B.
