Docencia
/ Teaching
Curso
2011-12
: Todas las asignaturas están disponibles mediante la
herramienta moodle (http://moodle3.ehu.es/)
- Modelos Abstractos de Cómputo / Autómatas
y Lenguajes Formales (MAC I y ALF): asignaturas de 2º curso de
la Ingeniería en Informática (II) y de la Ingeniería Técnica en
Informática de Sistemas (ITIS) respectivamente.
- Programación Básica (PB): asignatura de 1º curso en el Grado
en Informática..
- Programación Lógica (PL): asignatura optativa en la
Ingeniería en Informática (II).
- Diseño de sistemas usando métodos visuales (DSMV): asignatura
impartida en el Master universitario en Sistemas Informáticos
Avanzados (Información del Master SIA en: http://www.sistemasinformaticosavanzados.ehu.es)
Otras asignaturas y cursos de doctorado (impartidos en los últimos años):
- Fundamentos de Lenguajes de Programación, Programación Funcional, Metodología de la
Programación, Programación Funcional Monádica, Lenguajes
Declarativos.
Research
/ Investigación
TRS: A
Resolution-based Theorem prover for Temporal Logic PLTL
Marisa Navarro (Last Modified: December 2011)
