Ferramentas de Utilizador
inf05516:homepage
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:homepage [2006/11/28 12:37] marcus |
inf05516:homepage [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/2) ====== | ||
| //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 14: | Linha 16: | ||
| **Consultas:** Quarta 15-17.\\ | **Consultas:** Quarta 15-17.\\ | ||
| **Detalhes:** Vê o {{:inf05516:programa.pdf|programa}}. | **Detalhes:** Vê o {{:inf05516:programa.pdf|programa}}. | ||
| + | |||
| ===== Resultados ===== | ===== Resultados ===== | ||
| * :!: [[inf05516-2006-1-F|Frequência]] | * :!: [[inf05516-2006-1-F|Frequência]] | ||
| + | * Frequência [[inf05516-2007-1-FA|Turma A]], [[inf05516-2007-1-FB|Turma B]] | ||
| * [[inf5516-2006-1-Notas|Notas]] | * [[inf5516-2006-1-Notas|Notas]] | ||
| * [[inf5516-2006-2-Trabalhos|Trabalhos]] | * [[inf5516-2006-2-Trabalhos|Trabalhos]] | ||
| Linha 24: | Linha 28: | ||
| * [[http://www.inf.ufrgs.br/~afmoreira/Semantica/index.html|Página da disciplina]] por [[http://www.inf.ufrgs.br/~afmoreira|Álvaro Freitas Moreira]]. | * [[http://www.inf.ufrgs.br/~afmoreira/Semantica/index.html|Página da disciplina]] por [[http://www.inf.ufrgs.br/~afmoreira|Álvaro Freitas Moreira]]. | ||
| * [[:inf05516|Minha página da disciplina em 2006/1]]. | * [[:inf05516|Minha página da disciplina em 2006/1]]. | ||
| + | |||
| + | |||
| + | |||
| Linha 61: | Linha 68: | ||
| | 29 | 20/11 | Apresentação de trabalhos. | | | | | | | 29 | 20/11 | Apresentação de trabalhos. | | | | | | ||
| | 30 | 22/11 | Apresentação de trabalhos. | | | | | | | 30 | 22/11 | Apresentação de trabalhos. | | | | | | ||
| - | | | 11/12 | Aula de revisão | | | | | | + | | | 11/12 | Aula de revisão | | {{er1.pdf|R1}} | {{sr1.pdf|SR1}} | | |
| - | | | 13/12 | **Prova de recuperação** | | | | | | + | | | 13/12 | **Prova de recuperação** | | {{p02c.pdf|PR}} | {{sp02c.pdf|SPR}} | | |
| | | 15/12 | Término oficial das aulas. | | | | | | | | 15/12 | Término oficial das aulas. | | | | | | ||
inf05516/homepage.1164724671.txt.gz · Esta página foi modificada pela última vez em: 2010/01/18 15:46 (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
