Publicação científica

Aplicação do Provador de Teoremas LEAN no Ensino de Lógica Matemática para Alunos de Sistemas de Informação: Um Estudo de Caso

Willian Bruschi Vaneli, Jefferson Oliveira Andrade

· Escola Regional de Informática do Espírito Santo

Síntese

O trabalho apresenta um estudo de caso do uso do provador Lean no ensino de lógica matemática a estudantes de Sistemas de Informação.

Arquivos e links