Fundamentos Algébricos da Engenharia da Programação

Disciplina da Secção de Ciência da Computação

Cursos:
LMAC (Licenciatura em Matemática Aplicada e Computação)
LCI (Licenciatura em Ciências Informáticas)

Ano lectivo: 2003/04

Professor Responsável: Paula Gouveia

• Avisos
• Horários
• Sumários
• Avaliação
• Material de apoio

Avisos 

• Está disponível o enunciado do Exame 1.
• Está disponível a pauta com as notas finais. A revisão de provas poderá ser feita durante os dias 26 e 27 de Julho.
  

Horários

Aulas teóricas

2ª-feira das 13h30m às 15h00m, sala V1.16
5ª-feira das 10h às 11h30m, sala V0.04

Aulas práticas

2ª-feira das 15h às 17h, sala V1.14

Dúvidas

5ª-feira das 16h30m às 18h30m

Avaliação

• Trabalho (5 valores) + Exame (15 valores / nota mínima 7 valores)

Sumários

• Aulas teóricas

• Aulas práticas

Material de apoio

• Exemplos de Programação em Mathematica  

Torres de Hanoi

Tautologias proposicionais usando tableaux

Troço de auto-estrada: simulação discreta estocástica

• Exemplos de modelos de nat
  
  
• Exercícios de Especificações Algébricas

Especificação de tipos de dados abstractos  
Atenção: corrigida gralha no ex.11 (argumentos da operação matrix são inteiros) 

Cálculo equacional e sistemas de reescrita
Atenção: corrigida gralha no ex.2.b.ii; corrigida gralha no ex.6 (primeiro axioma, alínea a.i e alínea a.ii) 

Modelos de especificações algébricas I

Propriedades dos sistemas de reescrita

Modelos de especificações algébricas II

• Exercícios de Teoria de Categorias

Exercícios

• Exames anteriores

2001/2002:   exame1, exame2

2000/2001: exame1, exame2

Última actualização: 1 de Março de 2004