Tabela de Conteúdos

:!: Página descontinuada, provavelmente o material não é mais acessível.

Semântica formal N (2006/1)

If you don't have a specification, it can't be wrong.
It can only be surprising.

:!: Bem-vindo à semântica.

Informações gerais

Carga horária: 60 h (em 30 aulas de 2h)
Créditos: 4
Súmula: Introdução ao cálculo lambda. Domínios de Scott; pontos fixos de funções contínuas. Semântica denotacional. Semântica algébrica. Semântica de ações. Semântica axiomática. Semântica operacional.
Turma: B
Horário/Sala: Terça 10:30-12:10 e quinta 10:30-12:10 na sala 113 do prédio 43425 (vê também aqui).
Consultas: Quarta 13-15.
Detalhes: Vê o programa.

Datas importantes

Resultados

Materiais

Aulas

Aqui se acha uma versão dos slides das aulas (handout em preto e branco) junto com os exercícios.

No. Data Tópicos Material
1 07/03/2006 Administrativa. Introdução. Slides, Discussão: Semântica de C e C++
2 09/03/2006 Semântica operacional natural. Slides, Exercícios 1
3 14/03/2006 Princípios de indução e características da linguagem Slides
4 16/03/2006 Características da linguagem. Semântica operacional estrutural. Slides, Exercícios 2
5 21/03/2006 Semântica operacional estrutural. Paralelismo. Slides
6 23/03/2006 Introdução a OCaml. Slides, Exercícios 3, Regras da SO
7 28/03/2006 Revisão da SO. Revisão de princípios de indução. Slides
8 30/03/2006 Extensões de IMP: Escopos e procedimentos. Slides, Exercícios 4
9 04/04/2006 Sistemas de tipos. Slides
10 06/04/2006 Semântica axiomática: Introdução. Slides
11 11/04/2006 Semântica axiomática. Laços e exemplos. Slides
12 13/04/2006 Semântica axiomática. Consistencia e completude. Corretude total. Slides, Exercícios 5
13 18/04/2006 Revisão para prova 1.
14 20/04/2006 Semântica operacional e axiomática: Exercícios Exercícios 6
15 25/04/2006 Prova 1 Prova 1
16 27/04/2006 Resultados da prova 1. Soluções prova 1
17 02/05/2006 Introdução à semântica denotational e o cálculo lambda. Slides, Proposta de trabalhos
18 04/05/2006 Semântica do cálculo lambda. Slides, Exercícios 7
19 09/05/2006 Semântica denotational do IMP: Expressões e comandos simples. Slides, Texto sobre semântica denotational (Prof. Moreira)
20 11/05/2006 Semântica denotational do IMP: Laços. Slides, Exercícios 8
21 16/05/2006 Semântica denotational: Ordenações parciais e domínios. Slides
22 18/05/2006 Semântica denotational: Domínios. Aplicação à IMP. Slides
23 23/05/2006 Semântica denotational: Extensões. Slides
24 25/05/2006 Semântica denotational: Extensões. Slides, Exercícios 9
25 30/05/2006 Revisão para prova 2. Regras da SD
26 01/06/2006 Prova 2 Prova 2
27 06/06/2006 Resultados da prova 2. Soluções prova 2
28 08/06/2006 Apresentação dos trabalhos.
29 13/06/2006 Apresentação dos trabalhos.
15/06/2005 Feriado: Corpus_Cristi
30 20/06/2006
29/06/2006 Revisão, exercícios e perguntas. Exercícios 10
04/07/2006 Recuperacão Prova, Solução

Suplementos

Bibliografia