A teoria de Dienes no ensino de transformação de medidas de comprimento, área e volume no curso de pedagogia

The study was aimed to test a teaching module on the Zoltan Paul Dienes theory, focusing on the content: The transformation of measurements: length, areas and volumes. The study based on constructivist theory consisted in a methodological intervention with students of the 7th period of the Course of Pedagogy, in Central Campus, Federal University of Rio Grande do Norte (UFRN). A preliminary study with 40 students called diagnostic evaluation found that students did not understand the concept of measurements transformation and its processing steps. The latter was performed only with the help of the table of measurements transformation with no understanding of the content. He applied a pretest, a set of activities and a post-test. The latter was used as a tool for evaluation of the student learning process. The answers of these ones were evaluated according to the concept of reflective abstraction of Jean Piaget, one of the authors who influenced the Dienes theory

A formação de conceitos no ensino de graduação em enfermagem à luz da teoria da aprendizagem significativa

The Theory of Meaningful Learning (TML) described by David Paul Ausubel offers a proposal for the teaching strategies to provide a more active and effective student learning. The projection of the TML practice is demonstrated through the development of concept maps (CM) technique, created by Joseph Donald Novak, which presents as a strategy, method or schematic feature, which is an indicator to identify the cognitive organization of the knowledge acquired by students. The survey was conducted in the light of TML in relation to learning concepts involving students of undergraduate nursing in a public university in the state of Rio Grande do Norte. Thus, the study aimed to compare the concept learning of students of undergraduate nursing, when subjected to different forms of education, to point approaches that promote more effective and meaningful results. It was a quasi - experimental study with a qualitative analysis, conducted with students of the Undergraduate Nursing of the Universidade Federal do Rio Grande do Norte (UFRN), approved by the Research Ethics Committee/UFRN Certification of Presention for Ethics Appreciation (CPEA) in 11706412.3.0000.5537. The study took place at two different times and involved content on complications mediate postoperative surgical wound in the same discipline with students who attended the 5th semester of the degree course in Nursing. For the viability of data collection, in the second half of 2013, we used the technique of CM, to represent the concept of complications mediate postoperative surgical wound covered in the classroom. CM were built at a different time from that of the discipline, with the support of tutors and preceded by a brief description and explanation about the form of preparation and application. In this study were subjected, 31 students of undergraduate nursing, registered in the discipline of Integral Attention to health I. In the first stage, 18 students participated in the survey, they had the teaching intervention based on TML, and in the second stage, all students participated in the lesson provided curriculum with the responsible teacher of the subject, on the same issue occurred. At the end of each meeting, the students 11 developed concept maps with the aid of software Cmap Tools®. Data analysis happened upon the technique of content analysis, supported by a conceptual map "glass", previously developed by researchers and aid in the preparation of the categories in which the concepts found were classified. The study found that the teaching intervention based on TML with the help of CM, managed to develop in students a more expressive teaching learning process than just classroom curriculum with the traditional teaching method, and also that the association between the intervention motion teaching with the traditional method and the use of the technique of CM encourages the student the ability to articulate the various acquired knowledge as well as apply them in real situations

Paul Ricouer: entre hermenêutica e crítica das ideologias

This work exposes the Paul Ric ur s thought in relation to the contemporary complaint between the hermeneutics and the ideologies criticism. It shows, in this direction, the unity between text and action according to Ric ur s perspective. The philosophical view of Ric ur, It affirms, is far from any eclecticism, but if it characterizes for a dynamic style, explained here from the analogies with the movement of the particles, of the quantum physics, which help to excuse to the make a mistake idea of compilation and eclecticism, resultant of superficial readings of its texts. In deep, this work nothing more it is that a contribution to the construction of a theory of the reading of the text of this notable philosopher

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Contribuições para o processo de verificação de satisfatibilidade módulo teoria em Event-B

Event-B is a formal method for modeling and verification of discrete transition systems. Event-B development yields proof obligations that must be verified (i.e. proved valid) in order to keep the produced models consistent. Satisfiability Modulo Theory solvers are automated theorem provers used to verify the satisfiability of logic formulas considering a background theory (or combination of theories). SMT solvers not only handle large firstorder formulas, but can also generate models and proofs, as well as identify unsatisfiable subsets of hypotheses (unsat-cores). Tool support for Event-B is provided by the Rodin platform: an extensible Eclipse based IDE that combines modeling and proving features. A SMT plug-in for Rodin has been developed intending to integrate alternative, efficient verification techniques to the platform. We implemented a series of complements to the SMT solver plug-in for Rodin, namely improvements to the user interface for when proof obligations are reported as invalid by the plug-in. Additionally, we modified some of the plug-in features, such as support for proof generation and unsat-core extraction, to comply with the SMT-LIB standard for SMT solvers. We undertook tests using applicable proof obligations to demonstrate the new features. The contributions described can potentially affect productivity in a positive manner.