GGasCT: bringing formal methods to the computational thinking

Abstract

Este trabalho apresenta uma abordagem alternativa para o desenvolvimento do pensamento computacional. Diversas definições para termos relacionados ao pensamento computacional são cunhadas para desfazer os problemas terminológicos que a área confessamente possui, cada um destes termos são explorados e elucidados individualmente. A seleção destes termos se apoia em uma revisão sistemática da literatura que trás à tona os termos mais comumente utilizados na literatura sobre pensamento computacional. Uma linguagem formal e visual, a gramática de grafos, é introduzida, formalmente definida e apresentada como uma abordagem viável para desenvolver as habilidades do pensamento computacional descritas nesta dissertação. Relações entre o formalismo e as habilidades são discutidas, um jogo educacional e um motor de jogos são oferecidos como exemplos de gramática de grafos sendo usadas na educação, especialmente na educação básica. O desenvolvimento e aplicação destas ferramentas são guiados por teorias da educação e de jogos educacionais, como a teoria do Fluxo e a Taxonomia de Bloom, e por metodologias como os métodos ENgAGED e MEEGA+. Como resultado, um framework completo e compreensivo para desenvolver e avaliar pensaomento computacional utilizando gramáticas de grafos é fundamentado teoricamente e é exemplificado na prática por relatos de experiência de usos do jogo educacional.