Logic in a Logic Way: An App to Practice Solving Logic Problems from the Brazilian Computing Olympiad

• Rafael Gauna Trindade UFSM
• Cassiano Andrei Dias da Silveira Schneider UFSM
• Andrea Schwertner Charão UFSM

DOI: https://doi.org/10.5753/wei.2017.3539

Abstract

The Brazilian Olympiad of Informatics (OBI) mobilizes a large number of students in the country every year. In the competition named “Initiation”, the competitors solve logic problems without using the computer. In order to expand the alternatives for the preparation of the competitors in this modality, we developed ”Logic in a Logic Way”, a mobile application which supports the user in the use of a systematic method of solving textual problems of logic. In this article, we present the design, implementation and test of this application by tutors with experience in preparing students for OBI. The results indicate possible improvements to the application, which is available as an open source software.

References

de Almeida Machado, E. Z., Vasconcelos, I. R., Amorim, K. M., Andrade, A. M. S., Barreto, L. P., e Santos, D. A. (2010). Uma experiência em escolas de ensino médio e fundamental para a descoberta de jovens talentos em computação. In Anais do Workshop sobre Educação em Computação – (WEI), pages 798 – 807. Sociedade Brasileira de Computação.

de Barros, L. G. e Oeiras, J. Y. Y. (2010). Extensão universitária em computação por meio da olimpíada brasileira de informática. In Anais do Workshop sobre Educação em Computação – (WEI), pages 788 – 797. Sociedade Brasileira de Computação.

de Barros, L. G., Ribeiro, S. P. S., e Oeiras, J. Y. Y. (2009). Projeto de extensão universitária para apoio e realização da olimpíada brasileira de informática em escolas. In Anais do Workshop sobre Educação em Computação – (WEI), pages 567 – 576. Sociedade Brasileira de Computação.

Martins, W. S. (2011). Jogos de Lógica: Divirta-se e prepare-se para a Olimpíada Brasileira de Informática. Viera.