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

On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Entre missas e batuques: Irmandade de Nossa Senhora do Rosário dos Homens Pretos em Recife, Goiana e Olinda - Século XVIII

This work is a comparative study of three black brotherhoods that existed in Pernambuco in the eighteenth century, it is the Brotherhood of Our Lady of the Rosary of Black Men of Recife, Olinda and Goiás. The goal was to understand the similarities and differences between them, taking as benchmark their operating statutes, called Appointments. From the data analysis of the commitments associated with other documents produced by the Brotherhoods and the administrative and religious authorities, we sought the social profile of the villages in evidence, as well as the participation of black people inside. We sought to understand the historical conditions of that period, from the fact that the slave society, the black was placed in a position of subordination. However, as a carrier element of culture, although this condition, was able to overcome social obstacles, opening possibilities for own cultural manifestations of his group could occur. The coexistence in the Brotherhoods of the Rosary, which in addition to organizations for mutual assistance within the Catholic religion, is also constituted as fields mediators between high culture and popular culture, made those organizations become social spaces and representation allowed the existing order. The Brotherhoods of the Rosary in Recife, Olinda and Goiás, had their own hierarchical logic that engendered the construction of new black identities marked by cultural circularity that became possible due to the Atlantic diaspora process

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.

Mudanças na relação entre estado e mercado na produção de habitação de interesse social em Parnamirim-RN

The formulation of public policies, particularly those relating to social housing – SH -, follow a dialectical process of construction, which are involved in the figures of the State and tha Market.The combination of the State and Market remains in constant tension and struggle for power, which provides beyond products (policies, programs and projects), periods of crises and disruptions that can give rise to new institutional arrangements. It is possible to verify a change in the relationship between the State and the Market in the formulation of public policies of SH financing, justified by the context of the Brazilian economy growth, especially after 2003, year that began the first Lula Federal Government , and through the international financial crisis (in 2008). Thus, the State and the Real Estate Market has been undergoing a process of redefinition of their interrelations, articulating new arrangements, new scales of action and new logics of financial valorization of urban space. This peculiarity demanded the rapid thinning of speech and the proposals in the reformulation of housing policies, with the primary result within the pre-existing Growth Acceleration Program – PAC -, the release of My House , My Life – PMCMV -, established by Law 1.977 of the year 2009. Given the above, this research has as study object the relationship between financing public policies of SH, promoted by the State, and behavior of Formal Housing Market. It is believed that the established roles for each agent in the new housing finance model introduced with the PMCMV, have been adapted according to the needs of each location to make this a workable policy. It remains to identify the nature of these adaptations, in other words, what has changed in the performance of each agent involved in this process. Knowing that private capital remains where there is more chance of profit, we tend to believe that most of the adjustments were made on scale of State action. The recommendation of easing urban legislation taken by PMCMV points to how the State has been making these changes in activity to implement the production of social housing by this program. We conclude that in the change for PMCMV, the direct relationship for construction and housing projects financing began to be made between the Caixa Econômica Federal bank and the builders. The city was liberated from the direct interlocutor role between all actors involved in the production of SH and could concentrate on negotiating with the parties, focused on the effectiveness of SH public policies proposed by PMCMV. This ability and willingness for dialogue and negotiation of municipal government (represented by their managers), undoubtedly, represents a key factor for rapprochement between State and Real Estate Market in the City of Parnamirim.

A atenção à crise e o apoio matricial: analisadores da estratégia atenção psicossocial

The National Policy on Mental Health is characterized as a territorial - political community , and it has the Psychoso cial Care Strategy (Eaps) as guideline for the proposal and the development of their actions. In its design, CAPS is idealized to be a strategic equipment within the Psychoso cial Care Network/RAPS. Matricial support and at tention to the crisis constitute strategic areas of action of CAPS in its replacement mission , and as it is g uided by the scope of deinstitutionalization, those are essential to the success of these services. We argue that sustain crises in existential territories of life is a condition for the effectiveness of psychosocial care and, ultimately, to the sustainability of its Reform. In this direction, the matricial support tool reveals a territorial supporter, intercessory and powerful in building a psychosocial care to the crisis. Recognized as one of the major challenges by the Brazilian Ministry of Health, forward these fronts materializes for workers in their mi cropolitical crafts. Our research arises as an investment toward empower them , and aimed to understand the operationalization of attention to the crisis and matricial support in a CAPS II, in the view of its workers . Besides, it aims to examine such practi ces forward the principles and purposes of Psychosocial Care Strategy. Inspired by the research - intervention and by the political and social ideas of Institutiona l Analysis, we offer a space for reflection and exchange, by implicational interviews , enablin g workers to launch them in analysis of practices in the EAPs view. We have done a documentary consulting CAPS Technical Project, and a return stage to the institution, by organizing workshop and conversation groups with CAPS workers. The results have show n that there are institutional logics in competition on that service. When operating the logic risk, some difficulties in sustaining most intense crisis situations were identified, the psychiatric hospital internment is used as a facility, particularly in view of some cases, in which the aggressiveness of the person in crises becomes aggressive, and when the brackets SAMU, the CAPS III and Comprehensive Care Beds do not respond satisfactorily to their users requests. Order weaknesses were indicated in this thesis as macropolitical and micropolitical interfering in network support. The matricial actions were identified as a powerful intercessor resource in crisis care appeared weakened, and indicates little porosity in the relationship between the Service and the territory where it takes place. Noticed by the logic of home care, without operate primarily as a knowledge exchange device, we saw capture points in the logic of assistance with ambulatoriza tion production of CAPS, welfare practices and "ext empore " . T he E APs , although it emerge s as a guiding, it is not seen to workers as effective practice. On the one hand, the results signaled that the attention to the crisis and the matricial actions are developed without tenacious connection with the purposes of EA Ps, on the other hand, successful cases were indicated with the main leads to conducting wire of intersectoral actions to the powerful bonds and to the participation of user in their care process es , indicating insurgent forces tha t intend by traditional lo gic .

O som ao redor do baile: retomada e pós-retomada no cinema produzido em Pernambuco

This dissertation uncovers the path of Pernambuco’s independent cinema of the Retomada, of its production in the second half of the 1990s until mid 2012 when the sector manages to secure a funding edict (Funcultura) for its films and at the same time establishes a few symbolic mechanisms which contributed to the consolidation of a new cycle, the post-Retomada, namely: cinephilia and brodagem. Because it is a cinematography (pernambucana) outside the Rio-São Paulo axis, that is, outside the great center of the brazillian culture industry, the cinema produced in Pernambuco built a very specific modus operandi, in which a material basis, the consolidation of Funcultura, intercrossed with two symbolic practices feeding on each other, cinephilia and brodagem. In this regard, we seek not to establish the material perspective as the primary determination as opposed to the symbolic one. Futhermore, we followed the path of cinephilia in its direct commucation with the brodagem, and how both these logics pressured authorities to institute an incentive funding separated from other artforms in the state. From this point of view, we attempted to trace the trajectory of this cinematography in its external nuances, but also taking into account the internal nuances of its works of art (films). Following this, we created categories to define and distinguish the nuances of the Retomada and post-Retomada productions regarding ethical and aesthetical choices made by directors from both generations.

O som ao redor do baile: retomada e pós-retomada no cinema produzido em Pernambuco

This dissertation uncovers the path of Pernambuco’s independent cinema of the Retomada, of its production in the second half of the 1990s until mid 2012 when the sector manages to secure a funding edict (Funcultura) for its films and at the same time establishes a few symbolic mechanisms which contributed to the consolidation of a new cycle, the post-Retomada, namely: cinephilia and brodagem. Because it is a cinematography (pernambucana) outside the Rio-São Paulo axis, that is, outside the great center of the brazillian culture industry, the cinema produced in Pernambuco built a very specific modus operandi, in which a material basis, the consolidation of Funcultura, intercrossed with two symbolic practices feeding on each other, cinephilia and brodagem. In this regard, we seek not to establish the material perspective as the primary determination as opposed to the symbolic one. Futhermore, we followed the path of cinephilia in its direct commucation with the brodagem, and how both these logics pressured authorities to institute an incentive funding separated from other artforms in the state. From this point of view, we attempted to trace the trajectory of this cinematography in its external nuances, but also taking into account the internal nuances of its works of art (films). Following this, we created categories to define and distinguish the nuances of the Retomada and post-Retomada productions regarding ethical and aesthetical choices made by directors from both generations.

O centro de Fortaleza como lugar de moradia

The present study has the objective of analyzing how the ways of dwelling influences the uses and the functional and symbolic appropriations of the urban space in Fortaleza city center, through the perspective of the residents and their relation with the living place. Scenarios of development and degradation of its urban space have marked the city center of Fortaleza. The intensification of the commercial and services occupation promoted through the years, paradoxically, the valorization of the land price and the devalorization of the residential use. Thus, the residential occupation was consolidated in a discontinuous way, being concentrated mainly in the external limits of the historical core of the neighborhood. The research is structured over the delimitation of an area and the selection of multifamily residential buildings, built since the 1960s, close to the central core of the neighborhood. The spatial configuration analysis of the selected residential buildings, and their relations with the urban surroundings and the land uses, reveals different aspects related to the urban vitality, producing impacts over the ways of dwelling constituted by the daily life of the residents. The study of the ways of dwelling involves the comprehension that the dwelling is beyond the private residential boundaries and the functional occupation. The conceptual base of this research is developed over the perspective that the dwelling represents a fundamental aspect of the human condition, allowing the person to relate with the space in an essential way (HEIDEGGER, 2012). In this perspective of the dwelling, the space reunites the mental and the cultural, the social and the historical, being marked by simultaneous logics of the conceived, the perceived and the lived space (LEFEVBRE, 2006). The development of this study, over the point of view of the neighborhood residents, is inserted in the perspective of the lived space, related to the concept of place, understood as a qualitative phenomenon, giving essence and identity to the space. The place of dwelling, marked by coexistences, is one of the structural elements of the urban land use, and potential for the rehabilitation of the central areas in big cities. Therefore, the study starts from the hypothesis that the location, the nearby land uses and the spatial configuration of the residential buildings affect the ways of dwelling, in other words the residents dissolve the boundaries of the shelter and experience the urban space, from the dwelling place. The requalification of the dwelling is opposed to the residential space based in functionality, in hierarchy, in self sufficiency, in standardization and in the reproduction of the urban space, materialized in the dense contemporary residential buildings, that are unrelated to the city. The stages of the research involved the spatial configuration analysis of the selected residential buildings and their surrounding, the land use mapping and interviews with the residents. The collected data allowed verifying that the buildings are located in areas presenting heterogeneous land uses, with a great number of residents and users. However, these aspects are not sufficient to promote the vitality of the public spaces in the neighborhood, since the people movement in the streets is controlled by the opening hours of the predominant commercial use in the area. The word of the residents, collected in interviews, indicate that the conservation conditions of the public spaces and the insecurity influences their everyday relations with the place of dwelling, affecting fundamental aspects for the dwelling requalification in the central area of Fortaleza.

O centro de Fortaleza como lugar de moradia

The present study has the objective of analyzing how the ways of dwelling influences the uses and the functional and symbolic appropriations of the urban space in Fortaleza city center, through the perspective of the residents and their relation with the living place. Scenarios of development and degradation of its urban space have marked the city center of Fortaleza. The intensification of the commercial and services occupation promoted through the years, paradoxically, the valorization of the land price and the devalorization of the residential use. Thus, the residential occupation was consolidated in a discontinuous way, being concentrated mainly in the external limits of the historical core of the neighborhood. The research is structured over the delimitation of an area and the selection of multifamily residential buildings, built since the 1960s, close to the central core of the neighborhood. The spatial configuration analysis of the selected residential buildings, and their relations with the urban surroundings and the land uses, reveals different aspects related to the urban vitality, producing impacts over the ways of dwelling constituted by the daily life of the residents. The study of the ways of dwelling involves the comprehension that the dwelling is beyond the private residential boundaries and the functional occupation. The conceptual base of this research is developed over the perspective that the dwelling represents a fundamental aspect of the human condition, allowing the person to relate with the space in an essential way (HEIDEGGER, 2012). In this perspective of the dwelling, the space reunites the mental and the cultural, the social and the historical, being marked by simultaneous logics of the conceived, the perceived and the lived space (LEFEVBRE, 2006). The development of this study, over the point of view of the neighborhood residents, is inserted in the perspective of the lived space, related to the concept of place, understood as a qualitative phenomenon, giving essence and identity to the space. The place of dwelling, marked by coexistences, is one of the structural elements of the urban land use, and potential for the rehabilitation of the central areas in big cities. Therefore, the study starts from the hypothesis that the location, the nearby land uses and the spatial configuration of the residential buildings affect the ways of dwelling, in other words the residents dissolve the boundaries of the shelter and experience the urban space, from the dwelling place. The requalification of the dwelling is opposed to the residential space based in functionality, in hierarchy, in self sufficiency, in standardization and in the reproduction of the urban space, materialized in the dense contemporary residential buildings, that are unrelated to the city. The stages of the research involved the spatial configuration analysis of the selected residential buildings and their surrounding, the land use mapping and interviews with the residents. The collected data allowed verifying that the buildings are located in areas presenting heterogeneous land uses, with a great number of residents and users. However, these aspects are not sufficient to promote the vitality of the public spaces in the neighborhood, since the people movement in the streets is controlled by the opening hours of the predominant commercial use in the area. The word of the residents, collected in interviews, indicate that the conservation conditions of the public spaces and the insecurity influences their everyday relations with the place of dwelling, affecting fundamental aspects for the dwelling requalification in the central area of Fortaleza.

Of madness and many-valuedness: an investigation into Suszko's Thesis

Suszko’s Thesis is a philosophical claim regarding the nature of many-valuedness. It was formulated by the Polish logician Roman Suszko during the middle 70s and states the existence of “only but two truth values”. The thesis is a reaction against the notion of many-valuedness conceived by Jan Łukasiewicz. Reputed as one of the modern founders of many-valued logics, Łukasiewicz considered a third undetermined value in addition to the traditional Fregean values of Truth and Falsehood. For Łukasiewicz, his third value could be seen as a step beyond the Aristotelian dichotomy of Being and non-Being. According to Suszko, Łukasiewicz’s ideas rested on a confusion between algebraic values (what sentences describe/denote) and logical values (truth and falsity). Thus, Łukasiewicz’s third undetermined value is no more than an algebraic value, a possible denotation for a sentence, but not a genuine logical value. Suszko’s Thesis is endorsed by a formal result baptized as Suszko’s Reduction, a theorem that states every Tarskian logic may be characterized by a two-valued semantics. The present study is intended as a thorough investigation of Suszko’s thesis and its implications. The first part is devoted to the historical roots of many-valuedness and introduce Suszko’s main motivations in formulating the double character of truth-values by drawing the distinction in between algebraic and logical values. The second part explores Suszko’s Reduction and presents the developments achieved from it; the properties of two-valued semantics in comparison to many-valued semantics are also explored and discussed. Last but not least, the third part investigates the notion of logical values in the context of non-Tarskian notions of entailment; the meaning of Suszko’s thesis within such frameworks is also discussed. Moreover, the philosophical foundations for non-Tarskian notions of entailment are explored in the light of recent debates concerning logical pluralism.

Cooperação e competição entre políticas no Brasil: os custos da governabilidade no presidencialismo de coalizão

Public policies have been studied in the various fields of humanities and social sciences, from different theoretical and technical aspects. However, there is still a lack of studies that incorporate the dimension that encompasses the political action and its interference in such actions, also recognizing the importance of the institutional setting of the Brazilian presidential model in implementing these policies. This fragmented and multiparty system has led to power heterogeneous sets of political parties. Thus, the ministerial offices, more than assisting the President´s government project, manage particularized agendas, which are party biased and have the influence of interest groups in hegemonic themes addressed by government agencies. When these agendas operate in sectoral and specialized policies, the friction level is apparently low. However, when this occurs in intersectoral actions, such as in regional development, there is evidence of strong signs of competition among government agencies, which in theory, should operate in an integrated manner. Although this is not a specific feature of Luiz Inacio Lula da Silva´s government- the period to be studied- there was similar behavior in Fernando Henrique Cardoso´s presidency, one realizes that the expansion of coalition on behalf of governance is increasingly interfering in the outcome of intersectoral public policies, due to these multiple arguments in action. In order to understand these processes, this study focused on the Sustainable and Integrated Development Programme for Differentiated Meso-Regions (PROMESO), part of the National Policy for Regional Development (NPRD). The program provides interface with various government agencies and their public policies in a clear intersectoral design. The research sought to identify and analyze the relationships between government agencies and their programs with interest groups, whether political parties or other segments of civil society, highlighting the logic of favoritism, which poses in second place the integration of actions in the intersectoral policies. Therefore, besides the theoretical debate that incorporates several categories of political science, public administration, public policy, geography and economics, the study focused on secondary sources, using different government agencies databases in order to raise information. It was observed that the interference of partisan politics has been disastrous for some public policies. Thus, the research confirms that cooperative character is fragile within government agencies, often limited to official documents, and that there is indeed, a striking feature of competition, especially when it comes to transversalized policies

Gestão híbrida em cooperativa de crédito: uma análise a partir do interesse, participação, satisfação e expectativa dos cooperados da COOPERUFPA

The globalization of markets has confirmed for the processes of change in organizations both in structure and in management. This dynamic was also observed in credit unions because they are financial institutions and are under the rules of the Brazil´s Financial System. Given the context of organizational changes in the financial capital has played the traditional management reform is urgent. In organizations credit unions, given its dual purpose, because in the same organizational environment and capitalism coexist cooperative whose logics are antagonistic, but can live through the balance between instrumental rationality and substantive rationality in credit unions. Based on this concept a new form of management should be thought to be able to accommodate the demand of cooperative, community, government and the market. Hybridization has been observed in management practices` COOPERUFPA into dimensions financial, social and solidarity participation with a trend in paradigmatic form of hybrid management, in that it directly or indirectly affect the management decisions in the credit union. The hybrid management is a trend that has been setting the basis for societal transformation, so that credit unions promote actions of welfare oriented cooperative members and the community around the same time that attend the dynamics of market globalization. These actions, in the context of hybrid management should be implemented by COOPERUFPA from the sociability of the remains and the wide diffusion of solidarity culture between cooperative partnership as a way to recover their participation in trade relations, financial and the social collective developement. For the members of COOPERUFPA financial interest is evidenced in greater relevance for the social interest given its dominant relationship as "mere customer" of the credit union, however, the proactive participation of the life of the cooperative credit union is one of its expectative among of participation of to share power in decisions by general meetings. This passivity`s cooperator of the COOPERUFPA in defending the ideals overshadowed the spread of cooperative principles and values of cooperation among them. Thus his conception for COOPERUFPA in the financial dimension, social and solidarity democracy, performed transversely. The COOPERUFPA for not developing an education policy for the cooperation among its members, contributed to a process of collective alienation of cooperative ideals, since the cooperative do not understand the reality that surrounds them as members of an organization whose mission is to social and financial sustainability of its members

O Ofício das Rezadeiras: um estudo antropológico sobre as práticas terapêuticas e a comunhão de crenças em Cruzeta/RN

The present Master´s dissertation aims to study the practices of the rezadeiras, Brazilian women healers, through an anthropological perspective. Special attention will be given to the understanding of these practices as a dynamic process in relation to those women who heal in Cruzeta (Seridó, Rio Grande do Norte), where is located our ethnographic research. For this research, twenty four rezadeiras were contacted and colaborated with our work plan. Among them, two were pentecostal rezadeiras and another one was member of the Jurema cult, an afro-brazilian religious cult. Similarities among these women healers were perceived in the research process, mostly in terms of their learning process and the use of certain objects and ritual techniques. However, apparent differences among them gave us the chance for understanding and reflecting on the actual heterogeneity of this world of specialists. Furthermore, i tried to capture the relations between the rezadeiras and the therapeutic practices from health professionals or the religious practices of religious leaders (Catholic, pentecostal, etc). It is possible to ascertain about the complementarity between therapeutic practices from different cultural logics. This complementarity is also perceived through the religious interchanges and transits among different healers, including those who have different religious beliefs. In this work, rituals are also described and they are a crucial factor to the understanding of this particular religious and therapeutic practice conducted by women. Following these ideas, our basic aim is to understand how the rezadeiras make interpretations about health and illness, specially those ones which are particular associated with their practices, the so called "doenças de rezadeiras"