Topos Theory
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Um modelo de representação de complexidade argumentativa: o discurso de Friedman
A partir de um método qualitativo que segue os procedimentos estabelecidos pela grounded theory, o trabalho propõe um modelo de representação da complexidade argumentativa, em nível de discurso. Com o objetivo de estabelecer a adequação desse modelo, o trabalho descreve as estratégias formais da organização macroestrutural da Introdução ao texto
Ling. (dis)curso. Publicado em: 2014-05
-
2. O poeta que pinta: um estudo dos tópoi em Manoel de Barros
Esta pesquisa propõe-se a estudar os tópoi imagéticos na obra de Manoel de Barros. No primeiro momento, aborda os seres ínfimos, destacando neles suas grandezas, postas a dialogar com alguns conceitos de Bachelard, como ressonância e repercussão, topofilia e a imaginação criadora. Em seguida, reflete sobre os entulhos poéticos na obra barreana, refu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 01/03/2012
-
3. Estudo dos espaços coerentes do ponto de vista da teoria dos topos / A study of coherent spaces from the point of view of the theory of topos
Este trabalho propõe o estudo dos espaços coerentes do ponto de vista da teoria dos topos, ou seja, consiste em uma análise, em termos de topos, das principais categorias de espaços coerentes. Os espaços coerentes constituem um tipo de domínio que apresenta algumas particularidades que o distinguem dos demais, por exemplo, considera admissíveis no con
Publicado em: 2010
-
4. O FUTURO ABERTO: JACOB BURCKHARDT, G.W. F. HEGEL E O PROBLEMA DA CONTINUIDADE HISTÓRICA / THE OPEN FUTURE: JACOB BURCKHARDT, G.W.F. HEGEL AND THE PROBLEM OF HISTORICAL CONTINUITY
A modernidade tem na noção de contingência um de seus atributos mais marcantes. Isso significa que, na era moderna, vacilam os modos tradicionais de atribuição de sentido às coisas do mundo. É possível afirmar que tal situação ocorre em virtude, principalmente, da alteração que a idéia de progresso promove nas formas de apreensão da temporalida
Publicado em: 2006
-
5. TOPOS-BASED MODEL THEORY FOR HEURISTICS / TEORIA DE MODELOS PARA HEURÍSTICAS BASEADA EM TOPOI
This work employs concepts and tools from Category Theory and Topos Theory to construct a mathematical model for problems, reductions between problems, heuristic search spaces and strategies. More precisely, a search space construction strategy is represented by a functor from a certain category of problems to a certain category of forests. The collection of
Publicado em: 2004
-
6. O QUE É O ESQUELETO DE UMA DEMONSTRAÇÃO / WHAT IS SKELETON OF A PROOF
Considere os seguintes dois tipos de transformções em demonstrações: 1) tornar uma prova mais incompleta, apagando um lema ou uma construção que sejam parte da prova e pondo no lugar um aviso dizendo isso é óbvio; 2) pegar um passo que foi provado por um isso é óbvio, aplicar algum algoritmo que encontre uma demonstração para esse passo, e trocar
Publicado em: 2003