Teaching

 

Below is a list of all the courses I have been involved with, including the course description, exercises and, in some case, solutions (all in Spanish).

Curso 2018/2019

Discrete Mathematics and Mathematical Logical
syllabus

Curso 2017/2018

Discrete Mathematics and Mathematical Logical
syllabus

Curso 2016/2017

Matemática discreta y lógica matemática
ficha docente

Curso 2015/2016

Matemática discreta y lógica matemática
ficha docente

Informática
(primer cuatrimestre - desdoble)

Curso 2014/2015

Matemática discreta y lógica matemática
(coordinador)
ficha docente

Estructuras de datos y algoritmos
(primer cuatrimestre)
ficha docente

Metodología y tecnología de la programación
ficha docente

Curso 2013/2014

Matemática discreta y lógica matemática
ficha docente

Metodología y tecnología de la programación
ficha docente

Curso 2012/2013

Matemática discreta
ficha docente

Metodología y tecnología de la programación
ficha docente

Métodos algorítmicos en la resolución de problemas
ficha docente

Especificación y validación de software
ficha docente

Curso 2011/2012

Matemática discreta
ficha docente

Matemática discreta y lógica matemática
(primer cuatrimestre)
ficha docente

Metodología y tecnología de la programación
(segundo cuatrimestre)
ficha docente

Especificación y validación de software
ficha docente

Curso 2010/2011

Matemática discreta
ficha docente

Metodología y tecnología de la programación
(segundo cuatrimestre)
ficha docente

Especificación y validación de software
ficha docente

Curso 2009/2010

Teoría de autómatas y lenguajes formales
ficha docente | ejercicios

Lógica
(coordinador)
ficha docente

Especificación y validación de software
ficha docente | ejercicios

Curso 2008/2009

Teoría de autómatas y lenguajes formales
ficha docente | ejercicios

Metodología y tecnología de la programación
(segundo cuatrimestre)
ficha docente | ejercicios

Especificación y validación de software
ficha docente

Curso 2007/2008

Lógica
(coordinador)
ficha docente | ejercicios adicionales

Metodología y tecnología de la programación
(coordinador)
ficha docente | ejercicios

Curso 2006/2007

Lógica
(coordinador)
ficha docente | ejercicios adicionales

Metodología y tecnología de la programación
ficha docente | ejercicios

Curso 2005/2006

Laboratorio de sistemas operativos
(coordinador)
ficha docente 1, ficha docente 2 | prácticas

Laboratorio de programación 2
(ayudante)
ficha docente

Curso 2004/2005

(ayudante)

Laboratorio de programación 1
ficha docente

Laboratorio de programación 3
ficha docente

Laboratorio de sistemas operativos
ficha docente

Informática de gestión
ficha docente

Curso 2003/2004

(ayudante)

CS376 Program verification

Laboratorio de programación 1

Laboratorio de programación 2

Laboratorio de sistemas operativos

Curso 2002/2003

(ayudante)

CS376 Program verification