946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz
Resumo:
The study investigated the possibility of organizing a didactics unit for formation of hability of identifying and explaining the popular traditional games in the process of licensed formation in physical education. Had basic premised, the thesis formulated by Piorte Yakovleviche Galperin that the fundamental condition that mode determines the student s way of thinking and the theoretical structures thought. Is given by the method of organization activity that form the basis of guiding skills assimilates from this assumption the study defended the thesis that the contents of popular traditional games can be organizeds according the systemic functional-structural focus. As a method to plan a didactics unit that contributes to development of theoretical thought and the professional development of graduates in physical education. In this sense the general goal was studied and develop a training proposal of ability to identify and explain the popular traditional games for physical education teachers oriented to contribute to the development of theoretical thought. In the construction process of the thesis in a first moment was determined the invariant conceptual of popular traditional games from the method of analysis of activity, after was organized the content of popular traditional games according to the structural-functional systems revealing the essential properties elements and levels of relationship.These procedures provided to the construction elements of the concept popular traditional games, and was the basis for planning a didactical unit to the formation of ability to study. These strategies enable to build a set of prepositions to argue, as a result of the increases in the knowledge of the professional formation in physical education. The study was introduced the fallowing contributions; formulated a teaching proposal to develop the ability to identify popular traditional games, as a cultural and historical contribution and the development of an individual, in initial formation of physical education teacher, attuned to the demands of training and use of knowledge that requires this level of education, defined and organized the knowledge of popular traditional games , this enables a teaching able to raise the cognitive abilities and the theoretical concept of personality of graduated in physical education
Resumo:
The study investigated the possibility of organizing a didactics unit for formation of hability of identifying and explaining the popular traditional games in the process of licensed formation in physical education. Had basic premised, the thesis formulated by Piorte Yakovleviche Galperin that the fundamental condition that mode determines the student s way of thinking and the theoretical structures thought. Is given by the method of organization activity that form the basis of guiding skills assimilates from this assumption the study defended the thesis that the contents of popular traditional games can be organizeds according the systemic functional-structural focus. As a method to plan a didactics unit that contributes to development of theoretical thought and the professional development of graduates in physical education. In this sense the general goal was studied and develop a training proposal of ability to identify and explain the popular traditional games for physical education teachers oriented to contribute to the development of theoretical thought. In the construction process of the thesis in a first moment was determined the invariant conceptual of popular traditional games from the method of analysis of activity, after was organized the content of popular traditional games according to the structural-functional systems revealing the essential properties elements and levels of relationship.These procedures provided to the construction elements of the concept popular traditional games, and was the basis for planning a didactical unit to the formation of ability to study. These strategies enable to build a set of prepositions to argue, as a result of the increases in the knowledge of the professional formation in physical education. The study was introduced the fallowing contributions; formulated a teaching proposal to develop the ability to identify popular traditional games, as a cultural and historical contribution and the development of an individual, in initial formation of physical education teacher, attuned to the demands of training and use of knowledge that requires this level of education, defined and organized the knowledge of popular traditional games , this enables a teaching able to raise the cognitive abilities and the theoretical concept of personality of graduated in physical education
Resumo:
The study was aimed to test a teaching module on the Zoltan Paul Dienes theory, focusing on the content: The transformation of measurements: length, areas and volumes. The study based on constructivist theory consisted in a methodological intervention with students of the 7th period of the Course of Pedagogy, in Central Campus, Federal University of Rio Grande do Norte (UFRN). A preliminary study with 40 students called diagnostic evaluation found that students did not understand the concept of measurements transformation and its processing steps. The latter was performed only with the help of the table of measurements transformation with no understanding of the content. He applied a pretest, a set of activities and a post-test. The latter was used as a tool for evaluation of the student learning process. The answers of these ones were evaluated according to the concept of reflective abstraction of Jean Piaget, one of the authors who influenced the Dienes theory
Resumo:
This study investigates the manner in which the Activity Theory by Alexei Nikolaevich Leontiev contributed to the performance of a teacher who teaches History at the 8th year of elementary school, Escola Estadual Coronel Fernandes, in Luís Gomes - RN city. Her goal is to analyze the contributions of this theory in her teaching practice. It was opted by collaborative approach as formative strategy and was used as procedures for training of knowing the courses of study and thoughtful reflection sessions. It was used as techniques in the development of these cycles, the semistructured interview and the reflection sessions, the autoscopy and observation in real life. Regarding the theoretical foundation, held in these cycles, the teacher demonstrated to have appropriated some contributions from Activity Theory, besides relating them to her practice and understanding her importance to the improvement of teaching and learning of History. Concerning to the reflection sessions, the analysis showed that the participant has used of constructions of this theory and improved their practice, developing lessons of History so as to encourage student participation in oral and promote his integral development. The educational process, carried out on the practice of teacher, has shown an increase in her conscious learning that contributed to the improvement in their professional development. Before these findings, as needs for new thinking, this research recommends, especially the organization of teaching activities, based on this theory, which allows the teacher to improve the teaching and learning process contributing to student's full education
Resumo:
It has been remarkable among the Science Teaching debates the necessity that students do not learn only theories, laws and concepts, but also develop skills which allows them to act towards a critical citizenship. Therefore, some of the skills for the natural sciences learning must be taught consciously, intentionally and in a planned way, as component of a basic competence. Studies of the last twenty years have shown that students and teachers have plenty of difficulties about skills development and, among several, the skill of interpreting Cartesian graphics, essential for the comprehension of Natural Science. In that sense, the development of that type of professional knowledge during the initial education of future Chemistry teachers has become strategic, not only because they need to know how to use it, but also because they need to know how to teach it. This research has as its general objective the organization, development and study of a process of formation of the skill of interpreting Cartesian graphics as part of the teachers professional knowledge. It has been accomplished through a formative experience with six undergraduate students of the Teaching Degree Course of Chemistry of Universidade Federal do Rio Grande do Norte (UFRN Federal University of Rio Grande do Norte), in Brazil. In order to develop that skill, we have used as reference P. Ya. Galperin s Theory of the Stepwise Formation of Mental Actions and Concepts and its following qualitative indicators: action form, degree of generalization, degree of consciousness, degree of independence and degree of solidness. The research, in a qualitative approach, has prioritized as instruments of data collecting the registering of the activities of the undergraduate students, the observation, the questionnaire and the diagnosis tests. At the first moment, a teaching framework has been planned for the development of the skill of interpreting Cartesian graphics based on the presupposed conceptions and steps of Galperin s Theory. At the second moment, the referred framework has been applied and the process of the skill formation has been studied. The results have shown the possibility of develop the skill conscious about the invariant operation system, with a high degree of generalization and internalized the operational invariant in the mental plane. The students have attested the contributions at that type of formative experience. The research reveals the importance of going deeper about the teaching comprehension of the individualities tied to the process of internalization, according to Galperin s Theory, when the update of abilities as part of the teaching professional knowledge is the issue
Resumo:
This dissertation examines the concept of the personalized teaching proposed by the physician and educator from Rio Grande do Norte Luiz Antonio dos Santos Lima, in his doctoral thesis "Mental Hygiene and Education," published in 1927. To do so, we start from the assumption that this thinker appropriated part of the educational theory formulated by Èdouard Claparède - specifically, in the case of the teaching concepts of the personalized teaching and comprehensive education designed by the Swiss intellectual - and, considering the Brazilian social reality of early twentieth century, reframed these concepts, adapting them to the country context. To implement the proposed idea, the bibliographical study was the option chosen, and so was done through a theoretical research which had as a reference authors whose studies referred to the Brazilian historical moment in the late nineteenth and early twentieth century, our examined time frame. As for the understanding and the methodological analysis of discourse, seen as socially constructed, the Foucault postulations were studied under an analytical approach, in which the disciplinary society is analyzed from the relations of power and knowledge that exist in it. The main source of this research was the work of "Mental Hygiene and Education," published as a requirement to the obtainment of Luiz Antonio s medical degree by the Rio de Janeiro Medicine School. Thus, it was found that the conception of personalized learning to the comprehensive education of students, as proposed in the doctoral thesis of Luiz Antonio dos Santos Lima, was related to abnormalities of mental character that children could present. School education was thought in a way by the potiguar thinker that it could be applied as deep as the moral, intellectual and behavioral deviations of the individual were, making use of hygiene practices of the minds through a normalizing process towards a civilized and developed future of the Brazilian nation which would manage, watch and fix the thoughts of the school students
Resumo:
O objetivo geral foi demonstrar o impacto técnico e econômico das perdas de solo e nutrientes por erosão no cultivo da cana-de-açúcar. Propôs-se avaliar as perdas de nutrientes por erosão (P, K, Ca e Mg), o custo de reposição de nutrientes e o de produção da cana em dois sistemas de colheita (cana crua e queimada) em Catanduva - SP, em área de 100 ha para cada sistema, formadas e colhidas no mesmo período (2002 a 2007), com similaridade quanto ao tipo de solo, variedade, topografia e numero de cortes. A metodologia baseou-se na equação universal da perda de solos e teoria dos custos de produção e de reposição de nutrientes. A maior perda de solo e de nutrientes por erosão ocorreu nas áreas de cana queimada; a cana queimada (corte manual), na média dos cinco cortes, perde 48,82% por hectare a mais de solo, 56,45 % de potássio (K) e 60,78 % de fósforo (P) do que a cana crua (corte mecanizado); o custo de reposição de nutrientes, em média, na cana queimada (R$ 33,92 ha-1 ano-1), foi superior ao da cana crua (R$ 21,12 ha-1 ano-1); a cana crua apresentou menor custo de produção (R$ 29,60 Mg-1) quando comparado à cana queimada (R$ 32,71 Mg-1); a cana crua apresentou maior retorno médio (R$ 5,70 Mg-1ano-1) com relação à cana queimada (R$ 2,59 Mg-1).
Resumo:
The Theory of Meaningful Learning (TML) described by David Paul Ausubel offers a proposal for the teaching strategies to provide a more active and effective student learning. The projection of the TML practice is demonstrated through the development of concept maps (CM) technique, created by Joseph Donald Novak, which presents as a strategy, method or schematic feature, which is an indicator to identify the cognitive organization of the knowledge acquired by students. The survey was conducted in the light of TML in relation to learning concepts involving students of undergraduate nursing in a public university in the state of Rio Grande do Norte. Thus, the study aimed to compare the concept learning of students of undergraduate nursing, when subjected to different forms of education, to point approaches that promote more effective and meaningful results. It was a quasi - experimental study with a qualitative analysis, conducted with students of the Undergraduate Nursing of the Universidade Federal do Rio Grande do Norte (UFRN), approved by the Research Ethics Committee/UFRN Certification of Presention for Ethics Appreciation (CPEA) in 11706412.3.0000.5537. The study took place at two different times and involved content on complications mediate postoperative surgical wound in the same discipline with students who attended the 5th semester of the degree course in Nursing. For the viability of data collection, in the second half of 2013, we used the technique of CM, to represent the concept of complications mediate postoperative surgical wound covered in the classroom. CM were built at a different time from that of the discipline, with the support of tutors and preceded by a brief description and explanation about the form of preparation and application. In this study were subjected, 31 students of undergraduate nursing, registered in the discipline of Integral Attention to health I. In the first stage, 18 students participated in the survey, they had the teaching intervention based on TML, and in the second stage, all students participated in the lesson provided curriculum with the responsible teacher of the subject, on the same issue occurred. At the end of each meeting, the students 11 developed concept maps with the aid of software Cmap Tools®. Data analysis happened upon the technique of content analysis, supported by a conceptual map "glass", previously developed by researchers and aid in the preparation of the categories in which the concepts found were classified. The study found that the teaching intervention based on TML with the help of CM, managed to develop in students a more expressive teaching learning process than just classroom curriculum with the traditional teaching method, and also that the association between the intervention motion teaching with the traditional method and the use of the technique of CM encourages the student the ability to articulate the various acquired knowledge as well as apply them in real situations
Resumo:
The portfolio theory is a field of study devoted to investigate the decision-making by investors of resources. The purpose of this process is to reduce risk through diversification and thus guarantee a return. Nevertheless, the classical Mean-Variance has been criticized regarding its parameters and it is observed that the use of variance and covariance has sensitivity to the market and parameter estimation. In order to reduce the estimation errors, the Bayesian models have more flexibility in modeling, capable of insert quantitative and qualitative parameters about the behavior of the market as a way of reducing errors. Observing this, the present study aimed to formulate a new matrix model using Bayesian inference as a way to replace the covariance in the MV model, called MCB - Covariance Bayesian model. To evaluate the model, some hypotheses were analyzed using the method ex post facto and sensitivity analysis. The benchmarks used as reference were: (1) the classical Mean Variance, (2) the Bovespa index's market, and (3) in addition 94 investment funds. The returns earned during the period May 2002 to December 2009 demonstrated the superiority of MCB in relation to the classical model MV and the Bovespa Index, but taking a little more diversifiable risk that the MV. The robust analysis of the model, considering the time horizon, found returns near the Bovespa index, taking less risk than the market. Finally, in relation to the index of Mao, the model showed satisfactory, return and risk, especially in longer maturities. Some considerations were made, as well as suggestions for further work
Resumo:
Currently, one of the biggest challenges for the field of data mining is to perform cluster analysis on complex data. Several techniques have been proposed but, in general, they can only achieve good results within specific areas providing no consensus of what would be the best way to group this kind of data. In general, these techniques fail due to non-realistic assumptions about the true probability distribution of the data. Based on this, this thesis proposes a new measure based on Cross Information Potential that uses representative points of the dataset and statistics extracted directly from data to measure the interaction between groups. The proposed approach allows us to use all advantages of this information-theoretic descriptor and solves the limitations imposed on it by its own nature. From this, two cost functions and three algorithms have been proposed to perform cluster analysis. As the use of Information Theory captures the relationship between different patterns, regardless of assumptions about the nature of this relationship, the proposed approach was able to achieve a better performance than the main algorithms in literature. These results apply to the context of synthetic data designed to test the algorithms in specific situations and to real data extracted from problems of different fields
Resumo:
Ensuring the dependability requirements is essential for the industrial applications since faults may cause failures whose consequences result in economic losses, environmental damage or hurting people. Therefore, faced from the relevance of topic, this thesis proposes a methodology for the dependability evaluation of industrial wireless networks (WirelessHART, ISA100.11a, WIA-PA) on early design phase. However, the proposal can be easily adapted to maintenance and expansion stages of network. The proposal uses graph theory and fault tree formalism to create automatically an analytical model from a given wireless industrial network topology, where the dependability can be evaluated. The evaluation metrics supported are the reliability, availability, MTTF (mean time to failure), importance measures of devices, redundancy aspects and common cause failures. It must be emphasized that the proposal is independent of any tool to evaluate quantitatively the target metrics. However, due to validation issues it was used a tool widely accepted on academy for this purpose (SHARPE). In addition, an algorithm to generate the minimal cut sets, originally applied on graph theory, was adapted to fault tree formalism to guarantee the scalability of methodology in wireless industrial network environments (< 100 devices). Finally, the proposed methodology was validate from typical scenarios found in industrial environments, as star, line, cluster and mesh topologies. It was also evaluated scenarios with common cause failures and best practices to guide the design of an industrial wireless network. For guarantee scalability requirements, it was analyzed the performance of methodology in different scenarios where the results shown the applicability of proposal for networks typically found in industrial environments
Resumo:
In last decades, neural networks have been established as a major tool for the identification of nonlinear systems. Among the various types of networks used in identification, one that can be highlighted is the wavelet neural network (WNN). This network combines the characteristics of wavelet multiresolution theory with learning ability and generalization of neural networks usually, providing more accurate models than those ones obtained by traditional networks. An extension of WNN networks is to combine the neuro-fuzzy ANFIS (Adaptive Network Based Fuzzy Inference System) structure with wavelets, leading to generate the Fuzzy Wavelet Neural Network - FWNN structure. This network is very similar to ANFIS networks, with the difference that traditional polynomials present in consequent of this network are replaced by WNN networks. This paper proposes the identification of nonlinear dynamical systems from a network FWNN modified. In the proposed structure, functions only wavelets are used in the consequent. Thus, it is possible to obtain a simplification of the structure, reducing the number of adjustable parameters of the network. To evaluate the performance of network FWNN with this modification, an analysis of network performance is made, verifying advantages, disadvantages and cost effectiveness when compared to other existing FWNN structures in literature. The evaluations are carried out via the identification of two simulated systems traditionally found in the literature and a real nonlinear system, consisting of a nonlinear multi section tank. Finally, the network is used to infer values of temperature and humidity inside of a neonatal incubator. The execution of such analyzes is based on various criteria, like: mean squared error, number of training epochs, number of adjustable parameters, the variation of the mean square error, among others. The results found show the generalization ability of the modified structure, despite the simplification performed
Resumo:
This work aims to present how the reconfigurable microstrip antennas and frequency selective surfaces can be used to operate at communication systems that require changing their operation frequency according to system requirements or environmental conditions. The main purpose is to present a reconfigurable circular microstrip antenna using a parasitic ring and a reconfigurable dipole frequency selective surface. Thereupon there are shown fundamental topics like microstrip antennas, PIN diodes and the fundamental theory of reconfigurable antennas and frequency selective surfaces. There are shown the simulations and measurements of the fabricated prototypes and it is done an analysis of some parameters like the bandwidth and radiation pattern, for the antennas, and the transmission characteristics, for the frequency selective surface. Copper strips were used in place of the diodes for proof of the reconfigurability concept
Resumo:
The present study seeks to present a historico-epistemological analysis of the development of the mathematical concept of negative number. In order to do so, we analyzed the different forms and conditions of the construction of mathematical knowledge in different mathematical communities and, thus, identified the characteristics in the establishment of this concept. By understanding the historically constructed barriers, especially, the ones having ontologicas significant, that made the concept of negative number incompatible with that of natural number, thereby hindering the development of the concept of negative, we were able to sketch the reasons for the rejection of negative numbers by the English author Peter Barlow (1776 -1862) in his An Elementary Investigation of the Theory of Numbers, published in 1811. We also show the continuity of his difficulties with the treatment of negative numbers in the middle of the nineteenth century
Resumo:
The current research had as main objective to analyze the possibility of knowledge elaboration/re-elaboration about ideas and algorithmic procedures related to basic operations by pupils of the 6th degree fundamental teaching in a significant learning process. This way the study had as basis a methodological intervention developed in a 6th degree class of a Fundamental Teaching Municipal School in the city of João Pessoa, PB. The research had as central steps the application of pre-tests (1 and 2); the execution of semi-structured interviews with the pupils involved in the theme deep studies; the elaboration and development of teaching activities, having as referential the significant learning and the application of a pre-test. The data collected in the pre-tests (1 and 2) showed a low level of the pupils comprehension about the contents related to the four operations. The answers to the post-test questions were analyzed mainly from the qualitative point of view based on the mathematic concepts comprehension theory proposed by Skemp (1980) having as complementary subsidy data collected through interviews. The analysis of the results obtained in the post-test showed that the major part of pupils reached a relational comprehension about the ideas and algorithmic procedures related to addition, subtraction, multiplication, and division. Such results showed us that the application of a teaching methodology that privileges the content comprehension, considering the pupils previous knowledge and the reflection about the action along the activities proposed, made possible the elaboration or re-elaboration of knowledge by pupils regarding to contents adopted as theme for our research