Deciding difference logic in a Nelson-Oppen combination framework

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

A ação da bancada evangélica na Câmara Municipal de Natal/RN: 2005-2008

The Evangelical Church is an institution that presents itself as a group that aims to be a mediator between society, the state and the country itself. However political practice within the churches have been somewhat taken authoritarian, manipulative, intolerant and realize this reality in the analysis of this work. While understanding that the Church as an institution has formed an opinion about what is right and wrong in their communities as a social institution can be seen in contemporary society growing religious occupation of the public sphere and in all segments of Brazilian society the presence of evangelicals. One of the challenges is the discussion of the practices of Christ when the ownership of the mandate legitimized by the vote happens, what real action is the "Christ policy"? What social contributions to retrieve people, places and cities? What is the competence to work towards promoting the other gains in health, employment, security, education? The purpose of this dissertation is to contribute to the questioning of the current logic and prevailing construction of Christian ideals in politics. Develop an investigation by reference to the absence of a study on the activity of the evangelical councilors Christmas during the period 2004 -2008, order to be able assign a value judgment based on information of projects that every evangelical councilor exercised during the 15th Legislature, occasion that the City Council received the highest representation of evangelical councilors in its history.

Questionamentos acerca de valores axiológicos no turismo: uma abordagem fenomenológica hermenêutica

The study presents the possibility of interpretation of axiological values of tourism as a practice conceived on a human being or Dasein as being-in-the-world of tourism. The value, as an object of Axiology, was considered the predictor of the human being conduct in the phenomenon reflecting this same value in tourism. The aim was to comprehend and interpret through the way of being of Dasein in tourism, which axiological values are chosen to the practice of tourism and the intentional feelings directed to these values. A phenomenological hermeneutics research with exploratory characteristics was accomplished in order to survey the values. Ten episodic interviews were conducted from the hermeneutic situation - constituted by fore-having, fore-sight and fore-conception of each Dasein interviewed, by adopting a sympathetic conduct and sympathy of Max Scheler and the use of emotional intuition to capture the intentional feelings, interpreted afterwards by the analysis of a Martin Heidegger's phenomenology in Being and Time. The results showed that, even without categorisation, the totality of the living experiences, the way of being of positive values outnumber the negatives ones in the existence of each Dasein, leading them to the Learning, which are comprising: experiences to provide self-knowledge, historical-cultural values, and memory as part of the learning experiences, hospitality as a way of openness and socio-cultural exchange, solidarity and peace. Intentional feelings directed at the values for the choice for practicing tourism were: love, happiness, pleasure, respect and trust. Four evidences were found concerning the use of sentimental perspective and intentional feeling of Scheler and regarding the logic of the heart of Pascal used by this author. The sociocultural interrelationships and exchanges form the basis for developing tourism as phenomenon. Therefore the character being-with or Mitsein is prevalent in tourism activities. Despite the learning was the purpose of the experiences, the ultimate goal was the improvement and personal enrichment of Dasein´s humanity development. The study also showed the hermeneutic phenomenological seeing opens the access of the living experiences of values, without making arbitrarily judgment and achieve "to the thing themselves", which, by the overlapping of categories, dispositions and intentional feelings, form the evaluative experiences and are possible to access through the fundamental ontology of Heidegger. The study contributes to broaden the vision concerning to the totality of tourism and the practitioners Dasein of it. As possibilities for deepening studies, was pointed out: the total person of Scheler; the care or Sorge as a form of love in Heidegger; happiness and pleasure in the practice of tourism and human flourishing or eudaimonia.