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