文章基本信息

标题：Sistema de Suporte Pedagógico para Resolução de Problemas de Construção de Tabelas-Verdade na Lógica Proposicional
本地全文：下载
作者：Alessandro Fontoura Alves ; João Gluz
期刊名称：Anais dos Workshops do Congresso Brasileiro de Informática na Educação
印刷版ISSN：2316-8889
出版年度：2015
卷号：4
期号：1
页码：1434
DOI：10.5753/cbie.wcbie.2015.1434
语种：Portuguese
出版社：Anais dos Workshops do Congresso Brasileiro de Informática na Educação
摘要：Logical reasoning is one of the fundamental tools for humans, it is important to structure thinking for problem solving. At the university, students who are entering courses in Computer Science and Information Systems need the discipline of Logic to develop their logical analysis and problem solving skills. The EVTV tool proposed in this work helps students to solve truth tables problems. This tool offers a friendly interface for the resolution of this kind of problems and exercises that can be integrated with an intelligent tutoring system of propositional logic. This work shows the technical characteristics and features of the tool, and its differentiation from other propositional logic learning tools. The work also present the results of experiments and tests conducted with the tool.