Undecidability
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Everyone equal ... everyone different ... problematizing discourses that form the curricular practice of the Municipal Education Department of Rio de Janeiro (SME / RJ) / Todos iguais... todos diferentes... problematizando os discursos que constituem a prática curricular da Secretaria Municipal de Educação do Rio de Janeiro (SME/RJ)
In this study I have analyzed the developments of the curricular proposal of the Municipal Education Department of Rio de Janeiro Multieducation in everyday school life, to verify how cultural differences are treated, as a way of understanding the process through which multicultural policies assumed in the systems discourse are consolidated. I opted for a me
Publicado em: 2009
-
2. Undecidability of the existence of dictator for strongly candidate stable voting procedures in an infinite society and Cantor's diagonal argument
The strong candidate stability theorem by Dutta et al. [ 4], one of the major theoremsof social choice theory, states that, with a finite number of voters, there exists a dictator for any voting procedure which satisfies strong candidate stability, strong unanimity and independence of irrelevant alternatives (IIA). This paper investigates a decidability prob
Computational & Applied Mathematics. Publicado em: 2008
-
3. PARA UM PENSAMENTO ÚMIDO: A FILOSOFIA A PARTIR DE JACQUES DERRIDA / TOWARDS A MOISTY THOUGHT: THE PHILOSOPHY IN THE PERSPECTIVE OF JACQUES DERRIDA
Para um pensamento úmido - a filosofia a partir de Jacques Derrida é um estudo que visa a apresentar alguns aspectos estruturais à constituição do pensamento ocidental que parecem ter sido recalcados pela filosofia ao longo de sua história. Para tanto, a fim de apresentar esta estrutura - ao mesmo tempo constitutiva e recalcada - do pensamento, recorre
Publicado em: 2007
-
4. Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software
A tool and techniques are presented for test data generation and infeasibility identification in structural software testing technique. The tool is based on: the Dynamic Technique; using Genetic Algorithms; and reusing of solutions through Case Based Reasoning. The objective is to automatically generate input data which execute complete paths in a program an
Publicado em: 1999