Open AccessSistema de Suporte Pedagógico para Resolução de Problemas de Construção de Tabelas-Verdade na Lógica Proposicional
Author(s) -
Alessandro Fontoura Alves,
João Carlos Gluz
Publication year - 2015
Publication title -
anais ... workshops do congresso brasileiro de informática na educação
Language(s) - Portuguese
Resource type - Conference proceedings
ISSN - 2316-8889
DOI - 10.5753/cbie.wcbie.2015.1434
Subject(s) - propositional calculus , logical reasoning , resolution (logic) , computer science , work (physics) , interface (matter) , artificial intelligence , human–computer interaction , engineering , programming language , mechanical engineering , bubble , maximum bubble pressure method , parallel computing