Contraexemplo mínimo e exemplo editável: dois princípios de projeto em um ecossistema de cinquenta simuladores para o ensino de computação
Year: 2026
Type: preprint
Abstract: Este artigo relata o desenvolvimento e o uso de um ecossistema de cinquenta simuladores interativos, executados no navegador e sem dependências externas, aplicados em quatro disciplinas de graduação em Computação. A contribuição não está nos artefatos em si, mas em dois princípios de projeto que emergiram de sua construção iterativa e que se mostraram decisivos no uso em sala. O primeiro trata o erro como entrada legítima: em vez de um veredito binário, o simulador calcula e exibe o menor contraexemplo em que a resposta do estudante diverge do esperado. O segundo enfrenta o custo de início: quando o conteúdo é extenso, o simulador abre com um exemplo pronto e editável, deslocando a tarefa inicial de «produzir do zero» para «modificar e observar». Discutem-se a implementação de ambos, sua ancoragem na teoria da carga cognitiva e no feedback formativo, e relatam-se dois casos de uso em sala — portas lógicas e caminho de dados — em que a mudança observada foi menos de conteúdo do que de latência do retorno e de quem conduz a verificação. Declaram-se os limites do que um relato desta natureza permite afirmar.
Author: Silva, Luiz Ricardo Mantovani da
Institution: Universidade Sagrado Coração
Language: Portuguese
Subfield: Computer Science Applications
Field: Computer Science
Domain: Physical Sciences
SDG: Quality education
Open Access status: green
OpenAlex ID: W7204662572