946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz


Relevância:

30.00% 30.00%

Publicador:

Resumo:

Dans cet article on cherche à identifier les effets de l'institutionnalisation dans la production de la subjectivité dans un établissement scolaire total. La recherche est basée sur le roman «O Ateneu » de Raul Pompeia, analysé à partir de la théorie de Goffman (1961-1987) relative aux institutions totales. on décrit l itinéraire moral que le personnage Sergio développe, à son entrée à l'internat, évoquant les vicissitudes par lesquelles il passe dans ce contexte institutionnel : période d'adaptation, crises évolutives, initiations sexuelles, problèmes de rivalités, etc. les établissements totaux semblent s'organiser d'une façon caractéristique et fonctionner de manière autonome. on pourra comprendre les problèmes sociaux et les effets sur la subjectivité produite par les institutions totales par l étude des relations de pouvoir subjacentes à ces types d'établissements. Le temps pendant lequel un individu vit comme interné peut laisser des marques profondes dans sa subjectivité et se configure comme un thème personnel approprié.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The present investigation includes a study of Leonhard Euler and the pentagonal numbers is his article Mirabilibus Proprietatibus Numerorum Pentagonalium - E524. After a brief review of the life and work of Euler, we analyze the mathematical concepts covered in that article as well as its historical context. For this purpose, we explain the concept of figurate numbers, showing its mode of generation, as well as its geometric and algebraic representations. Then, we present a brief history of the search for the Eulerian pentagonal number theorem, based on his correspondence on the subject with Daniel Bernoulli, Nikolaus Bernoulli, Christian Goldbach and Jean Le Rond d'Alembert. At first, Euler states the theorem, but admits that he doesn t know to prove it. Finally, in a letter to Goldbach in 1750, he presents a demonstration, which is published in E541, along with an alternative proof. The expansion of the concept of pentagonal number is then explained and justified by compare the geometric and algebraic representations of the new pentagonal numbers pentagonal numbers with those of traditional pentagonal numbers. Then we explain to the pentagonal number theorem, that is, the fact that the infinite product(1 x)(1 xx)(1 x3)(1 x4)(1 x5)(1 x6)(1 x7)... is equal to the infinite series 1 x1 x2+x5+x7 x12 x15+x22+x26 ..., where the exponents are given by the pentagonal numbers (expanded) and the sign is determined by whether as more or less as the exponent is pentagonal number (traditional or expanded). We also mention that Euler relates the pentagonal number theorem to other parts of mathematics, such as the concept of partitions, generating functions, the theory of infinite products and the sum of divisors. We end with an explanation of Euler s demonstration pentagonal number theorem

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This article presents a theoretical search and aims to introduce the main categories of historical-cultural theory and discuss its implications for the physical education teacher's work inside the school and also emphasizes this theory and its methodological proposal as an important way to build the scholar physical education in a critical perspective aiming to change the school and the students conscious and personality. The Vigotskian school of human development it is taken as an important reference to understand the scholars in their vital process of development and helps the teachers in general, and physical education teachers in specific, to consider the activity ( vital activity) as important instrument to get the humanization and liberty of human being, inside the school and inside the contemporary society.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this dissertation, we analyze, in a comparative perspective, the link between the short stories: Dama da Noite‟ and O Rapaz mais triste do mundo‟, of Caio Fernando Abreu. In order to reveal, analyze and establish relevant dialogues with Queer Theory, it‟s important, above all, make a misreading guided in the discursive contextuality of postmodern literature. In order to justify and clarify the many issues that arises in the emblematic relationships of characters that are present in the text and in the cultural context, historically and socially. It also highlights the utterance comparative value identified in the works, given the peculiarities of each one of them, not being possible to classify them as `figures of language` with which the comparison can be cited as an example. In this case, they serve to inspire the ways that may lead us to a better understanding of the parallels created between a world of the binary value and adjectives suggested by society and so well portrayed in the ideas and writings of Caio Fernando Abreu

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The infographics historically experience the process of evolution of journalism, from the incipient models handmade in the eighteenth century to the inclusion of computers and sophisticated software today. In order to face the advent of TV against of the partiality readers of the printed newspaper, or to represent the Gulf War, where not allowed photography, infographics reaches modern levels of production and publication. The technical devices which enabled the infographics to evolve the environment of the internet, with conditions for the manipulation of the reader, incorporating video, audio and animations, so styling of interactive infographics. These digital models of information visualization recently arrived daily in the northeast and on their respective web sites with features regionalized. This paper therefore proposes to explore and describe the processes of producing the interactive infographics, taking the example of the Diário do Nordeste, Fortaleza, Ceará, whose department was created one year ago. Therefore, based on aspects that guide the theory of journalism, as newsmaking, filters that focus on productive routine (gatekeeping) and the construction stages of the news. This research also draws on the theoretical framework on the subject, in concepts essential characteristics of computer graphics, as well as the methodological procedures and systematic empirical observations in production routines of the newsroom who can testify limitations and / or advances

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This work exposes the Paul Ric ur s thought in relation to the contemporary complaint between the hermeneutics and the ideologies criticism. It shows, in this direction, the unity between text and action according to Ric ur s perspective. The philosophical view of Ric ur, It affirms, is far from any eclecticism, but if it characterizes for a dynamic style, explained here from the analogies with the movement of the particles, of the quantum physics, which help to excuse to the make a mistake idea of compilation and eclecticism, resultant of superficial readings of its texts. In deep, this work nothing more it is that a contribution to the construction of a theory of the reading of the text of this notable philosopher

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The concept of formativity, coined by Luigi Pareyson, is a key to the development of countless contemporary aesthetic studies. The aim of this dissertation is to present a deep understanding of the notion of Formativity and Interpretation, as evidenciated by the title Formativity and Interpretation: the aesthetical philosophy of Luigi Pareyson. The work Aesthetics - Theory of Formativity, first published in 1954, is considered a mark in the rebirth of aesthetics. In this dissertation, the concept of Formativity is examined as a component applicable to every human action, and not limited to pre-determined practices, nor referred to the application of preexisting. I ve performed an investigation of the triple concept of doing-inventing-interpreting, which simultaneously grounds Formativity. In the first section, Pareyson s Aesthetical Propaedeutic is presented; in the second, the Theory of Formativity: the aesthetical character of the whole human experience is analysed; and in the third chapter, The Aesthetical of Form and the Metaphysics of Figuration is related to the formativity character of the knowledge. Through this analysis, I ve intended to evidence how human operability can be understood as search and trial, figuration and invention, in the search for success. In this sense, this thesis seeks to present an interpretation of the idea of work-form, speculating the inexorability of invention and interpretation in an attempt to establish a new bottom line for the studies Pareyson s Aesthetics in Brazil

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The standard kinetic theory for a nonrelativistic diluted gas is generalized in the spirit of the nonextensive statistic distribution introduced by Tsallis. The new formalism depends on an arbitrary q parameter measuring the degree of nonextensivity. In the limit q = 1, the extensive Maxwell-Boltzmann theory is recovered. Starting from a purely kinetic deduction of the velocity q-distribution function, the Boltzmann H-teorem is generalized for including the possibility of nonextensive out of equilibrium effects. Based on this investigation, it is proved that Tsallis' distribution is the necessary and sufficient condition defining a thermodynamic equilibrium state in the nonextensive context. This result follows naturally from the generalized transport equation and also from the extended H-theorem. Two physical applications of the nonextensive effects have been considered. Closed analytic expressions were obtained for the Doppler broadening of spectral lines from an excited gas, as well as, for the dispersion relations describing the eletrostatic oscillations in a diluted electronic plasma. In the later case, a comparison with the experimental results strongly suggests a Tsallis distribution with the q parameter smaller than unity. A complementary study is related to the thermodynamic behavior of a relativistic imperfect simple fluid. Using nonequilibrium thermodynamics, we show how the basic primary variables, namely: the energy momentum tensor, the particle and entropy fluxes depend on the several dissipative processes present in the fluid. The temperature variation law for this moving imperfect fluid is also obtained, and the Eckart and Landau-Lifshitz formulations are recovered as particular cases

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O presente artigo tem por objetivo abordar as bases, finalidades e composição de dois instrumentos de avaliação de juízo moral: a Moral Judgment Interview (MJI) e o Defining Issues Test (DIT), e um de competência moral: o Moral Judgment Test (MJT). Retoma a teoria do desenvolvimento moral de Kohlberg que fundamenta esses instrumentos, assim como os últimos estudos realizados com os mesmos. A MJI é uma entrevista semiestruturada que avalia o nível de juízo moral. O DIT é um teste objetivo que mede a proporção de respostas pós-convencionais. O MJT é um instrumento objetivo, que avalia a competência moral. Destaca-se a crescente utilização desses instrumentos em pesquisas sobre moralidade.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

A semi solid thin strip continuous casting process was used to obtain 50%wt Pb/50%wtSn strip by single and twin roll processing at speed of 15 m/min. A 50%wt Pb/50%wtSn plate ingot was also cast for rolling conventionally into strips of 1.4 mm thickness and 45 mm width for comparison with those achieved non-conventionally. This hypoeutectic alloy has a solidification interval and fusion temperature of approximately 31 degrees C and 215 degrees C respectively. The casting alloy temperature was around 280 degrees C as measured by a type K immersion thermocouple prior to pouring into a tundish designed to maintain a constant melt flow on the cooling slope during semi solid material production. A nozzle with a weir ensures that the semi solid material is dragged smoothly by the lower roll, producing strip with minimum contamination of slag/oxide. The temperatures of the cooling slope and the lower roll were also monitored using K type thermocouples. The coiled semi solid strip, which has a thickness of 1.5 mm and 45 mm width, was rolled conventionally in order to obtain 1.2 mm thick strip. The coiled thixorolled strip had a thickness of 1.2 mm and achieved practically the same width as the conventional strips. Blanks of 40 mm diameter were cut from the strips in a mechanical press, ready for deep drawing and ironing for mechanical characterization. All the strips achieved from non-conventional processing had the same mechanical performance as those achieved conventionally. The limiting drawing ratio (LDR) achieved was approximately 2.0 for all strips. Microscopy examination was made in order to observe phase segregation during processing.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Este artigo é uma tentativa de delinear as principais características da pesquisa numa nova área de estudos a chamada Inteligência Artificial (AI). Os itens 1 e 2 constituem um rápido histórico da AI e seus pressupostos básicos. O item 3 trata da teoria de resolução de problemas, desenvolvida por A. Newell e H. Simon. O item 4 procura mostrar a relevância da AI para a Filosofia, em especial para a filosofia da Mente e para a Teoria do Conhecimento.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

O presente artigo investiga como A teoria do romance (1916) de G. Lukács, um texto fragmentado e de ocasião, tornou-se um clássico da reflexão sobre a modernidade. Para Lukács, o romance é a forma artística que corresponde à fratura entre o sujeito e o mundo, vivida pelo homem contemporâneo. Utilizando o conceito de símbolo esvaziado este texto apreende em que medida o autor ao rever as classificações anteriores sobre o gênero romance, perpetua a tradição romântica ou rompe com ela, elaborando conceitos originais para a compreensão da modernidade na literatura.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The process for choosing the best components to build systems has become increasingly complex. It becomes more critical if it was need to consider many combinations of components in the context of an architectural configuration. These circumstances occur, mainly, when we have to deal with systems involving critical requirements, such as the timing constraints in distributed multimedia systems, the network bandwidth in mobile applications or even the reliability in real-time systems. This work proposes a process of dynamic selection of architectural configurations based on non-functional requirements criteria of the system, which can be used during a dynamic adaptation. This proposal uses the MAUT theory (Multi-Attribute Utility Theory) for decision making from a finite set of possibilities, which involve multiple criteria to be analyzed. Additionally, it was proposed a metamodel which can be used to describe the application s requirements in terms of the non-functional requirements criteria and their expected values, to express them in order to make the selection of the desired configuration. As a proof of concept, it was implemented a module that performs the dynamic choice of configurations, the MoSAC. This module was implemented using a component-based development approach (CBD), performing a selection of architectural configurations based on the proposed selection process involving multiple criteria. This work also presents a case study where an application was developed in the context of Digital TV to evaluate the time spent on the module to return a valid configuration to be used in a middleware with autoadaptative features, the middleware AdaptTV

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The Social Representation Theory provides subsidies to scientifically analyze what is called common sense, suggesting that thought be given credibility to the individual, from the assignment of logic to it. The Representations allow us to interpret, understand, explain and thus classify information, events and people. In this sense, this study aimed to analyze how social representations of the actors of the intinerant traders who operate in Ponta Negra/RN can be used as an element for tourism planning. To achieve the desired goals, we conducted a qualitative study, from a descriptive study, using methods of data collection the research literature, the technique of free association of words and the questionnaire, applied with 90 intinerant traders who work in Ponta Negra/RN beach. As tools of data analysis were used to analyze literature, and software EVOC and SPHINX. This research has revealed the predominance of people in itinerant male, between 18 and 28 years, with incomplete primary education, no contributors of Previdência Social and working seven days a week. The core elements of representations brings that explain that their knowledge is guided by collectively shared knowledge in the culture of tourism, which is seen as something that brings economics benefits (money) to the society, from the travel and entertainment. The plan represents the forward thinking, based on development plans that seek improvements and organization. The structure and operation of tourism planning in Natal/RN, there were no representation of intinerant traders. It is concluded that understanding the needs of itinerant traders provides grants to developing strategies for the development of tourism. This is achieved from its inclusion in tourism planning, since it enables tourism managers to understand how they are capturing, interpreting and acting on their next reality, since these representations are fundamental in forming opinions and the establishment of individual attitudes and collective. Thus, it is an important theory to be used to subsidize social research with individuals living reality and local needs, but which is the margin of decision-making processes of economic in the Brazil

Relevância:

30.00% 30.00%

Publicador:

Resumo:

In this work we study a new risk model for a firm which is sensitive to its credit quality, proposed by Yang(2003): Are obtained recursive equations for finite time ruin probability and distribution of ruin time and Volterra type integral equation systems for ultimate ruin probability, severity of ruin and distribution of surplus before and after ruin