Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
(→Material para os Trabalhos) |
(→Material para os Trabalhos) |
||
| Linha 34: | Linha 34: | ||
#* pp. 88-92 de Lógica para Computação | #* pp. 88-92 de Lógica para Computação | ||
#* [http://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_resolu%C3%A7%C3%A3o Princípio da Resolução] | #* [http://pt.wikipedia.org/wiki/Princ%C3%ADpio_da_resolu%C3%A7%C3%A3o Princípio da Resolução] | ||
| − | # Substituição | + | # Substituição e Unificação |
# Lógicas Não Clássicas | # Lógicas Não Clássicas | ||
#* [http://pt.wikibooks.org/wiki/L%C3%B3gica:_L%C3%B3gicas_N%C3%A3o-cl%C3%A1ssicas:_Introdu%C3%A7%C3%A3o Introdução] | #* [http://pt.wikibooks.org/wiki/L%C3%B3gica:_L%C3%B3gicas_N%C3%A3o-cl%C3%A1ssicas:_Introdu%C3%A7%C3%A3o Introdução] | ||
| Linha 46: | Linha 46: | ||
#* [http://en.wikipedia.org/wiki/Automated_theorem_proving Automated theorem proving] | #* [http://en.wikipedia.org/wiki/Automated_theorem_proving Automated theorem proving] | ||
# Programação em Lógica | # Programação em Lógica | ||
| + | #* Procurar no livro "Lógica para Ciência da Computação" | ||
| + | #* Procurar "prolog" no Google | ||
# Uma linguagem de Especificação | # Uma linguagem de Especificação | ||
#* Escolher entre Z, VDM e Alloy (ou propor outra) | #* Escolher entre Z, VDM e Alloy (ou propor outra) | ||
Edição de 16h03min de 13 de março de 2009
Assuntos e Equipes
Engenharia de Computação (S71)
- Axiomatização: Vinícius, Daniel e André
- Dedução Natural: Alex, Liège e Danilo
- Tablôs Analíticos: Rebeca, Líria e Cristiane
- Tablôs KE: Lucas, Demétrius e Bruno
- Formas Normais: Kelvin, Dalton e Jorge
- Resolução Proposicional: Henrique P., Cibele e Amanda
- Substituição: Felipe Lisboa e equipe
- Lógicas Não Clássicas: Eduardo Bonet, Tiago e Jean
- Ontologias: Márcio, Cláudio, Henrique Rein.
- Provadores de Teoremas:
- Programação em Lógica: Augusto, Guilherme, Marlos
- Uma linguagem de Especificação: Suleiman, Rafael, Julio, Luiz
- Um provador de teoremas:
- Ontologias e Web Semântica (com lógicas de descrição): Marcos, André, Maurício
Material para os Trabalhos
- Axiomatização
- pp.33-41 de Lógica para Computação
- Dedução Natural
- pp.41-48 de Lógica para Computação
- Tablôs Analíticos
- pp. 48-56 de Lógica para Computação
- Tablôs KE
- Formas Normais
- pp. 77-88 de Lógica para Computação
- Resolução Proposicional
- pp. 88-92 de Lógica para Computação
- Princípio da Resolução
- Substituição e Unificação
- Lógicas Não Clássicas
- Introdução
- A lógica paraconsistente <math>C_1</math>, de Newton da Costa
- Ontologias
- Procurar Ademir Freddo e pedir material em português
- Provadores de Teoremas
- Programação em Lógica
- Procurar no livro "Lógica para Ciência da Computação"
- Procurar "prolog" no Google
- Uma linguagem de Especificação
- Escolher entre Z, VDM e Alloy (ou propor outra)
- Um provador de teoremas
- Escolher entre Otter, Isabelle, Lotrec, zChaff ou KEMS (ou propor outro)
- Ontologias e Web Semântica (com lógicas de descrição)
