Introducción a Lógicas Híbridas





Introducción a Lógicas Híbridas
(En Inglés: Hybrid Logic Tango)

El curso Introducción a Lógicas Híbridas (Hybrid Logic Tango) se dictar� del 11 al 15 de Febrero de 2008. Los docentes del curso son: (because it takes two to tango)

Las clases serán dictadas en inglés, si bien será posible hacer cualquier pregunta en castellano usando el servicio de traducción simultánea a cargo de Carlos. El material del curso (slides, apuntes, etc.) también estará en inglés.

El curso dará un punto de optativa para Licenciatura y medio punto para Doctorado.

Pre-inscribite ahora! Y llevate una remera de regalo que diga "Yo cursé con Patrick Blackburn".

Horarios

El curso se dictará de 18 a 21hs, en aula a confirmar.

Correlativas

Lógica y Computabilidad.

Evaluación

NUEVA VERSIÓN DEL EXAMEN!! Se deben entregar 3 ejercicios en lugar de 2. Bajarla de aquí. El deadline de entrega es el 31 de Marzo. .

Las notas de los exámenes están disponibles aquí.