Learning Mathematical Logic: Apps Evaluation for Truth Table and Usage Recommendation

• Bruna Abreu Dias Federal University of Pampa
• Marina Braun Otokovieski Federal University of Pampa
• Alice Fonseca Finger Federal University of Pampa https://orcid.org/0000-0003-4168-2872
• João Pablo Silva da Silva Federal University of Pampa https://orcid.org/0000-0002-0702-9362
• Miguel Ecar Federal University of Pampa http://orcid.org/0000-0002-0644-0360

DOI: https://doi.org/10.5753/wie.2021.218631

Abstract

Mathematical bias disciplines are known for the high rates of dropout and retention in Computing related courses. Combining teaching strategies and technology have contributed to reducing the negative rates. Based on this, several educational tools have been created in order to make teaching and learning more attractive. The present work aims to evaluate two apps usability Truth Table building, in order to point out possible improvements, as well as, to encourage its use in learning Mathematical Logic. The results, based on the SUS metric, show that the Tablas de Verdad PRO app has a good degree of usability, while The Logic Calculator app has not reached the minimum acceptable value.

Keywords: Truth Table, Mathematical Logic, Usability Evaluation

References

Andrade, M. V. M., Araújo Jr., C. F., and Silveira, I. F. (2017). Estabelecimento de critérios de qualidade para aplicativos educacionais no contexto dos dispositivos móveis (M-Learning). EaD em Foco, 7(2).

Brooke, J. (1996). SUS: a "quick and dirty" usability. Usability evaluation in industry, 189.

de Souza, J. N. (2008). Lógica para Ciência da Computação: uma introdução concisa. ELSEVIER, 2 edition.

Dias, B. and Finger, A. (2020). Aplicativos para o ensino-aprendizagem de lógica matemática: qual a melhor escolha? In Anais do XXVI Workshop de Informática na Escola, pages 111–120, Porto Alegre, RS, Brasil. SBC.

Fernandez, A., Insfran, E., and Abrahão, S. (2011). Usability evaluation methods for the web: A systematic mapping study. Information and Software Technology, 53(8):789–817. Advances in functional size measurement and effort estimation - Extended bestpapers.

Gersting, J. L. (2001). Fundamentos Matemáticos para a Ciência da Computação. LTC, 3 edition.

Jurgina, L., Zanandrea, R., Júnior, L. R., and Marques, F. (2020). Logicflow: Uma ferramenta para o auxílio de ensino-aprendizagem de circuitos digitais. In Anais do XXXI Simpósio Brasileiro de Informática na Educação, pages 322–331, Porto Alegre, RS, Brasil. SBC.

Likert, R. (1932). A technique for the measurement of attitudes. Archives of psychology.

Peres, S. C., Pham, T., and Phillips, R. (2013). Validation of the system usability scale (SUS): Sus in the wild. Proceedings of the Human Factors and Ergonomics Society Annual Meeting, 57(1):192–196.

Pressman, R. S. (2011).Engenharia de Software: Uma Abordagem Profissional. McGraw-Hill, São Paulo, 7 edition.

Sauro, J. (2011). Measuring Usability With the System Usability Scale (SUS). Disponível em: https://measuringu.com/sus/.

SBC (2018). Educação superior em computação Estatísticas - 2017. Sociedade Brasileira de Computação. Disponível em: [link]. Acesso em: 28 fev. 2020.

Sommerville, I. (2011). Engenharia de Software. Pearson Prentice Hall, São Paulo, 9 edition.

Souto, M. and Silva, C. (2017). Um catálogo de requisitos pedagógicos para auxiliar o desenvolvimento de softwares educacionais. Brazilian Symposium on Computers in Education (Simpósio Brasileiro de Informática na Educação - SBIE), 28(1):506.

Souza, M. and França, C. (2016). O que Explica o Sucesso de Jogos no Ensino de Engenharia de Software? Uma Teoria de Motivação. In Anais do XXIV Workshop sobre Educação em Computação, pages 260–269, Porto Alegre, RS, Brasil. SBC.

Valentim, N., Rabelo, J., Silva, W., Coutinho, W., Álvaro Mota, and Conte, T. (2014). Avaliando a qualidade de um aplicativo web móvel através de um teste de usabilidade: um relato de experiência. In Anais do XIII Simpósio Brasileiro de Qualidade de Software, pages 255–262. SBC.