A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

História da matemática e teatro nas aulas sobre Teorema de Tales: um script proposto

This study will present the results of an investigation of how the history of mathematics and theater can contribute to the construction of mathematical knowledge of students in the 9th year of elementary school, through the experience, preparation and execution of a play, beyond presentation of the script. This brings a historical approach, defining space and time of events, putting the reader and viewer to do the route in the biography of Thales of Miletus (624-546 a.C), creating situations that led to the study and discussion of the content related to the episode possible to measure the height of the pyramid Khufu and the Theorem of Thales. That said, the pedagogical proposal implemented in this work was based on theoretical and methodological assumptions of the History of Mathematics and Theatre, drawing upon authors such as Mendes (2006), Miguel (1993), Gutierre (2010), Desgrandes (2011), Cabral (2012). Regarding the methodological procedures used qualitative research because it responds to particular issues, analyzing and interpreting the data generated in the research field. As methodological tools we have used participant observation, the questionnaire given to the students, field diary and dissertativos texts produced by students. The processing and analysis of data collected through the questionnaires were organized, classified and quantified in tables and graphs for easy viewing, interpretation, understanding and analysis of data. Data analysis corroborated our hypothesis and contributed to improving the use and display of the play as a motivating activity in mathematics classrooms. Thus, we consider that the script developed, ie the educational product proposed will bring significant contributions to the teaching of Mathematics in Primary Education

Saberes sobre a literatura: um estudo com professores de 1º ao 5º ano do Ensino Fundamental

El estudio investiga los saberes literários del profesores del Enseño Fundamental de las series iniciales sobre la literatura. Cuando se piensa en la influencia del profesor como aquel que tiene papel decisivo en la enseñanza de la lectura y reconocimiento de la función y formación del mediador profesional, buscamos compreender que conocimiento tiene sobre la literatura. Optamos por los profesores que trabajan en los años iniciales del Enseño Fundamental basadas en el entendimiento de la educación básica, es de suma importância en la formación del lector literário. El estudio se caracteriza por ser un enfoque cualitativo. Adoptamos como procedimientos metodológicos, la entrevista semiestructurada, elaborada com preguntas abiertas que se centran en eventos de lectura de las practicas em família, en la escuela, en la educación superiory en el ejercicio de enseãnza grabadas en audio, además de elevar um diário de campo. La investigación lleva a cabo en cuatro escuelas de la ciudad de Natal – Rn, con dicinueve profesores que trabajan con alumnos de 1º a 5º año del Enseñanza Fundamental. El corpus de la entrevista constituye el análisis de los profesores y es analizado tomando como referencia los princípios de análisis de contenido, especificado por Laurence Bardin (1997). Se tomó como referencial sobre la lectura, la literatura y práctica pedagógica los estudios teóricos de Amarilha (1991, 1992, 1994, 1997, 2003, 2006, 2007, 2009, 2010, 2013); Cosson (2011); Lajolo (2006); Larrossa (1996, 2003); Morin (2010); Yunes (2003, 2010). Sobre la teoría literaria, Candido (2002, 2012); Zilberman (1993); Culler (1999). Acerca de la estética recepción, Eco (1994); Iser (1996); Jauss (2002). Sobre los saberes docentes, Nóvoa (1992, 1997, 2002); Perrenoud (1999, 2002), Tardif (1991, 2000, 2002, 2005). Sobre los saberes literários, Paulino (2004, 2007), dentre outros. El análisis señala que los profesores dominan vários conocimientos sobre la literatura que son transportados a la formación a través del diálogo con otras lecturas, con otros espacios interactivos, en convivência con otros lectores. Cabe destacar el saber que la literatura es humanizar el fator, por lo tanto, la necesidad de escolarizá que a través de las prácticas literárias que involucran estudiantes, professores y comunidad escola. El studio también revela que en la escuela recital literário es necesario para la enseñanza de valores, para enseñar a leer, para inculcar el amor por la lectura. En este contexto, destacamos la importancia de la mediación del profesor como formador de lectores que domina los conocimientos necesarios para satisfacer las necesidades de los estudiantes, desarrollando los letctores conocimientos para fomentar el gusto por el texto literário

Formação docente e conhecimento profissional: desafios para o ensino da matemática na EJA

As for the Education for Youth and Adult (EYA), the challenge of training these teachers is to provide tools to understand and act on the teaching of mathematics. It is realized just how special education in this modality and as such teaching is lacking in an adequate and solid training in the area of knowledge. One of the major problems affecting this type of education is the high dropout and failure rates, and lack of motivation among students. Thus the need to provide differentiated profile with a professional to teach youth and adults students, so that they are able to mobilize didactic-pedagogic knowledge, methodologies and theoretical frameworks that serve as a basis for school-developed teaching practice. This thesis aims to investigate how the math teacher, who acts in adult education from elementary school, has developed its didactic and pedagogical action, and that professional knowledge has been mobilized to teach? It has highlighted the importance of initial and continuing training and professionalization of teachers dedicated to this specific type of education, when teachers should be the protagonists of their professional development. The methodological approach was begun with a literature review, then the research was anchored mainly on the ideas by Gauthier, Nuñez and Ramalho (2004); Imbernon (2011), Garcia (2006); Perrenoud (2000); Tardif (2007 ); Haddad, Di Pierro (2000), D'Ambrosio (2002), Mendes (2006, 2009), Freire (1996, 2011), and other theorists and official documents of field of adult education here and abroad. That work leads us to the understanding of the present moment from a foray into historical and conceptual aspects, as well as educational policies of EYA, as well as training, professionalism, knowledge and skills necessary for professional practice. Then, the subjects and the locus of research and the instrument for data collection were set up and led by the object of study. To consolidate the study was selected a sample of 27 mathematics teachers, working in municipal EYA Network Teaching of Natal. This research is in an investigative nature, within the quantitative and qualitative approaches focused on the responses of study subjects from the content analysis by Bardin (1977). Results from the analyzes have revealed that the initial training of mathematics teachers of adult education needs to be reconfigured in order to formalize the knowledge base of professionals (the mathematical content, didactics and professional knowledge). Thus the study suggests that this base knowledge is embedded in the pedagogical practice of these teachers, so that there is a completion of the teaching and learning process for young people and adults. The study also has pointed out that there is a need for teachers to participate in a continuing education plan that prioritizes learning situations of mathematical content considering the previous knowledge of the students. The final analyses thus indicate that knowledge of mathematics and the didactic and pedagogical strategies to be mobilized by teachers must be able to motivate the students in such a way that they feel need to incorporate in their knowledge, mathematical knowledge capable of making them more likely to have access to social, economic and labor market

Repercussão da integração de conteúdos das disciplinas nos trabalhos finais de graduação de CAU-UFRN (2003 a 2010)

The changes in the teaching of Architecture in Brazilian Universities, from the 1990s onwards, with the upgrading of the Architecture project as an object of research and scientific knowledge and more specifically, the adoption by the Architecture and Urbanism Course (CAU) from the Federal University of Rio Grande do Norte (UFRN) of the principle of content integration of the disciplines, aroused the interest in research on issues related to the Design process and the teaching of design in this context. After 20 years of its implementation and recognized as being a major step forward in teaching the teaching/learning process, the integration is the central focus of this research, which will seek to identify changes in the teaching design and its refutation in projects developed by students at the end of their course. In general, it is understood that the need to integrate knowledge from diverse areas of Architect’s professional activity, who seeks through an exercise of summary, identify solutions to the issues involved in a project. On the assumption that the integration of content of disciplines fosters the teaching/learning of Architecture project, which can be evident in the Final Course Assignment (FCA), it becomes necessary to understand, in the light of theories of education, such as the principles of curriculum organization, such as interdisciplinarity and multidisciplinarity, transdisciplinarity and transversality are related to the term integration, is more understood and disseminated among the professors of the Architecture courses. The object of this study is consequently the relationship between the integration of subject content and Architecture projects developed by students from CAU-UFRN, in the context of Final Graduation projects (FCAs) completed in the period of duration of the Teaching Project A5-from 2003. The study has the main objective of investigating to what extent the integration of disciplinary content affects the development of the Final Assignment of UFRN, from the analysis of drawings and texts of the projects of the learners and the testimonies of teachers and undergraduate students. From a methodological point of view, the research “Architecture, Project and Knowledge Production: Academic Production – FCAs, Thesis and dissertations in PA/Brazil” carried out by the PROJETAR/UFRN team has been adopted as the basis for the construction of the analytical instruments. In order to identify aspects of their experience by various actors which were not recorded in FCA, electronic forms were applied between teachers and students, through the internet. The integration of subject content based Teaching Project of CAU-UFRN institutionalises the interdisciplinarity, organizing the curriculum by thematic semesters, in which the disciplines work the same focus and at the same site. The integrated work which derives from there tries to articulate the content of each discipline of the period and represents a general practice and has been evaluated by teachers and students, and considered as a facilitator of the teaching/learning process. The analysis of the data collected from the textual content and graphic of the sample of FCAs of CAU-UFRN suggests that the content of the various areas of knowledge are assimilated by the student and used as a resource for the design and development of Architecture projects. In other words, there is in the end product of the students record of the integration of content, whether in speech or in drawing, reaffirming the importance of the convergence of various knowledge in the Architectonic project. However, the integration of content from the point of view of their articulation and operationalization, which involves teachers and students in the same period, has as a condition sine qua non for the success of this educational principle, the provision of these to work as part of a team, for the dialogic practice, which creates areas of intersection not only between disciplines, but between the knowledge of each of the participants.

Conteúdos de matemática do ensino médio com abordagem de raciocínio recursivo e questões do ENEM e OBMEP

In this work, we have the purpose of reminding the math teacher of High School the recursive process so that he/she can use this tool to introduce contents, using recursion as an alternative to the teaching of mathematics. For this, we used questions taken from the Exame Nacional do Ensino M´edio (ENEM) [National Examination of High School] and from the Olimp´ıada Brasileira de Matem´atica das Escolas P´ublicas (OBMEP) [Brazilian Mathematics Olympiad of Public Schools], in addition to present some contents of mathematics that are defined by recursion. In this dissertation, we also showed some activities that involved the recursive reasoning and were applied in a 3rd grade class of high school in a public school in Natal / RN.

Novos protocolos teóricos utilizados nos estudos das ligações hidrogênio-hidrogênio, na estabilidade do tetraedrano, seus derivados e das reações de diels-alder e na quantificação da afinidade de fármacos

This thesis was performed in four chapters, at the theoretical level, focused mainly on electronic density. In the first chapter, we have applied an undergraduate minicourse of Diels-Alder reaction in Federal University of Rio Grande do Norte. By using computational chemistry tools students could build the knowledge by themselves and they could associate important aspects of physical-chemistry with Organic Chemistry. In the second chapter, we studied a new type of chemical bond between a pair of identical or similar hydrogen atoms that are close to electrical neutrality, known as hydrogen-hydrogen (H-H) bond. In this study performed with complexed alkanes, provides new and important information about their stability involving this type of interaction. We show that the H-H bond playing a secondary role in the stability of branched alkanes in comparison with linear or less branched isomers. In the third chapter, we study the electronic structure and the stability of tetrahedrane, substituted tetrahedranes and silicon and germanium parents, it was evaluated the substituent effect on the carbon cage in the tetrahedrane derivatives and the results indicate that stronger electron withdrawing groups (EWG) makes the tetrahedrane cage slightly unstable while slight EWG causes a greater instability in the tetrahedrane cage. We showed that the sigma aromaticity EWG and electron donating groups (EDG) results in decrease and increase, respectively, of NICS and D3BIA aromaticity indices. In addition, another factor can be utilized to explain the stability of tetra-tert-butyltetrahedrane as well as HH bond. GVB and ADMP were also used to explain the stability effect of the substituents bonded to the carbon of the tetrahedrane cage. In the fourth chapter, we performed a theoretical investigation of the inhibitory effect of the drug abiraterone (ABE), used in the prostate cancer treatment as CYP17 inhibitor, comparing the interaction energies and electron density of the ABE with the natural substrate, pregnenolone (PREG). Molecular dynamics and docking were used to obtain the CYP1ABE and CYP17-PREG complexes. From molecular dynamics was obtained that the ABE has higher diffusion trend water CYP17 binding site compared to the PREG. With the ONIOM (B3LYP:AMBER) method, we find that the interaction electronic energy of ABE is 21.38 kcal mol-1 more stable than PREG. The results obtained by QTAIM indicate that such stability is due a higher electronic density of interactions between ABE and CYP17

Formação do educador no curso de pedagogia de Caicó-RN: reprodução ou transformação social

ARAÚJO, Marta Maria de. Formação do educador no curso de pedagogia de Caicó-RN: reprodução ou transformação social. Porto Alegre, 1985. Dissertação (Mestrado) - Curso de Pós-graduação em Educação. Universidade Federal do Rio Grande do Sul, Porto alegre, 1985