A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

Teoria algébrica de processos da medida em sistemas quânticos

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Formalismo de Hamilton-Jacobi à la Carathéodory. Parte 2: sistemas singulares

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Políticas para avaliação da qualidade do Ensino Superior no Brasil: um balanço crítico

Este trabalho tem como objetivo contribuir para o debate sobre a avaliação do Ensino Superior no Brasil, apresentando um estudo a respeito dos sistemas utilizados para as medidas de qualidade e produtividade. Busca-se analisar, por meio da revisão bibliográfica e da análise documental, as origens do processo de avaliação, a seqüência histórica dos debates políticos que definiram os programas de trabalho na área, as concepções metodológicas adotadas por esses programas, os instrumentos de mensuração e acompanhamento que foram desenvolvidos e os sistemas de indicadores criados para aferir a qualidade de ensino nas instituições, bem como o desempenho dos estudantes. A discussão contempla todos os sistemas de avaliação praticados no Brasil até o ano de 2005 e conclui que, desde os primeiros procedimentos estabelecidos, houve uma evolução contínua na definição de indicadores mais precisos e eficientes. Os resultados alcançados pela pesquisa que fundamenta o trabalho aplicam-se explicitamente à revisão dos instrumentos de avaliação praticados no Brasil. O trabalho sugere indicadores ainda não utilizados no processo histórico de avaliação, buscando o aperfeiçoamento do sistema atual.

Desenvolvimento de um objeto de aprendizagem para análise de sistemas de energia elétrica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Implementação de um ambiente computacional para ensino à distância

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Usabilidade de software: estudo de recomendações básicas para verificação do nível de conhecimento dos alunos dos cursos de Design Gráfico e Sistemas de Informação da UNESP/Bauru

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Necessidades de formação continuada de professores do 1º ciclo do ensino fundamental

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Um estudo da escrita de alunos surdos do ensino fundamental-ciclo III da rede municipal de Araraquara

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Uso de um objeto de aprendizagem no ensino de ciências tomando-se como referência a teoria sócio-construtivista de Vygotsky

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sobre a percepção do movimento da Terra em Galileu: o referencial de movimento e o ensino de ciências

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Música por meio de sistemas de comunicação alternativa: inserção do aluno com deficiência na atividade pedagógica

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Desenvolvimento de um software de apoio ao ensino de métodos de planejamento e controle da produção em ambientes MTS baseado na teoria das restrições

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Desafios no processo ensino-aprendizagem do lugar nas séries iniciais do ensino fundamental: possibilidades para a formação da cidadania

Pós-graduação em Geografia - IGCE

A contribuição de uma ferramenta na realização de uma experiência em educação virtual para o ensino fundamental com algumas escolas locais

Pós-graduação em Geografia - IGCE