Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
Linha 11: | Linha 11: | ||
# Substituição: Felipe Lisboa e equipe | # Substituição: Felipe Lisboa e equipe | ||
# Lógicas Não Clássicas: Eduardo Bonet, Tiago e Jean | # 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: | ||
+ | # On | ||
== Material para os Trabalhos == | == Material para os Trabalhos == |
Edição de 10h53min 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:
- On
Material para os Trabalhos
- Ontologias e Web Semântica
- Tablôs Analíticos
- A lógica paraconsistente <math>C_1</math>, de Newton da Costa