O Uso de Assistente de Provas no Ensino de Lógica

Rodrigo Geraldo Ribeiro,Karina Roggia,Cristiano Vasconcellos

Anais Estendidos do I Simpósio Brasileiro de Educação em Computação (EDUCOMP Estendido 2021)（2021）

引用 0|浏览1

暂无评分

摘要

Este resumo tem como objetivo fomentar a discussão sobre a importância do uso de ferramentas computacionais para o ensino de lógica formal em cursos de Bacharelado em Ciência da Computação. Em especial, sugerimos a utilização de assistentes de provas para o desenvolvimento das habilidades presentes em conteúdos introdutórios de lógica e matemática discreta.Link para o vídeo da apresentação: https://youtu.be/5nwKwVFKW2k

查看译文

关键词

uso de assistente,provas no ensino,lógica

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要