:!: 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 [[http://www.inf.ufrgs.br/cei/nscad/images/stories/mapa.jpg|prédio 43425]] (vê também [[http://www1.ufrgs.br/Graduacao/InformacoesAcademicas/horariosvagasdepto.asp?act=showtable&cboDepartamento=705&cboSemestre=2006012|aqui]]).\\ **Consultas:** Quarta 13-15.\\ **Detalhes:** Vê o {{sfn-sy.pdf|programa}}. ===== Datas importantes ===== * Aula de exercícios para recuparação no dia 29/06! * :!: Acha algums exercícios um baixo ===== Resultados ===== * :!: [[inf05516-2006-1-F|Perigo de FF]] * [[inf5516-2006-1-Notas|Notas]] * [[inf5516-2006-1-Trabalhos|Trabalhos]] ===== Materiais ===== * [[http://www.inf.ufrgs.br/claroline5/INF05508|Página da disciplina]] em 2005/1 por [[http://www.inf.ufrgs.br/~leila|Leila Ribeiro]] e [[http://www.inf.ufrgs.br/~afmoreira|Álvaro Freitas Moreira]] (não é disponível porque o claroline foi desligado). * [[http://www.inf.ufrgs.br/~afmoreira/Semantica/index.html|Página da disciplina]] em 2006/1 por [[http://www.inf.ufrgs.br/~afmoreira|Álvaro Freitas Moreira]] ==== 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. | {{sfn-a01.pdf|Slides}}, Discussão: [[public:Semântica de C e CPP|Semântica de C e C++]] | | 2 | 09/03/2006 | Semântica operacional natural. | {{sfn-a02.pdf|Slides}}, {{sfn-e01.pdf|Exercícios 1}} | | 3 | 14/03/2006 | Princípios de indução e características da linguagem | {{sfn-a03.pdf|Slides}} | | 4 | 16/03/2006 | Características da linguagem. Semântica operacional estrutural. | {{sfn-a04.pdf|Slides}}, {{sfn-e02.pdf|Exercícios 2}} | | 5 | 21/03/2006 | Semântica operacional estrutural. Paralelismo. | {{sfn-a05.pdf|Slides}} | | 6 | 23/03/2006 | Introdução a OCaml. | {{sfn-a06.pdf|Slides}}, {{sfn-e03.pdf|Exercícios 3}}, {{sfn-so.pdf|Regras da SO}}| | 7 | 28/03/2006 | Revisão da SO. Revisão de princípios de indução. | {{sfn-a07.pdf|Slides}} | | 8 | 30/03/2006 | Extensões de IMP: Escopos e procedimentos. | {{sfn-a08.pdf|Slides}}, {{sfn-e04.pdf|Exercícios 4}} | | 9 | 04/04/2006 | Sistemas de tipos. | {{sfn-a09.pdf|Slides}} | | 10 | 06/04/2006 | Semântica axiomática: Introdução. | {{sfn-a10.pdf|Slides}} | | 11 | 11/04/2006 | Semântica axiomática. Laços e exemplos. | {{sfn-a11.pdf|Slides}} | | 12 | 13/04/2006 | Semântica axiomática. Consistencia e completude. Corretude total. | {{sfn-a12.pdf|Slides}}, {{sfn-e05.pdf|Exercícios 5}} | | 13 | 18/04/2006 | Revisão para prova 1. | | | 14 | 20/04/2006 | Semântica operacional e axiomática: Exercícios | {{sfn-e06.pdf|Exercícios 6}} | | 15 | 25/04/2006 | **Prova 1** | {{sfn-p01.pdf|Prova 1}} | | 16 | 27/04/2006 | Resultados da prova 1. | {{sfn-sp01.pdf|Soluções prova 1}} | | 17 | 02/05/2006 | Introdução à semântica denotational e o cálculo lambda. | {{sfn-a17.pdf|Slides}}, {{sfn-p.pdf|Proposta de trabalhos}} | | 18 | 04/05/2006 | Semântica do cálculo lambda. | {{sfn-a18.pdf|Slides}}, {{sfn-e07.pdf|Exercícios 7}} | | 19 | 09/05/2006 | Semântica denotational do IMP: Expressões e comandos simples. | {{sfn-a19.pdf|Slides}}, [[http://www.inf.ufrgs.br/~afmoreira/Semantica/sden01.pdf|Texto sobre semântica denotational (Prof. Moreira)]] | | 20 | 11/05/2006 | Semântica denotational do IMP: Laços. | {{sfn-a20.pdf|Slides}}, {{sfn-e08.pdf|Exercícios 8}} | | 21 | 16/05/2006 | Semântica denotational: Ordenações parciais e domínios. | {{sfn-a21.pdf|Slides}} | | 22 | 18/05/2006 | Semântica denotational: Domínios. Aplicação à IMP. | {{sfn-a22.pdf|Slides}} | | 23 | 23/05/2006 | Semântica denotational: Extensões. | {{sfn-a23.pdf|Slides}} | | 24 | 25/05/2006 | Semântica denotational: Extensões. | {{sfn-a24.pdf|Slides}}, {{sfn-e09.pdf|Exercícios 9}} | | 25 | 30/05/2006 | Revisão para prova 2. | {{sfn-sd.pdf|Regras da SD}} | | 26 | 01/06/2006 | **Prova 2**| {{sfn-p02.pdf|Prova 2}} | | 27 | 06/06/2006 | Resultados da prova 2.| {{sfn-sp02.pdf|Soluções prova 2}} | | 28 | 08/06/2006 | Apresentação dos [[inf5516-2006-1-Trabalhos|trabalhos]]. | | | 29 | 13/06/2006 | Apresentação dos [[inf5516-2006-1-Trabalhos|trabalhos]]. | | | | 15/06/2005 | Feriado: [[wppt>Corpus_Cristi]] | | | 30 | 20/06/2006 | | | | | 29/06/2006 | Revisão, exercícios e perguntas. | {{sfn-e10.pdf|Exercícios 10}} | | | 04/07/2006 | **Recuperacão** | {{sfn-pr.pdf|Prova}}, {{sfn-spr.pdf|Solução}} | ==== Suplementos ==== * [[http://www.schemers.org/Documents/Standards/R5RS/r5rs.pdf|Padrão]] da linguagem Scheme, em particular secção 7.2 sobre "Formal semantics" * Padrão (antiga) da linguagem C++ (uso restrito: escreve email) * [[OCaml|Material sobre OCaml]] ==== Bibliografia ====