Seminario de Matemáticas

• Prueba 1: Pendiente
• Prueba 2: Pendiente
• Prueba 2: Pendiente

Observación: Las pruebas son sin apuntes, pero se admite un chancuco oficial (una hoja de oficio por lado y lado).

Pruebas

• Prueba 1-2011
• Prueba 2-2011
• Prueba 1-2012
• Prueba 2-2012
• Prueba 2-2013
• Prueba 2-2014

Talleres

• Taller Laboratorio 2-2014
• Taller 2-2014
• Taller de Inducción Estructural y Scheme

Materiales

• Los apuntes del curso:
  • Introducción al curso
  • Inducción Matemática
  • Programación Funcional
  • Lógica Proposicional
  • Lógica de Primer Orden
• Scheme:
  • Tutorial de Scheme.
  • Especificación de Scheme.
  • Dr Racket.
• Prolog:
  • Pógina de SWI-Prolog.
  • Tutorial de Prolog.