El acta ha sido enviada. 3 Dic 200703/12/07 a las 16:19 hrs.2007-12-03 16:19:03

Pablo Barcelo B.

Examen 22 Nov 200722/11/07 a las 16:34 hrs.2007-11-22 16:34:22

Pablo Barcelo B.

Fecha de Examen Modificada (19/11/2007 08:30) 16 Nov 200716/11/07 a las 14:25 hrs.2007-11-16 14:25:16

Coordinación Docente

Expresividad de lógicas temporales 13 Nov 200713/11/07 a las 22:09 hrs.2007-11-13 22:09:13

Pablo Barcelo B.

Guía 4 13 Nov 200713/11/07 a las 22:07 hrs.2007-11-13 22:07:13

Pablo Barcelo B.

Control 3 30 Oct 200730/10/07 a las 13:22 hrs.2007-10-30 13:22:30

Pablo Barcelo B.

Lógicas temporales 30 Oct 200730/10/07 a las 11:53 hrs.2007-10-30 11:53:30

Pablo Barcelo B.

Introducción a verificación 30 Oct 200730/10/07 a las 11:52 hrs.2007-10-30 11:52:30

Pablo Barcelo B.

Guía 3 12 Oct 200712/10/07 a las 14:45 hrs.2007-10-12 14:45:12

Pablo Barcelo B.

Control 2 4 Oct 200704/10/07 a las 17:02 hrs.2007-10-04 17:02:04

Pablo Barcelo B.

Juegos de Ehrenfeucht-Fraïssé: Parte II 2 Oct 200702/10/07 a las 16:00 hrs.2007-10-02 16:00:02

Pablo Barcelo B.

Juegos de Ehrenfeucht-Fraïssé: Parte I 2 Oct 200702/10/07 a las 15:59 hrs.2007-10-02 15:59:02

Pablo Barcelo B.

Guía 2 14 Sep 200714/09/07 a las 17:42 hrs.2007-09-14 17:42:14

Pablo Barcelo B.

Prueba 1 con soluciones 27 Ago 200727/08/07 a las 12:28 hrs.2007-08-27 12:28:27

Pablo Barcelo B.

Control 1 24 Ago 200724/08/07 a las 11:30 hrs.2007-08-24 11:30:24

Pablo Barcelo B.

Guia 1 20 Ago 200720/08/07 a las 12:24 hrs.2007-08-20 12:24:20

Pablo Barcelo B.

Re: Controles? 14 Ago 200714/08/07 a las 12:03 hrs.2007-08-14 12:03:14

Pablo Barcelo B.

Re: Controles? 14 Ago 200714/08/07 a las 10:06 hrs.2007-08-14 10:06:14

Larry González

Controles? 14 Ago 200714/08/07 a las 08:44 hrs.2007-08-14 08:44:14

Rodrigo Dueñas F.

Repaso - Reducciones e Indecibilidad 13 Ago 200713/08/07 a las 12:07 hrs.2007-08-13 12:07:13

Pablo Barcelo B.

Repaso - Máquinas de Turing 13 Ago 200713/08/07 a las 12:07 hrs.2007-08-13 12:07:13

Pablo Barcelo B.

Programa del curso 25 Jul 200725/07/07 a las 09:51 hrs.2007-07-25 09:51:25

Pablo Barcelo B.

Clases - Teorías de primer orden 19 Jul 200719/07/07 a las 12:39 hrs.2007-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 a las 12:38 hrs.2007-07-19 12:38:19

Pablo Barcelo B.

Clases - Lógica de primer orden: Teorema de isomorfismo y definibilidad 19 Jul 200719/07/07 a las 12:38 hrs.2007-07-19 12:38:19

Pablo Barcelo B.