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

O uso de softwares na prática profissional do professor de matemática

Este artigo apresenta uma pesquisa que é resultado de cursos online de formação continuada de professores, concebidos a partir de uma parceria entre a UNESP e uma rede nacional de escolas de Ensino Básico. Os cursos buscavam familiarizar os professores de Matemática com os recursos da tecnologia informática, especificamente dois softwares, o Geometricks e o Winplot, no que diz respeito à utilização destes na sala de aula. Após alguns anos da realização dos mesmos, na pesquisa aqui descrita, objetivamos identificar se e como os softwares foram incorporados à prática profissional, em um cenário em que os professores podem contar com laboratórios, formação continuada e suporte técnico. A partir de entrevistas online, pudemos mapear as diferentes escolhas dos professores: não-uso; uso de forma semelhante (ou não) à vivenciada no curso online, e o uso interdisciplinar, mostrando variadas formas pelas quais os professores retraduziram o curso para sua prática.

Forma/ação do professor de Matemática e suas concepções de mundo e de conhecimento

Esta pesquisa busca trabalhar com diferentes concepções de mundo e de conhecimento, investigando a articulação entre o sentido que elas possuem para os professores de Matemática e suas concepções de ensino e de Educação. O estudo gira em torno de discussões que ocorreram em um curso de extensão para professores de Matemática. Esse curso tratou de concepções de mundo e de conhecimento, relacionando-as com diferentes regiões do saber, como Matemática, Física, Ecologia e Artes, focando a transição entre a concepção de mundo da Época Moderna para a concepção de mundo que vem se construindo na denominada Época Pós-moderna ou Contemporânea. A meta é compreender o sentido que aquelas concepções têm para os professores e destacar possíveis momentos de metacompreensão sobre a articulação entre essas concepções e sua prática docente. A metodologia utilizada é qualitativa, de uma perspectiva fenomenológica.

A formação do professor de matemática e o trabalho com projetos na escola

O objetivo do presente texto é apresentar os resultados de uma pesquisa que procurou discutir a formação dos professores de Matemática que trabalham com projetos e documentar a maneira da implementação dessa proposta na escola. Os dados são provenientes de entrevistas com dez professores de Matemática, os quais atuam no Ensino Fundamental ou Médio. Seus relatos possibilitam identificar três formas diferentes de trabalhos com projetos: i) individualmente e por iniciativa própria; ii) por sugestão da escola, de forma fragmentada; iii) coletivamente. Não há indícios de que a formação inicial desses professores os tenha influenciado a trabalhar com projetos. Esse preparo foi construído ao longo de suas carreiras, através da participação em cursos de formação continuada, da experiência com a prática e das interferências de suas características pessoais.

Educação ambiental e valores: diálogos e sentidos construídos nas práticas de professores de ensino fundamental

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

A temática ambiental no currículo do Ensino fundamental do Estado de São Paulo a partir de 2008

Pós-graduação em Educação - IBRC

Um estudo dos significados do conceito de tecnologia nos Parâmetros Curriculares Nacionais do Ensino Médio - PCNEM

Pós-graduação em Educação - IBRC

O jogo e a educação matemática: um estudo sobre as crenças e concepções dos professores de matemática quanto ao espaço do jogo no fazer pedagógico

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

Educação tecnológica no ensino de física: análise de uma experiência didática utilizando objetos tecnológicos

Pós-graduação em Educação para a Ciência - FC

Programa pró-letramento matemática: uma abordagem de grandezas e medidas com inserção dos temas transversais

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

Um estudo sobre os conhecimentos geométricos adquiridos por alunos do ensino médio

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

Modelagem inicial para o ensino de geometria eucliadiana plana segundo a teoria da atividade de estudo

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

Um estudo exploratório sobre a formação conceitual em geometria de alunos do ensino médio

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

A história da ciência nas obras de química do Programa Nacional do Livro Didático para o Ensino Médio: uma análise através do conceito de substância

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