- Docente: Rosália Rodrigues
- Aulas Teóricas:
Segundas-Feiras, das 9 às 10:30 horas, na sala 11.2.23
Quintas-Feiras, das 9 às 10:30 horas, na sala 11.1.28 - Aulas Práticas:
Quintas-Feiras, das 10:30 às 12:30 horas, na sala 11.2.7 - Atendimento de alunos:
Terças-Feiras, das 16 às 19 horas, no gabinete 11.3.27 - Acetatos das Aulas Teóricas:
- Capa
- Introdução
- Capítulo 0 : Conceitos Fundamentais
- Capítulo 1 : Verificação Formal
- Capítulo 2 : Complexidade Algorítmica
- Capítulo 3 : Algoritmos Recorrentes
- Capítulo 4 : Estruturas de Dados
- Capítulo 5 : Tipos Abstractos de Dados
- Extractos dos Diagramas de Sintaxe da Linguagem Pascal
- Tabela ASCII de caracteres
- Artigos:
- Extractos da Axiomática de Hoare
- Apoio às Aulas Práticas:
- Alguns Exercícios das Aulas Práticas
- Arquivo de Exercícios
- Sobre a construção de Algoritmos Recorrentes
- Operações sobre Listas Ligadas Lineares
- Projectos:
- Normas para a elaboração dos Relatórios
- 1º Projecto
- 2º Projecto
- 3º Projecto
- Exames:
- 1ª Chamada em 5 de Janeiro de 2007.
- 2ª Chamada em 18 de Janeiro de 2007.
- Recurso em 11 de Julho de 2007.
Ada Lovelace