Proposta para participação no Projeto Tidia-AE fase 2

• Processo: 09/01088-3
• Modalidade de apoio: Bolsas no Brasil - Programa Capacitação - Treinamento Técnico
• Data de Início da vigência: 01 de março de 2009
• Data de Término da vigência: 30 de junho de 2009
• Área de conhecimento: Ciências Humanas - Educação - Tópicos Específicos de Educação
• Pesquisador responsável: Marcelo de Carvalho Borba
• Beneficiário: Cristina Helena Bovo Batista Dias
• Instituição Sede: Instituto de Geociências e Ciências Exatas (IGCE). Universidade Estadual Paulista (UNESP). Campus de Rio Claro. Rio Claro , SP, Brasil
• Vinculado ao auxílio: 05/60417-6 - Proposta para participação no Projeto TIDIA-Ae - Fase II, AP.TIDIA
• Assunto(s): Educação matemática Desenvolvimento de software Linguagem de programação
• Palavra(s)-Chave do Pesquisador: educaçao matematica tidia | Educação Matemática

Resumo

Plano de Atividades para bolsa TT-4. Bolsista: Cristina Helena Bovo Batista Dias. Projeto: TIDIA-AE GPIMEM-LIEM/UNESP Fase II. Processo 05/60417-6. Título: Desenvolvimento da ferramenta Draw & Geometry, com ênfase nas funcionalidades de geometria dinâmica. Objetivos: Ao longo do desenvolvimento da ferramenta Draw & Geometry (D&G), desafios técnicos surgiram. Programas de geometria dinâmica podem ser caracterizados como resolvedores de sistemas de restrições geométricas. Entre as várias abordagens para implementar tais sistemas, optamos por aquela que emprega programação lógica para inferir a solução do sistemas de restrições. A intenção é embutir um interpretador de uma linguagem como Lisp ou Prolog no applet Java já existente do D&G. O objetivo é resolver as principais situações envolvendo pontos, retas e círculos. Descrição das atividades: Fazer uma revisão bibliográfica sobre solução de sistemas de restrições geométricas; Prototipar um tal sistema em uma linguagem da família Lisp ou Prolog; Embutir a solução no applet Java do D&G; Escrever um artigo sobre o trabalho. Justificativa para o nível da bolsa TT solicitado: A bolsista precisa ter conhecimentos de programação com base em linguagens da família Lispou Prolog, além de conhecimentos básicos sobre a linguagem Java. Este perfil ajusta-se melhora o nível de bolsista TT-4. Justificativa do plano em termos dos objetivos do programa de bolsas TTO plano evidencia que a bolsista poderá receber treinamento em técnicas avançadas de programação. (AU)