Mala na mão, pé na estrada: à procura de uma pedagogia das singularidades

We make many journeys during our lifetime. In each of them we accumulate experiences that result in an amount of knowledge that constitutes our history. The dissertation presents one of these journeys: that one I took along with students of Pedagogia da Terra project from Universidade do Estado do Rio Grande do Norte UERN to think about the knowledge within their memories in their way from countryside to city seeking for education. I used as main references to this task the ideas of Edgar Morin about Method as Strategy, implication of the subject in knowledge, pertinent knowledge, and knowledge reconnection. And from Paulo Freire I used the concepts of cultural identity assumption and dialog. I built as resource of method the metaphor of the suitcase, called by me the trunk of memory treasures . The use of this cognitive operator makes possible for those students bring their memories to the surface and share them collectively, by the process I name as auto-social- biographical narratives. The explicitness of the memories they choose to reveal by means of these narratives permitted me to understand the metamorphosis of these knowledge since their childhood to nowadays. In order to present an archeology of knowledge within these life histories I chose a narrative writing style concerned with simplicity and lightness, where I use the description of facts and discussions occurred during this journey. My main arguments in systematizing this experience are: scientific production can and should be grounded on knowledge diversity and on a more sensible approach to phenomena; education and pedagogy need to take as starting point and fuel for their practices the singularities of the subjects, their life history, educational background and knowledge resulting from both. Teacher s formation programs which students have mixed, rural and urban, background should value cognitive experiences built in the interaction with that knowledge closer of a sensible logic, deeper grounded in land and nature. Doing so, education can contribute to join diverse knowledge against monocutural forms of thinking and educational practices

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