O Uso de Assistente de Provas no Ensino de Lógica
Anais Estendidos do I Simpósio Brasileiro de Educação em Computação (EDUCOMP Estendido 2021)(2021)
摘要
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 理解论文
溯源树
样例
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要