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.

Pesquisa em Modelagem Matemática no Brasil: a caminho de uma metacompreensão

Este estudo visou analisar as pesquisas em Modelagem Matemática na área da Educação Matemática no Brasil, investigando os trabalhos que adotam esse enfoque, publicados nos anais do 3º. Seminário Internacional de Pesquisa em Educação Matemática, em 2007. A postura assumida é a fenomenológica, e as interpretações são pautadas no movimento hermenêutico, que aponta para uma metacompreensão do tema. Os núcleos de ideias emergem dos invariantes articulados no processo de efetuar convergências, como, por exemplo, a pesquisa que se centra prioritariamente nos modos pelos quais o professor trabalha tópicos de conteúdos matemáticos com o recurso da modelagem. Esse invariante elucidativo pode indicar fragilidades quando os pesquisadores permanecem apenas no como fazer; pode também indicar possibilidades de compreender concepções e sua conversão em práticas desenvolvidas em sala de aula.

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.

Modelagem Matemática e Tecnologias de Informação e Comunicação: a realidade do mundo cibernético como um vetor de virtualização

Neste artigo construímos um entrelaçamento teórico-filosófico que tem como objetivo discutir a relação entre Modelagem Matemática e realidade do mundo cibernético. em particular, essa abrangência da realidade é evidenciada como um possível vetor de virtualização, isto é, como um aspecto que pode influenciar o modo como a problemática que envolve uma determinada situação ou entidade é compreendida. Para tanto, fazemos uma associação entre Modelagem Matemática e as transformações que envolvem os modos de ser denotados por real, possível, atual e virtual, tendo como base ilustrativa as quatro causas aristotélicas. Complementando essa associação, assumimos uma concepção de problema que permite uma consolidação entre as relações estabelecidas e, também, uma concepção de realidade que entende o mundo cibernético como uma de suas dimensões. Por fim, apresentamos um exemplo de Modelagem Matemática ocorrido em sala de aula, que visa caracterizar a realidade do mundo cibernético como um vetor de virtualização.

Aprendizagem de conceitos geométricos pelo futuro professor das séries iniciais do Ensino Fundamental e as novas tecnologias

Com o movimento da Matemática Moderna, a partir de 1950, o ensino da matemática passou a enfatizar o simbolismo e a exigir dos alunos grandes abstrações, distanciando a matemática da vida real. O que se percebe é que o aluno formado por este currículo aprendeu muito pouco de geometria e não consegue perceber a relação deste conteúdo com sua realidade. Por outro lado, o professor que não conhece geometria não consegue perceber a beleza e a importância que a mesma possui para a formação do cidadão. A geometria estimula a criança a observar, perceber semelhanças, diferenças e a identificar regularidades. O objetivo deste trabalho é identificar o nível de conhecimento dos alunos do Centro Específico de Formação e Aperfeiçoamento ao Magistério (CEFAM), futuros professores da 1ª a 4ª séries do Ensino Fundamental do Estado de São Paulo, quanto aos conceitos de ponto, reta, plano, ângulos, polígonos e circunferências e também verificar as contribuições do computador para a construção de conceitos geométricos. Para atingir esses objetivos, foi desenvolvida uma pesquisa com 30 alunos do CEFAM de Presidente Prudente-SP, na qual, com base no diagnóstico das dificuldades de aprendizagem, organizaram e desenvolveram-se os momentos de formação, que utilizaram o computador como ferramenta de aprendizagem e projetos de trabalho tendo como aporte teórico a abordagem construcionista. O futuro professor que não dominar a geometria e não perceber sua relação com a natureza não conseguirá contribuir para o desenvolvimento do pensamento geométrico da criança. Esse pensamento é que permite a criança observar, compreender, descrever e representar, de forma organizada, o mundo em que vive.

Evolução da noção de conservação de quantidade e desempenho em matemática

Foram confrontadas nesta pesquisa a afirmação piagetiana de que o ensino da matemática deve basear-se no desenvolvimento das estruturas mentais da criança e a realidade do ensino dessa matéria na 1.ª série do primeiro grau. Estudou-se a relação existente entre a noção de conservação e o grau de desempenho em matemática. Constituíram a amostra 47 sujeitos da 1.ª série do 1.° grau (17 do sexo masc. e 30 do fem.), nível sócio-econômico médio-inferior para baixo-superior, idade de 6 anos e meio a 11 anos, sem escolarização anterior. A avaliação do desempenho relativo ao domínio da noção de conservação foi feita através do teste de conservação de quantidades descontínuas, e a do desempenho em matemática, através da observação sistemática e de uma prova. O coeficiente de correlação de postos de Good man e Kruskal (1945 e 1963] mostrou relação significante a um nível de 1% para conservação e porcentagem de acertos na prova (g = 0,7) e a um nível de 5% para a conservação e conceitos atribuídos pelo professor (G = 0,44). A análise dos dados categorizados pela técnica de Grizzle, Starmer e Koch (1969) a um nível de 5% indicou apenas efeito do fator sexo sobre a noção de conservação. Os resultados obtidos estão de acordo com a teoria piagetiana que indica ser a noção de conservação uma condição necessária para a aprendizagem da matemática, embora não suficiente.

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)

Um estudo sobre as relações entre atitudes, gênero e desempenho de alunos do ensino médio em atividades envolvendo frações

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