Curso de posgrado segundo semestre de 2015.

Departamento de Matemática, FFHA, Universidad Nacional de San Juan

Guillaume Hoffmann

Horarios:

Programa y apuntes

  1. Lógicas Modales como Fragmentos de Lógicas Clásicas.
  2. Teoría de Modelos I
  3. Teoría de Modelos II
  4. Algoritmos y Complejidad de SAT Modal
  5. Guarded Fragment

Bibliografía

Más bibliografía