A cultura da produção de farinha: um estudo da matemática nos saberes dessa tradição

This research argues about the mathematical knowledge built in the tradition of the cassava flour production, seeking to analyse these mathematical knowledge in the perspective of the categories of time and measure, built and practiced in the flour production, located in Serra do Navio and Calçoene, in Amapá - Brazil. The following work discuss the identification and the description of the mathematics during the production activities of the flour, where is presented elements related to generation and transmission of the traditional knowledge, which is the basis for maintenance of the tradition of the flour, characterizing the research as an Ethnomathematic study. The methodological procedures highlight ethnographical techniques and elements that characterize the participating observation. The results obtained showed us that the flour workers articulate some length, area and volume measure due to own and traditionally acquired systems, which is apprehended and countersigned by other kind of culturally established system; thus they relativism the measures systems and the official calendars. And it lifts as one of the main proposal that the academic mathematics and the tradition establish knowledge make conjunction of the both knowledge, that is important for a possible reflection and application in the construction of a pedagogical practice in mathematical education, trying to establish points of socio-economic and cultural mark

O grupo escolar modelo augusto severo (1908-1928): vinte anos de formação de professores

Ce travail a pour objet d'étude le Groupe Scolaire Augusto Severo, situé à Natal, première institution du type dans l'État du Rio Grande do Norte. Il analyse la pratique pédagogique, le modèle d'éducation primaire et d'expérimentation des personnes en formation de l'École Normale de Natal, entre 1908 et l'année de 1928. Dans cette période, se sont produites des tentatives d'organisation scolaire par le biais de la Réforme de l‟Enseignement Primaire (1908) et de la Réforme de l‟Enseignement (1916). Nous nous sommes basés sur l'Histoire Culturelle définie à travers la conjonction de l'histoire des objets dans sa matérialité, des pratiques dans leurs différences et configurations, des dispositifs dans leurs variations. Nous avons utilisé les journaux A República et Diário do Natal, la revue Pedagogium, des Lois, des Décrets et Messages du Gouvernement, des Codes d'Enseignement et le Régime Interne des Groupes Scolaires, documents qui proviennent du fonds de l'Institut Historique et Géographique do Rio Grande do Norte (IHGRN) et des sources iconographiques, provenant de l'Institut du Patrimoine Historique et Artistique National (IPHAN/RN). Dans les Archives Publiques de l‟Etat (APE/RN) nous avons recherché les Livres d'Enregistrement des Groupes Scolaires et Écoles Isolées, Offices, Inscriptions, Rapports et Actes de réunions de la Direction Générale de l'Instruction Publique et Journal de Classe. Nous avons analysé l'action des professeurs dans cette institution primaire, ainsi que l'histoire des disciplines scolaires et des programmes d'enseignement, la problématique des contenus et méthodes. Nous avons observé que la méthode intuitive était la dynamique de la pratique pédagogique efficace et que les rites de récompense, les cérémonies civiques composaient l‟ensemble des idées modernisatrices de l‟époque

Superando os riscos da segurança baseada em perímetro - Uma abordagem com identificação federada através de certificados digitais A3/ICP-Brasil e SAML

The traditional perimeter-based approach for computer network security (the castle and the moat model) hinders the progress of enterprise systems and promotes, both in administrators and users, the delusion that systems are protected. To deal with the new range of threats, a new data-safety oriented paradigm, called de-perimeterisation , began to be studied in the last decade. One of the requirements for the implementation of the de-perimeterised model of security is the definition of a safe and effective mechanism for federated identity. This work seeks to fill this gap by presenting the specification, modelling and implementation of a mechanism for federated identity, based on the combination of SAML and X.509 digital certificates stored in smart-cards, following the A3 standard of ICP-Brasil (Brazilian official certificate authority and PKI)

Saberes de astronomia no 1º e 2º ano do ensino fundamental numa perspectiva de letramento e inclusão

This work suggests a discussion about methodologies and didactic-pedagogical activities for the teaching of Astronomy in first and second cycles of the primary school, in a perspective of literacy and inclusion. The presented proposals have been developed in a group of the Public School Alceu Amoroso Lima, North of Natal city, with children since six years old, amongst which two considered as being with special needs . This research aims to demonstrate that it is possible to develop with those children the contents of Astronomy, while they participate of the process of literacy and inclusion. From this, we are searching a theoretical-practical contribution so that the Parâmetros Curriculares Nacionais (Brazilian Nacional Curricular Guideness) include the referred contents in first cycle of primary school. For the accomplishment of this research, Experiential Astronomy was initially proposed. Later on, many workshops had been carried through (clay, ripping , crepon paper, plasticine, cardboard and gastro-lunar ). All the proposed activities were based on the conjunction of contents, which characterized the interdisciplinarity. Through the approach we adopted and the practices we proposed, we could evidence that not only children considered as being normal , but also that ones who carries special needs could appropriate themselves of our writing code, develop and incorporate a daily relationship close to the stuffs of the sky, learn many information about all of this, besides constructing attitudinal, procedural and conceptual contents

Alternância no uso dos modos indicativo e subjuntivo em orações subordinadas substantivas: uma comparação entre o português do Brasil e o francês do Canadá

The purpose of this work is to analyze the use of the indicative mood, instead of the subjunctive prescribed by the normative grammar, in complement clauses introduced by the conjunction que in Brazilian Portuguese. Contexts of use of the subjunctive according to grammatical prescription, and contexts of fluctuation on the use of that verbal mood were analyzed, in an attempt to investigate what interferes on the choice of the mood by the user of the language. This study is based on North-American Functional Linguistics theoretical perspective, oriented to analyzing language in use, in the light of the principles of grammaticalization and markedness. The results obtained support that the contexts that favor the indicative over the subjunctive are those composed by a complement clause functioning as a direct object the unmarked clause of all complement clauses and by a verb on the main sentence that belongs to the semantic field of low certainty, corresponding to the epistemic sub-mode the unmarked category of the deontic sub-mode. The results indicate that pragmatics and semantics factors influence the language user on the choice of the verbal mood. This research also presents comparative data on the use of the indicative mood in place of the subjunctive in Brazilian Portuguese and Canadian French, aiming to providing suggestions on language teaching

Os argumentos transcendentais: kant e o problema de hume

This work whose title is "The transcendental arguments: Kant Andy Hume's problem" has as its main objective to interpret Kant's answer to Hume's problem in the light of the conjunction of the causality and induction themes which is equivalent to skeptical- naturalist reading of the latter. In this sense, this initiative complements the previous treatment seen in our dissertation, where the same issue had been discussed from a merely skeptical reading that Kant got from Hume thought and was only examined causality. Among the specific objectives, we list the following: a) critical philosophy fulfills three basic functions, a founding, one negative and one would argue that the practical use of reason, here named as defensive b) the Kantian solution of Hume's problem in the first critisism would fulfill its founding and negative functions of critique of reason; c) the Kantian treatment of the theme of induction in other criticisms would will fulfill the defense function of critique of reason; d) that the evidence of Kant's answer to Hume's problem are more consistent when will be satisfied these three functions or moments of criticism. The basic structure of the work consists of three parts: the first the genesis of Hume's problem - our intention is to reconstruct Hume's problem, analyzing it from the perspective of two definitions of cause, where the dilution of the first definition in the second match the reduction of psychological knowledge to the probability of following the called naturalization of causal relations; whereas in the second - Legality and Causality - it is stated that when considering Hume in the skeptic-naturalist option, Kant is not entitled to respond by transcendental argument A􀁴B; A⊢B from the second Analogy, evidence that is rooted in the position of contemporary thinkers, such as Strawson and Allison; in third part - Purpose and Induction - admits that Kant responds to Hume on the level of regulative reason use, although the development of this test exceeds the limits of the founding function of criticism. And this is articulated in both the Introduction and Concluding Remarks by meeting the defensive [and negative] function of criticism. In this context, based on the use of so-called transcendental arguments that project throughout the critical trilogy, we provide solution to a recurring issue that recurs at several points in our submission and concerning to the "existence and / or the necessity of empirical causal laws. In this light, our thesis is that transcendental arguments are only an apodictic solution to the Hume s skeptical-naturalist problem when is at stake a practical project in which the interest of reason is ensured, as will, in short, proved in our final considerations

A relação entre as noções de eleuthería e autárkeia na filosofia de Epicuro

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

A coleção mossoroense e a construção dos mitos: Dix-Sept Rosado, o herói imolado

This research comprises a study on the values and ideals attributed to Dix-sept Rosado, by the Coleção Mossoroense journal. Local researchers demonstrate how the Coleção Mossoroense constructs an image of Mossoró, forming in the members of the city an identity with the place, a social cohesion or creating one forms to see and to say about the Mossoró city. The Coleção Mossoroense, through Vingt-un Rosado together with its family, established a form of seeing and identifying of the Mossoró s population with the city, just because it associated and it was, at the same time, a movement at the same time social (civic parties for example), political (the domination of the Rosado s family) and cultural (the books and theatrical parties about the city). The conjunction of the Coleção Mossoroense as and with a social movement, cultural and political was capable to establish a social identity, a subjective constituent . With this background, it was possible to make a study of the image attributed to Dix-sept Rosado, by the Coleção Mossoroense, through an analysis of the inherent discourse in the works by Bakhtin (1989) and Bourdieu (2000), of and on Dix-sept Rosado in the Coleção Mossoroense based on. The image of Dix-sept Rosado was constructed by the Coleção Mossoroense after its death, and the responsible for this was Vingt-un Rosado, which was the chief-editor of the Coleção Mossoroense up to 2006, year of its death. The Coleção Mossoroense built an image of Dix-sept Rosado as an enterprising man, progressive and innovator, of great capacity of leadership and oratory (a conductor of the crowds ), popular and charismatic, an honest and dynamic politician. This image made by the Coleção Mossoroense, although when enhancing in surplus the qualities of Dix-sept Rosado have as objective to transmit an image of a heroic personage, it has some relation with the reality. Dix-sept Rosado was a man identified with its locality. This can resemble a regional nationalism. The attitudes of Dix-sept Rosado must be understood inside of a broader social context, of a time marked by the populist politics. Qualities also appreciated and developed inside of a specific historical context and determined both national and locally. The Coleção Mossoroense enhances the qualities of Dix-sept Rosado so that the current politicians of the Rosado s family can establish a link of continuity in its contemporary political practice

Geração de casos de teste a partir de especificações B

With the increasing complexity of software systems, there is also an increased concern about its faults. These faults can cause financial losses and even loss of life. Therefore, we propose in this paper the minimization of faults in software by using formally specified tests. The combination of testing and formal specifications is gaining strength in searches mainly through the MBT (Model-Based Testing). The development of software from formal specifications, when the whole process of refinement is done rigorously, ensures that what is specified in the application will be implemented. Thus, the implementation generated from these specifications would accurately depict what was specified. But not always the specification is refined to the level of implementation and code generation, and in these cases the tests generated from the specification tend to find fault. Additionally, the generation of so-called "invalid tests", ie tests that exercise the application scenarios that were not addressed in the specification, complements more significantly the formal development process. Therefore, this paper proposes a method for generating tests from B formal specifications. This method was structured in pseudo-code. The method is based on the systematization of the techniques of black box testing of boundary value analysis, equivalence partitioning, as well as the technique of orthogonal pairs. The method was applied to a B specification and B test machines that generate test cases independent of implementation language were generated. Aiming to validate the method, test cases were transformed manually in JUnit test cases and the application, created from the B specification and developed in Java, was tested. Faults were found with the execution of the JUnit test cases