Disciplinas leccionadas por Nelma Moreira

2010-2011

• Lógica e Programação
• Verificação Formal de Software

2009-2010

• Lógica e Programação
• Verificação Formal de Software

2008-2009

• Verificação Formal de Software
• Fundamentos de Linguagens de Programação
• Introdução aos Computadores
• Program Semantics, Verification and Construction

2007-2008

• Verificação Formal de Software
• Estruturas de Dados
• Fundamentos de Linguagens de Programação
• Estágio Pedagógico

2006-2007

• Lógica Computacional
• Introdução aos Computadores
• Tópicos Avançados de Informática
• Estágio Pedagógico

2005-2006

• Lógica Computacional
• Tópicos Avançados de Informática

2004-2005

• Lógica Computacional
• Tópicos Avançados de Informática (módulo Sistemas dedutivos e Teoria de Tipos)
Modelos de Computação

2003-2004

• Lógica Computacional
• Tópicos Avançados de Informática (módulo Sistemas dedutivos e Teoria de Tipos)
• Modelos de Computação

2002-2003

• Modelos de Computação
• Projecto

2001-2002

• Programação Imperativa
• Introdução aos Computadores
• Modelos de Computação
• Aplicações Distribuídas e Internet II

2000-2001

• Programação Imperativa
• Introdução aos Computadores
• Monografia
• Modelos de Computação

1999-2000

• Programação Imperativa
• Introdução aos Computadores
• Monografia

1998-1999

• Programação Imperativa
• Introdução aos Computadores
• Interfaces Gráficas
• Processamento de Linguagem Natural

1997-1998

• Programação Imperativa
• Introdução aos Computadores
• Teoria da Computação
• Interfaces Gráficas
• Inteligência Artificial

1996-1997

• Introdução aos Computadores
• Teoria da Computação
• Inteligência Artificial
• Interfaces Homem Máquina

1995-1996

• Introdução aos Computadores
• Teoria da Computação
• Tópicos de Matemática Discreta
• Complexidade

1994-1995

• Introdução aos Computadores
• Teoria da Computação
• Complexidade