Interpretação e análise do problema da indução sob uma visão fundamentada em teorias de conjuntos e teoria de probabilidades

The following work is to interpret and analyze the problem of induction under a vision founded on set theory and probability theory as a basis for solution of its negative philosophical implications related to the systems of inductive logic in general. Due to the importance of the problem and the relatively recent developments in these fields of knowledge (early 20th century), as well as the visible relations between them and the process of inductive inference, it has been opened a field of relatively unexplored and promising possibilities. The key point of the study consists in modeling the information acquisition process using concepts of set theory, followed by a treatment using probability theory. Throughout the study it was identified as a major obstacle to the probabilistic justification, both: the problem of defining the concept of probability and that of rationality, as well as the subtle connection between the two. This finding called for a greater care in choosing the criterion of rationality to be considered in order to facilitate the treatment of the problem through such specific situations, but without losing their original characteristics so that the conclusions can be extended to classic cases such as the question about the continuity of the sunrise

Aplicações da teoria da percolação à modelagem e simulação de reservatórios de petróleo

In this thesis we study some problems related to petroleum reservoirs using methods and concepts of Statistical Physics. The thesis could be divided percolation problem in random multifractal support motivated by its potential application in modelling oil reservoirs. We develped an heterogeneous and anisotropic grid that followin two parts. The first one introduce a study of the percolations a random multifractal distribution of its sites. After, we determine the percolation threshold for this grid, the fractal dimension of the percolating cluster and the critical exponents ß and v. In the second part, we propose an alternative systematic of modelling and simulating oil reservoirs. We introduce a statistical model based in a stochastic formulation do Darcy Law. In this model, the distribution of permeabilities is localy equivalent to the basic model of bond percolation

Um estudo na teoria do movimento brownianno com viscosidade variável

In this work we investigate the stochastic behavior of a large class of systems with variable damping which are described by a time-dependent Lagrangian. Our stochastic approach is based on the Langevin treatment describing the motion of a classical Brownian particle of mass m. Two situations of physical interest are considered. In the first one, we discuss in detail an application of the standard Langevin treatment (white noise) for the variable damping system. In the second one, a more general viewpoint is adopted by assuming a given expression to the so-called collored noise. For both cases, the basic diffententiaql equations are analytically solved and al the quantities physically relevant are explicitly determined. The results depend on an arbitrary q parameter measuring how the behavior of the system departs from the standard brownian particle with constant viscosity. Several types of sthocastic behavior (superdiffusive and subdiffusive) are obteinded when the free pamameter varies continuosly. However, all the results of the conventional Langevin approach with constant damping are recovered in the limit q = 1

Teoria cinética não extensiva: efeitos físicos em gases e plasmas

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

Teoria semi-clássica para super rede magnética formada por materiais ferromagnético e antiferromagnético

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

Contribuições da teoria histórico-cultural para o processo de avaliação psicoeducacional

Cet article a comme objectif présenter la contribution de la Psychologie Historique-Culturelle pour l'analyse critique de l'évaluation psychoéducationnel traditionnel et postuler les fondements pour la nouvelle modalité évaluative. Cette proposition se justifie à cause de l'actuelle révitalisation de l'usage des testes padronisés pour la mensuration des fonctions psychologiques, dues à la vulgarisation de la neuropsychologie. Historiquement les testes padronisés servent comme instrument pour attester cientifiquement l'idéologie de l'égalité entre les hommes dans la societé capitaliste que se maintient à travers de l'expropriation et de l'exclusion. En outre, il existe une forte tendence à attendre que les résultats expliquent l'intelligence comme inée ou considèrent les prédispositions héréditaires pour apprendre, ce qu'on oppose à la comprehénsion que les fonctions mentales sont formées dans le proccès de développement historique-social à travers l'appropriation de la culture humaine. Il est nécessaire donc une évaluation qui considère les médiations sociales (des instruments et des signes) comme constituants des fonctions psychologiques encourageant le développement de tous les individus et la non légitimation de l'exclusion sociale.

Uma análise crítica dos ideários pedagógicos contemporâneos à luz da teoria de A. N. Leontiev

O presente artigo objetiva demonstrar o alcance das pedagogias do aprender a aprender (DUARTE, 2001), uma vez que elas fundamentam as propostas educacionais no âmbito nacional e no internacional, na atualidade; bem como apresentar suas principais premissas, que mantêm sua filiação ao pragmatismo e ao irracionalismo e, no limite, submetem o desenvolvimento humano à ordem do capital. Tais proposições se contrapõem ao objetivo humanizador da educação escolar pressuposto na produção teórica do psicólogo soviético Alexis Leontiev. Como resultados, temos que, dessas produções, é possível extrair subsídios para o enfrentamento do processo de esvaziamento do ensino escolar e do papel do professor engendrado pelas referidas pedagogias. Além disso, pretendese evidenciar a impossibilidade de aproximações entre as produções da psicologia histórico-cultural com outras correntes pedagógicas que estão a serviço da legitimação e do revigoramento da sociedade capitalista.

A teoria de Kohlberg sobre o desenvolvimento do raciocínio moral e os instrumentos de avaliação de juízo e competência moral em uso no Brasil

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.

Estudo da adsorção de hidrogênio e sulfeto na superfície de paládio: aspectos experimentais (eletroquímica) e teóricos (ab initio e Teoria do Funcional da Densidade)

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Avaliação da relação entre qualidade de sono e uma intervenção com jogos para o desempenho de crianças e adolescentes

The sleep is an active brain process that allows the efficient realization of daily tasks. The changes on sleep patterns may influence the different cognitive processes performance. Many recent studies show the possibility of cognitive performance improvement, through the cognitive training with the use of computer games. The question is if these interventions may be influenced by the sleep quality. Thus, we evaluated the sleep quality effect about the efficacy of an intervention with computers games based on the working memory and attention for a cognitive performance training of elementary school students. The sample was constituted by 42 students with average age of 10,43 years old (SD=1,23), with 22 male participants and 20 female participants. We used to evaluate the sleep with the parents a sleep questionnaire, a sleep diary and the Sleep Behavior Questionnaire. In regard to intervention, the subjectives were distributed in an experimental and in a control group, both with 21 participants. In the first group occurred the intervention that consisted in the working memory and attention training with two cognitive tasks (Safari e Brain Workshop) during 30 daily minutes, for a 6 weeks period. In an equal period, the students from the control group should reproduce an artwork using drawing software. To evaluate the cognitive performance we applied before and after the intervention period the Wechsler Intelligence Scale for Children (WISC-III). The results showed that in both the groups the performance of the intelligence, working memory, attention and visuospatial skills was below of the mean. The cognitive processes evaluated after of intervention in the experimental group had a performance significantly higher in the Perceptual Reasoning Index (t = -6,24; p < 0,01) and in the Full Scale IQ (t = -5,09; p < 0,01) and Performance IQ (t = -6,52; p < 0,01), suggesting a improvement on the visuospatial skills, attention, working memory and processing speed. On the control group, the performance was significantly higher in the Coding subtest (t = -5,38; p< 0,01) and in the Perceptual Reasoning Index (t = -3,66; p = 0,01), suggesting a improvement on the visuospatial skills and attention. The mean obtained with the Sleep Behavior Questionnaire was 53,76 (SD=14,96) for an experimental group and 61,19 (SD=12,82) for a control group, indicating tendency for a bad sleep quality in that last one. Not only during the first days, but also in the last fifteen days of the intervention we verified in the two groups an adequate time to sleep, duration and regularity, in the weekdays and on the weekends. We didn t find significant differences between the two groups in none of the sleep variables. We verified statistically meaningful improvement on the performance of the experimental group with the intervention in the two games. We didn t verify significant correlations between the games performance index and in the sleep variables of the experimental group individuals. We verified significant correlations among the performance on the Brain Workshop and the Cubes subtest, the Perceptual Reasoning Index and the Scale Performance IQ, suggesting that the significant improvement of the visuospatial skills and of the attention was correlated with the performance in the Brain Workshop. Although the absence of correlations with the performance in the Safari, possibly it also has relieved in the improvement of the cognitive performance. The findings support the hypothesis that the computer games might be a satisfactory tool for the improvement of the performance in visuospatial skills and attention. This can be resulted of the insertion of visuospatial stimulations in the task, for example, graphical elements with thematic for children that increase the interest. The IQ below mean the individuals might have influenced the improvement absence on the cognitive processes like the working memory with games. Moreover, it wasn t verified a relation between the sleep quality and the intervention efficacy. It might have been influenced by the n of the sample. Future studies must focalize in the improvement of the effect of the interventions with games

Teoria e prática em catalogação de assunto: a sistematicidade do processo em contexto de bibliotecas universitárias pela perspectiva profissional

A natureza subjetiva da catalogação de assunto imprime certas peculiaridades nas ações dos profissionais que realizam a atividade em domínios específicos. Sendo assim, mostra-se necessária à realização de estudos que cerquem as ações dos catalogadores de assunto, ancoradas na realidade do contexto de bibliotecas universitárias, para a obtenção dos fatores influentes do saber e do fazer profissional. Portanto, analisa-se o conhecimento profissional acerca da sistematicidade do processo da catalogação de assunto em perspectiva sociocognitiva. Para tanto, aplica-se a técnica de Protocolo Verbal em Grupo com três catalogadores de assunto de distintas bibliotecas universitárias do estado de São Paulo, a fim de conhecer a realidade do processo da catalogação de assunto pela perspectiva profissional. Os resultados apontam a necessidade de instrumentos metodológicos que propiciem sustentabilidade prática à catalogação de assunto, em contexto de bibliotecas universitárias.

Inteligência artificial e teoria de resolução de problemas

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.

O símbolo esvaziado: a teoria do romance do jovem György Lukács

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.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Aprendizado significativo aplicado ao ensino de algoritmos

The course of Algorithms and Programming reveals as real obstacle for many students during the computer courses. The students not familiar with new ways of thinking required by the courses as well as not having certain skills required for this, encounter difficulties that sometimes result in the repetition and dropout. Faced with this problem, that survey on the problems experienced by students was conducted as a way to understand the problem and to guide solutions in trying to solve or assuage the difficulties experienced by students. In this paper a methodology to be applied in a classroom based on the concepts of Meaningful Learning of David Ausubel was described. In addition to this theory, a tool developed at UFRN, named Takkou, was used with the intent to better motivate students in algorithms classes and to exercise logical reasoning. Finally a comparative evaluation of the suggested methodology and traditional methodology was carried out, and results were discussed