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


Relevância:

30.00% 30.00%

Publicador:

Resumo:

The recipe used to compute the symmetric energy-momentum tensor in the framework of ordinary field theory bears little resemblance to that used in the context of general relativity, if any. We show that if one stal ts fi om the field equations instead of the Lagrangian density, one obtains a unified algorithm for computing the symmetric energy-momentum tensor in the sense that it can be used for both usual field theory and general relativity.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

This paper presents a new methodology for the adjustment of fuzzy inference systems. A novel approach, which uses unconstrained optimization techniques, is developed in order to adjust the free parameters of the fuzzy inference system, such as its intrinsic parameters of the membership function and the weights of the inference rules. This methodology is interesting, not only for the results presented and obtained through computer simulations, but also for its generality concerning to the kind of fuzzy inference system used. Therefore, this methodology is expandable either to the Mandani architecture or also to that suggested by Takagi-Sugeno. The validation of the presented methodology is accomplished through an estimation of time series. More specifically, the Mackey-Glass chaotic time series estimation is used for the validation of the proposed methodology.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

No presente artigo, conforme o entendimento de que modelos te- óricos subsidiam a compreensão de fenômenos investigativos, objetivou-se elucidar os conceitos da teoria sociológica de Norbert Elias, considerando-se que esta é uma excelente fonte de análise para se compreender o universo do ser professor, apesar de o autor não abordar diretamente questões relacionadas ao campo da educação. A partir do conceito de configuração, é possível dizer que a constituição do ser professor resulta das diferentes configurações nas quais ele está imerso, pois, de acordo com Elias, as pessoas (professores, pais, gestores, ministros, alunos etc.) modelam suas ideias a partir de todas as suas experiências e, essencialmente, das experiências vividas no interior do próprio grupo. É observável que as configurações, formadas por grupos interdependentes de pessoas, e não por indivíduos singulares, apresentam-se cada vez mais ampliadas nos contextos escolares, com funções especializadas e específicas (professores, alunos, diretores, coordenadores, supervisores, secretários etc.), em grupos que se tornam cada vez mais funcionalmente dependentes. As cadeias de interdependência estão mais diferenciadas e, consequentemente, mais opacas e dificilmente controláveis por parte de quaisquer grupos ou indiví- duos. Portanto, uma melhor compreensão será possível quando se estudar empiricamente as configurações que estão em jogo na educação brasileira. Daí se justifica a análise das configurações e das teias de interdependência em que os professores estão envolvidos. Enfim, a aplicação dos modelos de competição abordados por Elias possibilita evidenciar as problemáticas sociológicas do ser professor, tornando-as mais evidentes e facilitando o entendimento do jogo para reorganizá-lo em termos de equilíbrio na teia social.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The search for a dialogical interpretation on the concept theory is the purpose of this paper. It uses the concept of dialogism, proposed by Bakhtin, which refers to the interaction occurring among the social actors in the process of (re)construction of language. Starting from the analysis of texts on concept theory authored by Dahlberg, Hjorland, Tennis and Tennis and Sutton, the convergent, divergent and complementary aspects related to the concepts advocated by the authors are discussed. The analysis revealed that, although these concepts have been built individually, they are reflections of distinct currents of thought and of the historical moments that have influenced each author's ideas. It can be argued, therefore, that the studied concepts were developed on dialogue with other authors and among themselves.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Estudos Linguísticos - IBILCE

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Artes - IA

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Artes - IA

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Pós-graduação em Engenharia Elétrica - FEIS

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)