SiR: um simulador da execução de funções recursivas utilizando o conceito de grafo de dependências. / Sir : a simulater of the execution of recursive functions using the concept of the dependence graph.

AUTOR(ES)
DATA DE PUBLICAÇÃO

2008

RESUMO

A proposta aqui apresentada visa prover uma ferramenta gráca que auxilie no ensino de Computabilidade em cursos de Ciência da Computação e ans. A motivação para o desenvolvimento desta ferramenta está baseada na diculdade de aprendizagem e interesse dos alunos nas disciplinas de computação que abordam temas teóricos. Entre estes temas, destaca-se o entendimento das evidências da Tese de Church. Uma das hipóteses levantadas sobre tal problema concerne a uma forte carga de conceitos abstratos que permeiam todo esse conhecimento. Relacionar o conceito de algoritmo ao conceito matemático de funções (funções recursivas), por exemplo, requer do aluno uma capacidade de abstração alta para entender o que vem a ser computação e quais os problemas ditos computáveis. Com base nestes argumentos, se propõe uma ferramenta de fácil utilização para simulação de um formalismo presente nas evidências para a Tese de Church, através de mapeamentos entre conceitos associados a funções recursivas e algoritmos, permitindo um melhor entendimento sobre estes conceitos teóricos de computação.

ASSUNTO(S)

ambiente de simulação computing learning environment simulation ciencia da computacao computabilidade computability ensino de computação recursive functions funções recursivas

ACESSO AO ARTIGO

Documentos Relacionados