U-Cursos ::

CC51N-1 Métodos Lógicos en Ciencia de la Computación 2007, Primavera

  • Compartir Recargar
  • Contacto
  • Entrar

Métodos Lógicos en Ciencia de la Computación

CC51N-1 - Primavera 2007

  • Bibliografía
  • Calendario
  • Historial
  • Horario
  • Integrantes
  • Material Docente
  • Presentación
  • Historial

Historial

  • Acta

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Notas

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Novedades

    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 Coordinación Docente

  • Material 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. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Notas

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Notas

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

    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. Pablo Barcelo B.

  • Material Docente

    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. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Notas

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Foro

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Foro

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

    Larry González Larry González

  • Foro

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

    Rodrigo Dueñas F. Rodrigo Dueñas F.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

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

    Pablo Barcelo B. Pablo Barcelo B.

  • Material Docente

    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. Pablo Barcelo B.

  • Material Docente

    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. Pablo Barcelo B.

  • Material Docente

    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. Pablo Barcelo B.

  • 1
  • 2
  • »
  • 1
  • 2
  • »
  • Tema:
    • Claro
    • Oscuro
  • Idioma:
    • Español
    • English
  • Políticas de Uso
  • Privacidad
  • Centro Tecnológico Ucampus