As memórias cortesãs de Olivier de La Marche : o nascimento do indivíduo e a espacialização da cortesia na escrita das Mémoires (1472-1501)

Cette dissertation propose l analyse des Mémoires de Olivier de La Marche, homme de la cour qui a vécu comme serviteur des maisons de Bourgogne et d Autriche de l année 1439 jusqu à 1502. Nous avons compris sa littérature comme particulière pour l époque, car elle est née motivé par les questions personnelles de l auteur. C est pourquoi qu elle s est éloignée des genres littéraires liés à la fonction de servir aux propos du prince, particulièrement les chroniques. Nous avons cru que ces intentions particulières ont eu l origine dans la tradition de la mémoire médiévale, qui a répandu de l oral pour l écrit pendant la fin de la Moyen Âge. Cette écriture de la mémoire, réglementée à l expérience de qui écrivait, a promu la naissance de l individu quand il a cherché assumer les lieux du personnage et du témoin des événements dans l espace du texte . Telle affirmation nous avons conduit jusqu à la fonction des discours qui ont créé des espaces dans l oeuvre. Motivé par la vision spécialisée comme maître d hôtel, tels discours ont produit un espace de la cour idéal, capable de justifier la personnalité de l auteur et de lui consacrer comme le maître de la pratique de la courtoisie

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