U-Cursos ::

CC5102-1 Métodos Lógicos en Ciencias de la Computación 2014, Primavera

  • Compartir Recargar
  • Contacto
  • Entrar

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

CC5102-1 - Primavera 2014

  • Historial
  • Horario
  • Integrantes
  • Material Docente
  • Presentación
  • Historial

Historial

  • Foro

    Re (10): Tarea 3 25 Nov 201425/11/14 a las 21:34 hrs.2014-11-25 21:34:25

    Camila Álvarez I. Camila Álvarez I.

  • Foro

    Re (1): Automatas! 24 Nov 201424/11/14 a las 21:30 hrs.2014-11-24 21:30:24

    Camila Álvarez I. Camila Álvarez I.

  • Foro

    Automatas! 24 Nov 201424/11/14 a las 21:30 hrs.2014-11-24 21:30:24

    Camila Álvarez I. Camila Álvarez I.

  • Material Docente

    tarea3g.tex 24 Nov 201424/11/14 a las 12:46 hrs.2014-11-24 12:46:24

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Material Docente

    Tarea 3 (Completa) 24 Nov 201424/11/14 a las 12:45 hrs.2014-11-24 12:45:24

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Tarea 3 (Completa) 24 Nov 201424/11/14 a las 12:44 hrs.2014-11-24 12:44:24

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Re (9): Tarea 3 22 Nov 201422/11/14 a las 23:26 hrs.2014-11-22 23:26:22

    Álvaro Bustos G. Álvaro Bustos G.

  • Foro

    Re (8): Tarea 3 22 Nov 201422/11/14 a las 17:46 hrs.2014-11-22 17:46:22

    Camila Álvarez I. Camila Álvarez I.

  • Foro

    Re (7): Tarea 3 21 Nov 201421/11/14 a las 10:50 hrs.2014-11-21 10:50:21

    Camila Álvarez I. Camila Álvarez I.

  • Foro

    Re (6): Tarea 3 21 Nov 201421/11/14 a las 10:36 hrs.2014-11-21 10:36:21

    Sebastián Pérez Salazar Sebastián Pérez Salazar

  • Foro

    Re (5): Tarea 3 21 Nov 201421/11/14 a las 10:06 hrs.2014-11-21 10:06:21

    Álvaro Bustos G. Álvaro Bustos G.

  • Foro

    Re (4): Tarea 3 20 Nov 201420/11/14 a las 22:32 hrs.2014-11-20 22:32:20

    Camila Álvarez I. Camila Álvarez I.

  • Foro

    Re (3): Tarea 3 20 Nov 201420/11/14 a las 13:08 hrs.2014-11-20 13:08:20

    Felipe Contreras Salinas Felipe Contreras Salinas

  • Foro

    Re (2): Tarea 3 20 Nov 201420/11/14 a las 13:01 hrs.2014-11-20 13:01:20

    Felipe Contreras Salinas Felipe Contreras Salinas

  • Foro

    Re (1): Tarea 3 20 Nov 201420/11/14 a las 12:47 hrs.2014-11-20 12:47:20

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Tarea 3 19 Nov 201419/11/14 a las 23:34 hrs.2014-11-19 23:34:19

    Camila Álvarez I. Camila Álvarez I.

  • Foro

    En relacion a la clase de hoy 19 Nov 201419/11/14 a las 10:11 hrs.2014-11-19 10:11:19

    Camila Álvarez I. Camila Álvarez I.

  • Foro

    Clase de hoy 19 Nov 201419/11/14 a las 09:39 hrs.2014-11-19 09:39:19

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    "Monadic datalog on trees", este viernes, auditorio 3er piso 6 Nov 201406/11/14 a las 15:24 hrs.2014-11-06 15:24:06

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Re (2): Libro de Modelos Finitos 6 Nov 201406/11/14 a las 15:21 hrs.2014-11-06 15:21:06

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Re (1): Libro de Modelos Finitos 6 Nov 201406/11/14 a las 11:11 hrs.2014-11-06 11:11:06

    Rodolfo A. Ávila Rodolfo A. Ávila

  • Foro

    Libro de Modelos Finitos 6 Nov 201406/11/14 a las 10:05 hrs.2014-11-06 10:05:06

    Simón Piga Simón Piga

  • Material Alumnos

    Finite model Theory -Libkin.pdf 6 Nov 201406/11/14 a las 09:58 hrs.2014-11-06 09:58:06

    Simón Piga Simón Piga

  • Material Alumnos

    Finite model, personal view.pdf 6 Nov 201406/11/14 a las 09:50 hrs.2014-11-06 09:50:06

    Simón Piga Simón Piga

  • Foro

    Hoy no hay clases!!!! 29 Oct 201429/10/14 a las 16:17 hrs.2014-10-29 16:17:29

    Jorge Pérez Rojas Jorge Pérez Rojas

  • «
  • 1
  • 2
  • 3
  • 4
  • 5
  • …
  • 9
  • »
  • «
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • »
  • Tema:
    • Claro
    • Oscuro
  • Idioma:
    • Espańol
    • English
  • Políticas de Uso
  • Privacidad
  • Centro Tecnológico Ucampus