Lógica para Computação - Turmas S71 e S73 - 2009.1
De Wiki DAINF
(Diferença entre revisões)
(→Material para os Trabalhos) |
|||
| Linha 1: | Linha 1: | ||
| + | == 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 | ||
| + | # | ||
| + | |||
== Material para os Trabalhos == | == Material para os Trabalhos == | ||
Edição de 10h49min 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
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
