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 (1): Grupo de conversación Tarea 2 14 Oct 201414/10/14 a las 14:58 hrs.2014-10-14 14:58:14

    Gabriel Dintrans Gabriel Dintrans

  • Foro

    . 13 Oct 201413/10/14 a las 22:44 hrs.2014-10-13 22:44:13

    Gabriel Dintrans Gabriel Dintrans

  • Foro

    Grupo de conversación Tarea 2 13 Oct 201413/10/14 a las 22:41 hrs.2014-10-13 22:41:13

    Gabriel Dintrans Gabriel Dintrans

  • Material Docente

    Borrador Clase Lógica de Primer Orden II (Lovenhein-Skolem, Propiedades de Teorías, Teorema de Incompletitud de Gödel) 9 Oct 201409/10/14 a las 09:40 hrs.2014-10-09 09:40:09

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Material Alumnos

    church-turing-myth.pdf 9 Oct 201409/10/14 a las 00:23 hrs.2014-10-09 00:23:09

    Daniel Hernández Daniel Hernández

  • Material Alumnos

    Kauffman, Answering Descartes: Beyond Turing.pdf 8 Oct 201408/10/14 a las 19:19 hrs.2014-10-08 19:19:08

    Simón Piga Simón Piga

  • Notas

    Tarea 1 6 Oct 201406/10/14 a las 22:30 hrs.2014-10-06 22:30:06

    Miguel Romero O. Miguel Romero O.

  • Material Docente

    Tarea 2 6 Oct 201406/10/14 a las 16:14 hrs.2014-10-06 16:14:06

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Re (2): Habrá lógica en la semana olímpica? 29 Sep 201429/09/14 a las 15:32 hrs.2014-09-29 15:32:29

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

  • Foro

    Re (1): Habrá lógica en la semana olímpica? 29 Sep 201429/09/14 a las 14:00 hrs.2014-09-29 14:00:29

    Felipe Contreras Salinas Felipe Contreras Salinas

  • Foro

    Habrá lógica en la semana olímpica? 29 Sep 201429/09/14 a las 13:51 hrs.2014-09-29 13:51:29

    Diego Orellana Gutiérrez Diego Orellana Gutiérrez

  • Material Docente

    Borrador Clases de Lógica de Primer Orden (Sintaxis, Semántica, Indecidibilidad, Isomorfismo, Completitud, Compacidad) 24 Sep 201424/09/14 a las 09:31 hrs.2014-09-24 09:31:24

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Material Docente

    Borrador Clase MTs y Lógica Proposicional 24 Sep 201424/09/14 a las 09:31 hrs.2014-09-24 09:31:24

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Encuestas

    Encuesta Docente de Mitad de Semestre 22 Sep 201422/09/14 a las 13:00 hrs.2014-09-22 13:00:22

  • Foro

    Re (1): no hay clases hoy 10 Sep 201410/09/14 a las 15:30 hrs.2014-09-10 15:30:10

    Diego Orellana Gutiérrez Diego Orellana Gutiérrez

  • Foro

    no hay clases hoy 10 Sep 201410/09/14 a las 13:45 hrs.2014-09-10 13:45:10

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Survey sobre números reales 8 Sep 201408/09/14 a las 23:02 hrs.2014-09-08 23:02:08

    Daniel Hernández Daniel Hernández

  • Material Alumnos

    realnumbers.pdf 8 Sep 201408/09/14 a las 23:00 hrs.2014-09-08 23:00:08

    Daniel Hernández Daniel Hernández

  • Foro

    Re (12): Clase de hoy 1 Sep 201401/09/14 a las 11:04 hrs.2014-09-01 11:04:01

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

  • Foro

    Re (11): Clase de hoy 1 Sep 201401/09/14 a las 10:44 hrs.2014-09-01 10:44:01

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Re (10): Clase de hoy 28 Ago 201428/08/14 a las 16:39 hrs.2014-08-28 16:39:28

    Nicolas Lehmann Melendez Nicolas Lehmann Melendez

  • Foro

    Re (9): Clase de hoy 28 Ago 201428/08/14 a las 15:58 hrs.2014-08-28 15:58:28

    Camila Álvarez I. Camila Álvarez I.

  • Foro

    Re (8): Clase de hoy 28 Ago 201428/08/14 a las 15:58 hrs.2014-08-28 15:58:28

    Matías Cisterna M. Matías Cisterna M.

  • Foro

    Re (7): Clase de hoy 27 Ago 201427/08/14 a las 12:45 hrs.2014-08-27 12:45:27

    Jorge Pérez Rojas Jorge Pérez Rojas

  • Foro

    Re (6): Clase de hoy 27 Ago 201427/08/14 a las 12:45 hrs.2014-08-27 12:45:27

    Jorge Pérez Rojas Jorge Pérez Rojas

  • «
  • 1
  • …
  • 4
  • 5
  • 6
  • …
  • 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