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/16 19:00] 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 67: | ||
| | | 15/11 | **Feriado**: [[wppt>Proclamação_da_República_Brasileira|Proclamação da República]]. | | | | | | | | 15/11 | **Feriado**: [[wppt>Proclamação_da_República_Brasileira|Proclamação da República]]. | | | | | | ||
| | 29 | 20/11 | Apresentação de trabalhos. | | | | | | | 29 | 20/11 | Apresentação de trabalhos. | | | | | | ||
| - | | 30 | 22/11 | Apresentação de trabalhos. Visão geral. Relação com outras áreas. | | | | | | + | | 30 | 22/11 | Apresentação de trabalhos. | | | | | |
| + | | | 11/12 | Aula de revisão | | {{er1.pdf|R1}} | {{sr1.pdf|SR1}} | | | ||
| + | | | 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. | | | | | | ||
| Linha 178: | Linha 186: | ||
| <!-- END BIBLIOGRAPHY Notes-books --> | <!-- END BIBLIOGRAPHY Notes-books --> | ||
| + | </html> | ||
| + | |||
| + | <html> | ||
| + | <a href="http://www2.clustrmaps.com/counter/maps.php?url=http://www.inf.ufrgs.br/~mrpritt" id="clustrMapsLink"><img width=1 src="http://www2.clustrmaps.com/counter/index2.php?url=http://www.inf.ufrgs.br/~mrpritt" style="border:1px solid;" alt="Locations of visitors to this page" title="Locations of visitors to this page" id="clustrMapsImg" onError="this.onError=null; this.src='http://clustrmaps.com/images/clustrmaps-back-soon.jpg'; document.getElementById('clustrMapsLink').href='http://clustrmaps.com'" /> | ||
| + | </a> | ||
| </html> | </html> | ||
inf05516/homepage.1163710856.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
