2016/17

Programação Funcional (MIEI)
Laboratório de Informática I (MIEI)
Algoritmos e Complexidade (MIEI)
Especificação e Modelação (MIEI)

2015/16

Programação Funcional (MIEI)
Programação Imperativa (MIEI)
Laboratório de Algoritmia II (LCC)
Cálculo de Programas (MIEI)
Especificação e Modelação (MIEI)

2014/15

Programação Funcional (LEI)
Laboratórios de Informárica I (LEI)
Programação Imperativa (LEI)
Laboratório de Algoritmia II (LCC)
Métodos Formais em Engenharia de Software (MI)

2013/14

Programação Funcional (LEI)
Laboratórios de Informárica I (LEI)
Programação Imperativa (LEI)
Laboratório de Algoritmia II (LCC)
Métodos Formais em Engenharia de Software (MI)

2012/13

Programação Funcional (LCC)
Programação Imperativa (LEI)
Laboratório de Algoritmia II (LCC)
Métodos Formais em Engenharia de Software (MI)

2010/11

Programação Funcional (LCC)
Cálculo de Programas (LCC)
Métodos Formais em Engenharia de Software (MI)

2009/10

Laboratórios de Informática I (LEI)
Programação Funcional (LCC)
Métodos Formais em Engenharia de Software (MI)

2008/09

Cálculo de Programas (LEI)
Algoritmos e Complexidade (LCC)
Métodos Formais em Engenharia de Software (MI)
Model-driven Software Development (MAPi)

2007/08

Cálculo de Programas (LEI)
Processos e Concorrência (LCC)
Algoritmos e Complexidade (LEI)
Métodos Formais em Engenharia de Software (MI)
Model-driven Software Development (MAPi)

2006/07

Métodos de Programação I (LESI)
Laboratórios de Informática I (LEI)
Métodos de Programação II (LESI)
Processos e Concorrência (LCC)

2005/06

Métodos de Programação I (LESI)
Criptografia Aplicada (LESI + LMCC)
Métodos de Programação II (LESI)
Elementos Lógicos da Programação III (LMCC)

2004/05

Elementos Lógicos da Programação III (LMCC)
Elementos de Criptografia (LESI + LMCC)
Criptografia (MICEI + MSDPA)

2000/01

Métodos de Programação I (LESI + LMCC)
Criptografia Aplicada (LESI + LMCC)

1999/00

Paradigmas de Programação I (LESI + LMCC)
Criptografia Aplicada (LESI + LMCC)
Elementos de Criptografia (LESI + LMCC)
Elementos Lógicos da Programação III (LMCC)

1998/99

Paradigmas de Programação I (LESI + LMCC)
Criptografia Aplicada (LESI + LMCC)
Elementos de Criptografia (LESI + LMCC)
Elementos Lógicos da Programação III (LMCC)

1997/98

Métodos de Programação III (LESI + LMCC)
Criptografia Aplicada (LESI + LMCC)
Paradigmas de Programação II (LESI + LMCC)
Elementos de Criptografia (LESI + LMCC)

1996/97

Sistemas de Informação (LGE + LAP)
Métodos de Programação II (LESI + LMCC)