Publicações & Apresentações
Aqui estão listadas algumas publicações e apresentações em congressos.
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
Voltar | Página Inicial
Maio/2002