|
| Artigos |
|
| Alves, G.V., Dimuro, G.P., Costa, A.C.R.
Desenvolvimento de uma Ferramenta de Provas para a Lógica Proposicional,
Cricte 2002,
Outubro, 2002.
(artigo .ps)
(pdf slides)
|
|
Palavras-chave: Lógica Proposicional;
Haskell; Programação com Mônadas; Cálculo de Seqüentes |
|
| Alves, G.V., Dimuro, G.P., Costa, A.C.R.
Um Provador de Teoremas com Utilização de Mônadas,
SIRC´2002,
Junho, 2002.
(artigo .pdf)
(pdf slides)
|
|
Palavras-chave: Lógica Proposicional;
Haskell; Programação com Mônadas; Cálculo de Seqüentes |
|
| Alves, G.V., Dimuro, G.P., Costa, A.C.R.
Um Editor de Provas para a Lógica Proposicional,
Clei 2001,
Setembro, 2001.
(artigo .pdf)
|
|
Palavras-chave: Maple; Lógica Proposicional;
Ensino de Lógica |
|
| Alves, G.V., et. al.
Materiais Didáticos Interativos para o Ensino Integrado dos Fundamentos da Computação,
Clei 2000,
Setembro, 2000.
(artigo .ps)
|
|
Palavras-chave: Maple; Ensino de Informáica;
Fundamentos Matemáticos da C.C. |
|
| Alves, G.V., Dimuro, G.P., Costa, A.C.R.
Implementando um Editor de Provas para a Lógica Proposicional,
Cricte 2000,
Setembro, 2000.
(artigo .pdf)
(pdf slides)
|
|
Palavras-chave: Maple; Ensino de Lógica;
Lógica Proposicional |
|
| Resumos |
|
| Alves, G.V., Dimuro, G.P., Costa, A.C.R.
A Theorem Prover as an Application Example of Monads,
CNMAC 2002,
Setembro, 2002.
(resumo .ps)
|
|
Palavras-chave: Lógica Proposicional;
Haskell; Programação com Mônadas; Cálculo de Seqüentes |
|
| Alves, G.V., Dimuro, G.P., Costa, A.C.R.
Study of a Theorem Prover,
CNMAC 2001,
Setembro, 2001.
(resumo .ps)
|
|
Palavras-chave: Lógica Proposicional;
Haskell; Cálculo de Seqüentes |
|
| Alves, G.V., Dimuro, G.P., Costa, A.C.R.
An Interactive Book and a Proof Editor for Propositional Logic,
CNMAC 2000,
Setembro, 2000.
(resumo .ps)
|
|
Palavras-chave: Maple;
Lógica Proposicional;
Ensino de Lógica |
|
|
|