Lógicas Modales

Lógicas Modales

El curso Lógicas Modales se dictará en el 1er Cuatrimestre de 2017. Los docente a cargo del curso son:

La pre-inscripción al curso está abierta. Preinscribite ya! Y participá del sorteo de una batidora eléctrica! (ojo, es broma, no vengan a reclamar despues...).

Horarios

El curso se dicta dos veces por semana:

  • Lunes: 16hs -- 18hs, aula 13.
  • Miércoles: 17hs -- 19hs, aula 27.

La primera reunión será el Lunes 13 de Marzo a las 16hs en el Aula 13 y allí decidiremos el horario exacto de las siguientes clases.

Correlativas

Como materia optativa de la Lic. en Ciencias de la Computación el curso tiene como correlativa la materia Introducción a la Lógica y la Computación.

El curso no asume conocimientos previos de lógicas modales, pero si vamos a asumir buen conocimiento de lógica proposicional y conocimiento básico de lógica de primer orden. El curso puede tomarse tambíen como materia de los doctorados de FaMAF. Los alumnos de doctorado tendrán que realizar ejercicios adicionales.

Evaluación

Se tomarán dos evaluaciones parciales y se deberán entregar ejercicios de las prácticas regularmente para su corrección.