Seminario de Matemáticas

• Horario de clases : Viernes 13:00 - 16:00 Eventualmente algunos sábados
• Fecha de pruebas:
  • Prueba 1: Viernes 10 de Mayo de 2013

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

Tareas

• Tarea 1: Inducción Estructural y Scheme

Pruebas anteriores y Talleres

• Prueba 1-2011
• Prueba 2-2011
• Prueba 1-2012
• Prueba 2-2012
• Taller 2-2012

Materiales

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