Objetivos

• melhorar a percepção e habilidade de programação (imperativa) através do entendimento da semântica formal de programas e linguagens;
  
• desenvolver a habilidade de desenvolvimento de programas como atividade matemática e a partir de uma especificação formalmente definida.
  

Professor, Carga Horária, Local e Hora

• Hermano Perrelli de Moura (Aula 1 a 16) e Ana Lúcia Caneca Cavalcanti (Aula 17 a 29)
  
• 60 horas-aula (15 semanas)
  
• UFPE/CCEN/DI/Sala M2 nas quartas e UFPE/CCEN/DI/Sala 7 nas sextas
  
• Quartas e sextas, das 12h às 14h
  

Visão Geral do Curso

1. Apresentação
   
2. Motivação
   
3. Semântica de Ações
   
4. Cálculo de Programas
   
5. Conclusões
   

Livro Texto

Semântica de Ações

• Mosses, P. D.. Action Semantics. Volume 26 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
  

Cálculo de Programas

• Carroll Morgan, Programming from Specifications. Prentice-Hall International Series in Computer Science, 1994.
• Kaldwaij, A.. Programming: The Derivation of Algorithms. Prentice-Hall International Series in Computer Science, 1990.
  

Conjuntos de Artigos

Vários artigos serão lidos, resumidos, apresentados e discutidos durante o curso. Estes artigos estão divididos em dois conjuntos denominados Conjunto de Artigos 1 e Conjunto de Artigos 2 e serão definidos, pelo professor, durante o curso.

Avaliação

A avaliação do aluno será obtida em função das notas (de 0 a 10) obtidas nos seguintes exercícios:

• Leitura, resumo, apresentação e discussão do Conjunto de Artigos 1 (em grupo, peso 2)
• Lista de Exercícios (individual e em grupo, peso 3)
• Teste de Avaliação 1 (individual, peso 2)
• Teste de Avaliação 2 (individual, peso 3)

A nota final será a média ponderada das notas obtidas nos itens acima.

Programação de Aulas

Aula	Data Prevista	Conteúdo	Local	Observações
1	13 ago	Apresentação	Sala	Apresentação do curso; distribuição do Conjunto de Artigos 1.
2	15 ago	Motivação 1	Casa	Leitura, resumo e preparação da apresentação do Conjunto de Artigos 1.
3	20 ago	Motivação 2	Casa	Leitura, resumo e preparação da apresentação do Conjunto de Artigos 1.
4	22 ago	Motivação 3	Sala	Apresentação e discussão do Conjunto de Artigos 1. Entrega dos resumos.
5	27 ago	Motivação 4	Sala	Apresentação e discussão do Conjunto de Artigos 1. Entrega dos resumos.
6	29 ago	Motivação 5	Sala	Apresentação e discussão do Conjunto de Artigos 1. Entrega dos resumos.
7	10 set	Semântica de Ações 1	Sala
8	12 set	Semântica de Ações 2	Sala
9	17 set	Semântica de Ações 3	Lab
10	19 set	Semântica de Ações 4	Sala
11	24 set	Semântica de Ações 5	Sala
12	26 set	Semântica de Ações 6	Sala
13	1 out	Semântica de Ações 7	Lab
14	3 out	Lista de Exercícios	Casa
15	15 out	Semântica de Ações 7	Lab	Aula Prática 2 (Grad 2, 12h às 14h)
16	17 out	Lista de Exercícios	Casa
17	22 out	Teste de Avaliação 1	Sala	Entrega da Lista de Exercícios
18	24 out	Cálculo de Programas 1	Sala	Slides da Aula 1
19	31 out	Cálculo de Programas 2	Sala	Slides da Aula 2
20	5 nov	Cálculo de Programas 3	Sala	Slides da Aula 3
21	7 nov	Cálculo de Programas 4	Sala
22	12 nov	Cálculo de Programas 5	Sala
23	14 nov	Cálculo de Programas 6	Sala	Exercícios.
24	19 nov	Cálculo de Programas 7	Sala
25	21 nov	Cálculo de Programas 8	Sala
26	26 nov	Cálculo de Programas 9	Sala
27	28 nov	Cálculo de Programas 10	Sala	Exercícios
28	3 dez	Teste de Avaliação 2	Sala
29	5 dez	Prova Final	Sala

Referências

1. Dijkstra, E. W.. A Discipline of Programming. Prentice-Hall, 1976.
   
2. Gries, D.. The Science of Programming. Springer-Verlag, 1981.
   
3. Hoare, C. A. R.. An Axiomatic Basis for Computer Programming. ...,1969.
   
4. Jones, C. B.. The Search for Tractable Ways of Reasoning about Programs. University of Manchester, Department of Computer Science, Technical Report UMCS-92-4-4, 1992.
   
5. Kaldwaij, A.. Programming: The Derivation of Algorithms. Prentice-Hall, 1990.
   
6. Morgan, C.. Programming from Specifications. Prentice-Hall International Series in Computer Science, 1994.
   
7. Mosses, P. D.. Action Semantics. Volume 26 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1992.
   
8. R. W. Floyd. Assigning Meanings to Programs. In J. T. Schwartz, editor, Mathematical Aspects of Computer Science. American Mathematical Society, 1967.