Ferramentas de Utilizador
inf05516
Diferenças
Esta página mostra as diferenças entre as duas revisões da página.
| Ambos os lados da revisão anterior Revisão anterior Próxima revisão | Revisão anterior | ||
|
inf05516 [2006/06/06 16:30] marcus |
inf05516 [2010/01/18 15:45] (Actual) |
||
|---|---|---|---|
| Linha 1: | Linha 1: | ||
| - | ====== Semântica formal N ====== | + | :!: 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.//\\ | //If you don't have a specification, it can't be wrong.//\\ | ||
| //It can only be surprising.// | //It can only be surprising.// | ||
| Linha 16: | Linha 18: | ||
| ===== Datas importantes ===== | ===== Datas importantes ===== | ||
| - | * A disciplina começa no dia 07/03/2006. | + | * Aula de exercícios para recuparação no dia 29/06! |
| - | * Prova 1 vai ser realizado no dia 20/04/2006. | + | * :!: Acha algums exercícios um baixo |
| - | * Prova 2 vai ser realizado no fim do maio. | + | |
| ===== Resultados ===== | ===== Resultados ===== | ||
| Linha 36: | Linha 37: | ||
| ^ No. ^ Data ^ Tópicos ^ Material ^ | ^ 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++]] | | | 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}}, {{sfn-s01.pdf|Soluções 1}}| | + | | 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}} | | | 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}}, {{sfn-s02.pdf|Soluções 2}} | | + | | 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}} | | | 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-s03.pdf|Soluções 3}}, {{sfn-so.pdf|Regras da SO}}| | + | | 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}} | | | 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}}, {{sfn-s04.pdf|Soluções 4}} | | + | | 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}} | | | 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}} | | | 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}} | | | 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}}, {{sfn-s05.pdf|Soluções 5}} | | + | | 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. | | | | 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}}, {{sfn-s06.pdf|Soluções 6}} | | + | | 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}} | | | 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}} | | | 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}} | | | 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}}, {{sfn-s07.pdf|Soluções 7}} | | + | | 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)]] | | | 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}}, {{sfn-s08.pdf|Soluções 8}} | | + | | 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}} | | | 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}} | | | 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}} | | | 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}}, {{sfn-s09.pdf|Soluções 9}} | | + | | 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}} | | | 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}} | | | 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}} | | | 27 | 06/06/2006 | Resultados da prova 2.| {{sfn-sp02.pdf|Soluções prova 2}} | | ||
| - | | 28 | 08/06/2006 | Apresentação dos trabalhos. | | | + | | 28 | 08/06/2006 | Apresentação dos [[inf5516-2006-1-Trabalhos|trabalhos]]. | | |
| - | | 29 | 13/06/2006 | Apresentação dos trabalhos. | | | + | | 29 | 13/06/2006 | Apresentação dos [[inf5516-2006-1-Trabalhos|trabalhos]]. | | |
| | | 15/06/2005 | Feriado: [[wppt>Corpus_Cristi]] | | | | | 15/06/2005 | Feriado: [[wppt>Corpus_Cristi]] | | | ||
| | 30 | 20/06/2006 | | | | | 30 | 20/06/2006 | | | | ||
| - | | | 04/07/2006 | Recuperacão | | | + | | | 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}} | | ||
inf05516.1149622219.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:45 (Edição externa)
Ferramentas de Página
Excepto menção em contrário, o conteúdo neste wiki está sob a seguinte licença: CC Attribution-Noncommercial-Share Alike 4.0 International
