9 resultados para practical logic

em Universidade Federal do Rio Grande do Norte(UFRN)


Relevância:

20.00% 20.00%

Publicador:

Resumo:

We try to relate this research with other logic, to discover a path of practical approach to approach a creation composed of fragments and a search of parameters for the aesthetics of appropriation. Accordingly, we find relationship with the theater composed of fragments, where different styles are appropriate theatrical and representational styles are merged with each other. Discusses in the first chapter on the theater composed of fragments, and stroll through lanes of the strategies of some directors in the ways of the contemporary scene. In the second chapter we seek procedures and concepts of atmosphere Mikhail Tchekhov (TCHEKHOV, 1996), and the transition from point-to-point by Scott McCloud (2005). In the third part we describe the observation of the experiment conducted by the students of the Bachelor's Degree in Regional Theatre at the University of Cariri in Juazeiro, Ceará, in 2010. Using the methodology of "pesquisa-ação", observing that the scenic writing end of the experiment, called "Toque Me", and the presentation in the cities of Crato and Barbalha, in August 2010, contained elements of the strategies from theater fragmentary scenes and conceptual contents of contemporary theater

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Barra do Camaratuba belongs to Mataraca city, nearby the boarder between Paraíba and Rio Grande do Norte states. It was the chosen community to develop this research, objectifying to study the set of practical of the cultural manifestations and the implications of the local tourist activity, considering the cultural dynamics. We tried to reconstruct stories from the narratives of the oldest inhabitants, natives, among others that they had lived, some how, individual and collective experiences related to the popular tricks and the traditional parties, considering what they speak and imagine about their experiences and its culture. The Lapinha, the Pastoril, the viola s songs, the Balls of Concertina, the João Redondo, the Ox of Kings, the wheel of Coconut were common practical perceivable through the communitarian bonds. Among these manifestations, the only one that resisted for a longer time was the wheel coconut. The São Pedro s fest is another popular manifestation that appears on the current scene like the padroeiro party, while others cultural practical compose the spectacle s scenery. These questions cover many of the narratives of the interviewed ones in the interlaced thing between memory, tourism and tradition. Therefore, we tried to build our research from the memory, participant observation, orality, techniques of the life history, personal depositions, among others basic methods for the reconstruction of a collective memory . Speaking about the past of Barra do Camaratuba is to live again the parties, the blood relations, the terço , the work in the roçados , in the flour house, the fishing, the leisure and the habits of the daily life. In this community, there is the presence of conflicts of social and cultural order, caused for the hegemonic classes that sponsor the parties. In the padroeiro party we perceive that the mercantile logic has started, very recently, to transform the religious factor into an excuse to put into motion the local economy. This way, a community originated from artisan fishers and agriculturists, having the fishing practical as a way of subsistence and the tricks as a reference, they had started to compose a new social picture with the arrival of the others and with the presumption and recent tourist development. We perceive social, environmental and cultural impact transformations, exemplified by a non planned activity or a predatory tourism. The changes will always be pointed and compared with other passing in a sphere of relations lived by the natives, local players and fishers

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This dissertation is a work on playing and its relation with the knowledge production process. It is the result of a set of personal experiences with the cultural universe of children which have instigated a look into the way they explore the world and questions about the very nature of the games they play. Could we consider those games hide, or rather reveal important strategies used in the knowledge production process and in making science. In light of several studies concerning the complexity of science, this questioning has also led to the development of a toy (a box), which consists of a range of pieces (photos, video, audio, stones, seeds, rags, envelopes, etc.). My intention is to show in a practical manner a strategy of thinking similar to the sensitive logic bricolage present in the playing, in order to instigate the reflection on the possibility of its inclusion in the production of the knowledge and science making processes

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The present study had as a main objective to analyze how the professionals at a CAPS ad unit in Natal-RN conceive the knowledge-practice process with regard to the Harm Reduction Policy (HRP) towards alcohol and other drugs. For the accomplishment of this proposal, it was intended: 1) Verifying the possibilities and limits of the HRP implementation at a CAPS ad unit in Natal-RN; 2) Relating the professionals knowledge at a CAPS ad unit in Natal in regard to the Harm Reduction Policy; 3) Enumerating the HRP programmatic actions at the institution. The research had exploratory, descriptive and qualitative approach aspects, guided by the concepts of biopower and self care proposed by Michel Foucault. Data collection occurred in June and July 2011, in which the focal group technique was used. After that, collect field material was analyzed through the content analysis method proposed by Minayo. The results showed some conceptual and practical approach between the harm reduction strategy and the knowledge-practice of the professionals at this CAPS ad unit. The discursive models about drug usage, especially the moral-legal model, still have a significant role in the daily lives of these professionals, being amplified by some demands of their jobs or even through the instituted discourse. The individuals recognize the need for less prohibited practices and more socializing ones, identifying them with the Harm Reduction (HR) logic, when there is a coherent and well-founded understanding about HR among the professionals. Distorted and reductionist views about HR as considering the simple instrumental function of this strategy (distribution of basic supplies) among the professionals, represent one of the main barriers for its implementation. There are few programmatic activities that are related to the RD strategy at this CAPS ad unit which makes a more effective appropriation by the working team difficult to reach. The working processes and the postures adopted by this CAP ad unit professionals have been showing that many of their practices and conceptions were modified to the detriment of new necessities emerged from the demands. Consequently, the self care notion is revealed which brings the need for the valorization of these care agents roles, that is, their collective and individual contribution.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Technological evolution of industrial automation systems has been guided by the dillema between flexibilization and confiability on the integration between devices and control supervisory systems. However, there are few supervisory systems whose attributions can also comprehend the teaching of the communication process that happens behind this technological integration, where those which are available are little flexible about accessibility and reach of patterns. On this context, we present the first module of a didactic supervisory system, accessible through Web, applied on the teaching of the main fieldbus protocols. The application owns a module that automatically discovers the network topology being used and allows students and professionals of automation to obtain a more practical knowledgment by exchanging messages with a PLC, allowing those who are involved to know with more details the communication process of an automation supervisory system. By the fact of being available through Web, the system will allow a remote access to the PLC, comprehending a larger number of users. This first module is focused on the Modbus protocol (TCP and RTU/ASCII)

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The development of non-linear controllers gained space in the theoretical ambit and of practical applications on the moment that the arising of digital computers enabled the implementation of these methodologies. In comparison with the linear controllers more utilized, the non -linear controllers present the advantage of not requiring the linearity of the system to determine the parameters of control, which permits a more efficient control especially when the system presents a high level of non-linearity. Another additional advantage is the reduction of costs, since to obtain the efficient control through linear controllers it is necessary the utilization of sensors and more refined actuators than when it is utilized a non-linear controller. Among the non-linear theories of control, the method of control by gliding ways is detached for being a method that presents more robustness, before uncertainties. It is already confirmed that the adoption of compensation on the region of residual error permits to improve better the performance of these controllers. So, in this work it is described the development of a non-linear controller that looks for an association of strategy of control by gliding ways, with the fuzzy compensation technique. Through the implementation of some strategies of fuzzy compensation, it was searched the one which provided the biggest efficiency before a system with high level of nonlinearities and uncertainties. The electrohydraulic actuator was utilized as an example of research, and the results appoint to two configurations of compensation that permit a bigger reduction of the residual error

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The development of this work arises from the research of sociological and philosophical characters contemplating also other approaches which aims to answer the followingquestions: what is the responsibility of science teaching for the image one has about science? ; which scientific education should be designed for nowadays? . After considering the assumptions brought along by rationalism and the criticisms to the illuminist model proposed by sociology and philosophy of science, as well by the biology of the knowing process, going through discussions concerning post-modernity issues, one is given to understand that the image of science has become the central point of discussion in the last hundred years, including what concerns the area of science teaching, and that practically none of those discussions really reached natural science classes indeed. We adopt the term postontological to characterize the recent proposals on philosophy and sociology, because we evaluate that this term allows a better identification of the scientific realism crisis, which supports the existence of an ontological domain which science, and only science, is able to understand. One notices that the general public is not aware of those discussions, mainly if they are science teachers and students. So we believe that discussing the logic in which science is structured, the new understandings concerning the scientific undertaking, especially those of an externalist character, and the relationship between science and society, all of this contributes to build up a science teaching which contemplates a reflective contribution, besides allowing the inclusion of the study of other epistemologies in the educational practice. We argue that a revisionist posture seems to be the most appropriate for the contemporary scientific education, contemplating, besides the teaching of the usual science contents, discussions on the issues involving that knowledge, as well as respecting epistemologies alternative to the modern Western scientific one, in order one can work on the perception of local knowledge generated from other epistemological bases. We describe here practical activities we did involving teachers (short-term courses) and high-school students in an inland school in the Rio Grande do Norte state, in Brazil, as a way to demonstrate the possibility of interventions which can take those conceptions, discussions and changes to the classroom

Relevância:

20.00% 20.00%

Publicador:

Resumo:

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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