Índice
-
- INF 5010: Otimização combinatória
- INF 5016: Algoritmos avançados
- INF 5023: Técnicas de busca heurística.
Ferramentas de Utilizador
Barra Lateral
inf05508-2006-1-trabalhos
Esta é uma versão antiga do documento!
Trabalhos
- O trabalho pode ser feito em grupos até três.
- Detalhes sobre os objetivos e critérios de avaliação dos trabalhos.
| Trabalho | Grupo |
|---|---|
| A linguagem de programação Prolog | Diego de Matos Lautenchleger |
| O cálculo de Hoare | Ronei, Matheus |
| Especificação formal com Z | |
| BDDs | Gabriel Lamb Wink, Guilherme Stocco da Costa |
| Lógica fuzzy | Christian Northfleet, Guilherme Matte Macedo, Felipe Wilke |
| Lógica temporal | Livia Freire Pinto |
| Falácias | Marcelo Sizer, Rodrigo Castilhos Furtado, Ricardo Wischral Bastos |
| Lógica em bancos de dados | Omar Salib, Richard Rene Pereira, Clovis Ricardo Fiegenbaum |
| Dedução natural com Jape | Rafael Pestano, Vinicius Callegaro, Henrique Prass |
| Implementação: Avaliação semântica da lógica propositional | |
| Lógica modal | Leandro Vasconcellos, Gabriel Richter Gomes |
#Escolhas: 20
inf05508-2006-1-trabalhos.1148390423.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
