Alo Adolfo, Mario, Bruno, Patrick,
Muito obrigada pelas dicas todas. Muito util esse material.
Adolfo voce pediu sugestoes, eu nao sei se seria problematico pelo
aspecto legal, mas eu acho que seria muito util ter um sistema aberto
que ajudasse alunos a construirem provas/modelos seguindo o livro
Olá Bruno e demais colegas,
Bela iniciativa. Excelente ter o código aberto e disponível no GitHub. Muito
boa ideia também usar Lua e um framework para jogos
Achei um pouco difícil de instalar.
A cor de fundo preta não ajuda muito em sala de aula (ver anexo). Minha
ideia é mostrar as demonstraçõe
Olá, Prof. Adolfo,
De fato, sempre é um problema recorrente o ensino de lógica, na UFRN, a
média de aprovação dos alunos em Lógica Aplica à Computação ao longo dos
anos tem sido algo entre 30% e 40%, entre desistências, reprovações e
sumiços dos alunos que não podem trancar a disciplina, por já po
Please remove from stream, EGK Lopez-Escobar is deceased
2011/10/3 Bruno Lopes
> Olá, Pessoal!
>
> Já há uma nova versão disponível em
> http://www.tecmf.inf.puc-rio.br/TableauxProver. Nela o tableau pode ser
> exportado para LaTeX e Dot.
>
> Abraços,
>
> Bruno.
>
> 2011/10/3 Mario Benevides
>
Olá, Pessoal!
Já há uma nova versão disponível em
http://www.tecmf.inf.puc-rio.br/TableauxProver. Nela o tableau pode ser
exportado para LaTeX e Dot.
Abraços,
Bruno.
2011/10/3 Mario Benevides
> Oi Adolfo,
>
> O Hermann tem um Tableaux para LPO bem amigável. Dê uma olhada no link
>
> http://ww
Oi Adolfo,
O Hermann tem um Tableaux para LPO bem amigável. Dê uma olhada no link
http://www.tecmf.inf.puc-rio.br/TableauxProver/Applet
Um abraço,
Mario
Em 1 de outubro de 2011 00:23, Adolfo Neto escreveu:
> Olá,
>
> Já está disponível (com texto parcial) na Biblioteca do Google o livro
>
>
