CI2511
Lógica Simbólica
(Enero-Marzo 2011)

Información
Principal
Teoría (Clases)
Prácticas
E-mail
Consultas
Webmaster

Bienvenido a la página de Lógica. Aquí se publicará toda la información del curso.

Prácticas

  • Práctica 1 (semana 2)
  • Práctica 2 (semana 3)
  • Práctica 3 (semana 5)
  • Práctica 4 (semana 7)
  • Práctica 5 (semana 8) (extra sobre métodos de prueba)
  • Práctica 6 (semana 9)
  • Práctica 7 (semana 10)
  • Práctica 8 (semana 11)

    Prácticas Viejas

    Examenes Viejos de Práctica

    Aquí pueden bajar la lista de teoremas del Gries.


    Esta página fue creada el el 22 de enero 2004.
    Ultima actualización: 22 de enero de 2004.
    Por favor dirija sus comentarios a Ivette Carolina Martínez

     


    Página mantenida por Ivette Martínez
    Por favor dirigir comentarios al webmaster