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

El pensamiento de Carlos Nelson Coutinho: interpretar el Brasil

El presente artículo muestra una interpretación de Brasil a partir de la fecunda apropiación del pensamiento de Gramsci por el intelectual brasileño de izquierda Carlos Nelson Coutinho. Se destaca la osadía intelectual que caracteriza su producción a lo largo de cinco décadas en la búsqueda permanente de la ampliación conceptual como superación dialéctica, siendo fiel a la relación fundante entre historia y teoría política. A partir de una revisión del pensamiento de Coutinho, las autoras analizan el proceso de modernización de Brasil en el tránsito al capitalismo por la vía de la revolución pasiva. Se rescatan aportes de Coutinho sobre las configuraciones estatales en la historia brasileña, enfatizando el proceso de occidentalización con la ampliación del Estado a través de la actuación política de la sociedad civil que emerge de las entrañas de la dictadura militar. Se trata de una producción en proceso que delinea vías analíticas para trabajar el marxismo en movimiento propugnado por Coutinho

A recepção das ideias estético-literárias de Lukács em Leandro Konder e Carlos Nelson Coutinho: análise de suas produções teórico-críticas

Pós-graduação em Ciências Sociais - FCLAR

Um olhar sobre as contribuições do professor Nelson Onuchic para o desenvolvimento da matemática no Brasil

Pós-graduação em Educação Matemática - IGCE

Distribuição espacial de Quesada gigas (Oliver, 1790) (Hemiptera: Cicadidae) na cultura do café

Pós-graduação em Agronomia (Entomologia Agrícola) - FCAV

De Vidas Secas à Memórias do Cárcere: um percurso de Nelson Pereira dos Santos

Pós-graduação em História - FCHS

A incomunicabilidade no teatro de Nelson Rodrigues

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Tópicos de equações diferenciais com retardamento: uma abordagem segundo o trabalho do Prof. Nelson Onuchic

Pós-graduação em Matemática Universitária - IGCE

O desenvolvimento da pesquisa em equações diferenciais no ICMC-USP: contribuição de Nelson Onuchic. -

Pós-graduação em Matemática Universitária - IGCE

A fortuna crítica de Vestido de Noiva e Álbum de Família, de Nelson Rodrigues: casamento e/ou divórcio?

Pós-graduação em Letras - IBILCE

Marxismo e literatura: a recepção do pensamento de György Lukács em Leandro Konder e Carlos Nelson Coutinho

O autor discute o significado da recepção das ideias estético-literárias de György Lukácz nas obras de dois dos pensadores brasileiros mais expressivos que se valeram das formulações do autor húngaro nesse campo - Leandro Konder e Carlos Nelson Coutinho, que não teriam se limitado à mera reprodução local das concepções do intelectual estrangeiro, mas teriam buscado testar seus limites e até enriquecê-las a partir de reflexões próprias. O livro retoma o contexto de renovação do marxismo no país, abalado pela crise do socialismo real em meio a denúncias dos crimes do regime stalinista, compreendendo o trabalho de Konder e Coutinho como parte daquele esforço e buscando demarcar as especificidades de cada um sem, no entanto, deixar de notar a curiosa complementaridade presente nas atividades teóricas dos dois pensadores. No caso de Leandro Konder, é destacada sua inclinação enciclopédica e seu desejo de apresentar ao público brasileiro, com riqueza de detalhes, o então desconhecido teórico marxista, o que não o impediu de realizar críticas a pontos que julgasse problemáticos. Já Carlos Nelson Coutinho demonstra um trato diferente em relação à obra lukacsiana, desde seus primeiros escritos procurando aplicá-la à realidade e aos autores brasileiros, evitando cacoetes mecanicistas

Personagens da bola: análise argumentativa de crônicas de Nelson Rodrigues sobre futebol

O objetivo deste trabalho é fazer uma breve análise da argumentação empregada por Nelson Rodrigues ao escrever sobre seus “Personagens da Semana” em crônicas de futebol publicadas originalmente em jornais, dando ênfase ao modo como ele busca convencer e persuadir os leitores quanto ao mérito de cada escolha. Nessas crônicas, o autor desenvolve teses trabalhando com humor e mesclando o senso comum com um conhecimento de mundo que vai além do espaço específico do futebol