BDBComp
Parceria:
SBC
ProLógica - Ambiente de Apoio ao Ensino de Lógica para Computação

Isabel Cristina Siqueira da SilvaSimone C. Mendes Paiva

This article depicts the ´ProLógica´ software, designed to support teaching of Logics in Computer Sciences graduation courses. The system allows the student to perform logical demonstrations using Natural Deduction basic laws - hypothetical and non-hypothetical. The main purpose is the student to employ his theoretical knowledge to develop logic reasoning with the software, which doesn’t require previous knowledge of any specific language to be used. Este artigo apresenta o ambiente ProLógica que tem por finalidade apoiar o ensino de Lógica para Computação. O ambiente permite que o usuário realize demonstrações utilizando regras básicas – hipotéticas e não hipotéticas - de Dedução Natural. Pretende-se que o aluno utilize seus conhecimentos teóricos sobre o assunto para desenvolver o raciocínio lógico através da utilização do ambiente, considerando que este não exige conhecimento prévio de uma linguagem específica para ser utilizado.

http://www.lbd.dcc.ufmg.br/colecoes/weirjes/2004/010.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD