POPT: uma abordagem de ensino de programação orientada a problema e testes

There is a growing interest of the Computer Science education community for including testing concepts on introductory programming courses. Aiming at contributing to this issue, we introduce POPT, a Problem-Oriented Programming and Testing approach for Introductory Programming Courses. POPT main goal is to improve the traditional method of teaching introductory programming that concentrates mainly on implementation and neglects testing. POPT extends POP (Problem Oriented Programing) methodology proposed on the PhD Thesis of Andrea Mendonça (UFCG). In both methodologies POPT and POP, students skills in dealing with ill-defined problems must be developed since the first programming courses. In POPT however, students are stimulated to clarify ill-defined problem specifications, guided by de definition of test cases (in a table-like manner). This paper presents POPT, and TestBoot a tool developed to support the methodology. In order to evaluate the approach a case study and a controlled experiment (which adopted the Latin Square design) were performed. In an Introductory Programming course of Computer Science and Software Engineering Graduation Programs at the Federal University of Rio Grande do Norte, Brazil. The study results have shown that, when compared to a Blind Testing approach, POPT stimulates the implementation of programs of better external quality the first program version submitted by POPT students passed in twice the number of test cases (professor-defined ones) when compared to non-POPT students. Moreover, POPT students submitted fewer program versions and spent more time to submit the first version to the automatic evaluation system, which lead us to think that POPT students are stimulated to think better about the solution they are implementing. The controlled experiment confirmed the influence of the proposed methodology on the quality of the code developed by POPT students

AIGA: um ambiente integrado de gerência para redes em malha sem fio IEEE 802.11s

A Wireless Mesh Network (WMN - Wireless Mesh Network) IEEE 802.11s standard to become operational it is necessary to configure the parameters that meet the demands of its users, as regards, for example, the frequency channels, the power antennas, IPs addresses, meshID, topology, among others. This configuration can be done via a CLI (Command - Line Interface) or a remote interface provided by the equipment manufacturer, both are not standardized and homogeneous, like black boxes for the developers, a factor that hinders its operation and standardization. The WMN, as a new standard, is still in the testing phase, and tests are necessary to evaluate the performance of Path Discovery Protocol, as in this case of HWMP (Hybrid Wireless Mesh Protocol), which still has many shortcomings. The configuration and test creation in a WMN are not trivial and require a large workload. For these reasons this work presents the AIGA, a Management Integrated Environment for WMN IEEE 802.11s, which aims to manage and perform testbeds for analyzes of new Path Discovery Protocols in a WMN

Integrais de linha intervalares: fundamentos e aplicações

A necessidade de uma precisão e de uma aproximação dos resultados numéricos zeram com que diversas teorias surgissem: dentre elas, destacamos a Matemática Intervalar. A Matemática Intervalar surgiu na década de 60 com os trabalhos de pesquisa de Moore (MOORE, 1959) , em que ele propôs trabalhar com uma Matemática baseada na noção de intervalo real e não mais com um número como aproximação. Com isso, surgiu a necessidade de revisitar e reformular os conceitos e resultados da Matemática Clássica utilizando como base a noção de intervalo de Moore. Uma das áreas da Matem ática Clássica que tem tido muitas aplicações em engenharias e ciências é a Análises Numérica, onde um dos seus pilares é o Cálculo Integral e em particular as integrais de linha. Assim, é muito desejável se ter um cálculo integral dentro da própria Matemática Intervalar. No presente trabalho apresenta-se uma noção de Integral de Linha Intervalar baseada na extensão de integração proposta por Bedregal em (BEDREGAL; BEDREGAL, 2010). Para a fundamentação apresenta-se incialmente uma introdução sobre a pespectiva em que o trabalho foi realizado, considerando alguns aspectos histórico-evolutivos da Matemática Clássica. Os conceitos de Integrais de Linha Clássica, bem como algumas das suas aplicações mais importantes. Alguns conceitos de Matemática Intervalar necessários para o entendimento do trabalho. Para nalizar propomos uma aplicação da integral de linha em um experimênto clássico da mecânica quântica (a difração de um elétron em uma fenda) que graças ao fato de ser a Matemática Intervalar utilizada, nos dá um foco mais detalhado e mais próximo da realidade

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

Temas político-sociais no ensino da Matemática

Este trabalho teve como objetivo propiciar condições para a aprendizagem de conceitos matemáticos e verificar se o conteúdo Estatística, abordado por meio da análise de tabelas e gráficos, trabalhado em grupos cooperativos, por intermédio da resolução de Problemas Ampliados por Temas Transversais/Político-Sociais, pode contribuir para a transformação do ensino e aprendizagem desse conteúdo e para a formação de seres humanos comprometidos com os aspectos políticos, culturais, sociais e ambientais da sociedade em que vivem.

Interface entre história da matemática e ensino: uma atividade desenvolvida com base num documento do século XVI

Este artigo propõe a construção de uma interface entre história e ensino de matemática a partir de um diálogo entre historiadores e educadores da matemática. Para tanto, consideramos aspectos epistemológicos e metodológicos ligados à história da matemática, pautada em tendências historiográficas atuais, juntamente com a metodologia baseada no movimento lógico-histórico. A interface contemplou o movimento do pensamento na formação dos conceitos e o contexto no qual tais conceitos foram desenvolvidos, de modo a conduzir à reflexão sobre o processo histórico da construção do conhecimento para a elaboração de atividade didática. Esta atividade teve por base um documento do século XVI dedicado à construção e uso de instrumentos matemáticos, e sua elaboração levou em consideração uma intencionalidade e um plano de ação que viabilizaram o seu desenvolvimento. A organização do ensino articulou as conexões internas e externas trazidas pela análise do documento e a forma do pensamento do desenvolvimento do conceito.

Modelos matemáticos para o problema integrado de dimensionamento de lotes e corte de estoque undimensional

Pós-graduação em Matemática - IBILCE

Desenvolvimento e aplicação de modelos matemáticos para o controle da Diaphorina citri via manejo integrado e estudo da influência da temperatura sobre a dinâmica populacional de Talitroides topitotum

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

Coordenação pedagógica e gestão democrática: contexto, fundamentos teóricos e propostas de atuação na Rede Pública de Ensino do Estado de São Paulo

Pós-graduação em Educação Escolar - FCLAR

O ensino de matemática nos cursos de ciências biológicas: uma proposta de conteúdos adequados

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

O erro em sala de aula: subsídios para o ensino do eletromagnetismo

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

A prática docente no ensino de ciências no Ciclo II do Ensino Fundamental

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)

Alguns reflexos da didática construtivista no ensino de matemática nas quatro séries iniciais do Ensino Fundamental

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

O ensino por investigação abrindo espaços para a argumentação de alunos e professores do ensino médio

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