Deciding difference logic in a Nelson-Oppen combination framework

O método de combinação de Nelson-Oppen permite que vários procedimentos de decisão, cada um projetado para uma teoria específica, possam ser combinados para inferir sobre teorias mais abrangentes, através do princípio de propagação de igualdades. Provadores de teorema baseados neste modelo são beneficiados por sua característica modular e podem evoluir mais facilmente, incrementalmente. Difference logic é uma subteoria da aritmética linear. Ela é formada por constraints do tipo x − y ≤ c, onde x e y são variáveis e c é uma constante. Difference logic é muito comum em vários problemas, como circuitos digitais, agendamento, sistemas temporais, etc. e se apresenta predominante em vários outros casos. Difference logic ainda se caracteriza por ser modelada usando teoria dos grafos. Isto permite que vários algoritmos eficientes e conhecidos da teoria de grafos possam ser utilizados. Um procedimento de decisão para difference logic é capaz de induzir sobre milhares de constraints. Um procedimento de decisão para a teoria de difference logic tem como objetivo principal informar se um conjunto de constraints de difference logic é satisfatível (as variáveis podem assumir valores que tornam o conjunto consistente) ou não. Além disso, para funcionar em um modelo de combinação baseado em Nelson-Oppen, o procedimento de decisão precisa ter outras funcionalidades, como geração de igualdade de variáveis, prova de inconsistência, premissas, etc. Este trabalho apresenta um procedimento de decisão para a teoria de difference logic dentro de uma arquitetura baseada no método de combinação de Nelson-Oppen. O trabalho foi realizado integrando-se ao provador haRVey, de onde foi possível observar o seu funcionamento. Detalhes de implementação e testes experimentais são relatados

Educação inclusiva e formação continuada: contribuições dos casos de ensino para os processos de aprendizagem e desenvolvimento profissional de professores

This study focuses on processes of learning and professional development experienced by elementary school teachers who have students with special educational needs in their classrooms. Cases and case methods can be used as methodological resource to articulate the continued training of teachers in an inclusive perspective. This research-intervention adopted a constructive-collaborative model for continued teachers formation. The main objective was to investigate the possible contributions of teaching cases, while investigative and formative strategies, for the processes of learning and professional development of teachers who work in the regular school. The data were collected by means of analytical activities, drafting collective discussion and teaching cases, having eight teachers as participants in a regular public school, located in the municipality of Natal/RN, Brasil. The theoretical reference covers the inclusive education, teaching learning, teachers professional development, the knowledge base for teaching and teaching cases as a resource for continued teachers formation in an inclusive perspective. The results indicated that teaching cases allowed description and analysis of educational practices developed by regular education teachers and adoption of reflective processes about situations reported and on their own pedagogical actuation, achieving indications of changes. It also indicates the contribution of cases for the clarification, systematization and extension of professional knowledge about inclusive education process as well as for involvement by the teachers of the study in a pedagogical thinking process. The lessons learned are related mainly to own role as teachers of regular education, to the role of professional support and specialized institutions faced to school inclusion. The analyses showed the methodological option was suitable to develop a schoolcentric training process, allowing teachers to seek in their actual environment alternatives for construction of a new logic of teaching that encloses diversity. The conclusion is that the cases, while bringing educational situations closer to the reality experienced by teachers in their daily professional role, causes relevant improvement on teachers education, because it offers training in conjunction with the experience and knowledge that teachers already have

Educação inclusiva e formação continuada: contribuições dos casos de ensino para os processos de aprendizagem e desenvolvimento profissional de professores

This study focuses on processes of learning and professional development experienced by elementary school teachers who have students with special educational needs in their classrooms. Cases and case methods can be used as methodological resource to articulate the continued training of teachers in an inclusive perspective. This research-intervention adopted a constructive-collaborative model for continued teachers formation. The main objective was to investigate the possible contributions of teaching cases, while investigative and formative strategies, for the processes of learning and professional development of teachers who work in the regular school. The data were collected by means of analytical activities, drafting collective discussion and teaching cases, having eight teachers as participants in a regular public school, located in the municipality of Natal/RN, Brasil. The theoretical reference covers the inclusive education, teaching learning, teachers professional development, the knowledge base for teaching and teaching cases as a resource for continued teachers formation in an inclusive perspective. The results indicated that teaching cases allowed description and analysis of educational practices developed by regular education teachers and adoption of reflective processes about situations reported and on their own pedagogical actuation, achieving indications of changes. It also indicates the contribution of cases for the clarification, systematization and extension of professional knowledge about inclusive education process as well as for involvement by the teachers of the study in a pedagogical thinking process. The lessons learned are related mainly to own role as teachers of regular education, to the role of professional support and specialized institutions faced to school inclusion. The analyses showed the methodological option was suitable to develop a schoolcentric training process, allowing teachers to seek in their actual environment alternatives for construction of a new logic of teaching that encloses diversity. The conclusion is that the cases, while bringing educational situations closer to the reality experienced by teachers in their daily professional role, causes relevant improvement on teachers education, because it offers training in conjunction with the experience and knowledge that teachers already have

Educação científica no contexto pós-ontológico: por uma concepção plural de conhecimento e educação

The development of this work arises from the research of sociological and philosophical characters contemplating also other approaches which aims to answer the followingquestions: what is the responsibility of science teaching for the image one has about science? ; which scientific education should be designed for nowadays? . After considering the assumptions brought along by rationalism and the criticisms to the illuminist model proposed by sociology and philosophy of science, as well by the biology of the knowing process, going through discussions concerning post-modernity issues, one is given to understand that the image of science has become the central point of discussion in the last hundred years, including what concerns the area of science teaching, and that practically none of those discussions really reached natural science classes indeed. We adopt the term postontological to characterize the recent proposals on philosophy and sociology, because we evaluate that this term allows a better identification of the scientific realism crisis, which supports the existence of an ontological domain which science, and only science, is able to understand. One notices that the general public is not aware of those discussions, mainly if they are science teachers and students. So we believe that discussing the logic in which science is structured, the new understandings concerning the scientific undertaking, especially those of an externalist character, and the relationship between science and society, all of this contributes to build up a science teaching which contemplates a reflective contribution, besides allowing the inclusion of the study of other epistemologies in the educational practice. We argue that a revisionist posture seems to be the most appropriate for the contemporary scientific education, contemplating, besides the teaching of the usual science contents, discussions on the issues involving that knowledge, as well as respecting epistemologies alternative to the modern Western scientific one, in order one can work on the perception of local knowledge generated from other epistemological bases. We describe here practical activities we did involving teachers (short-term courses) and high-school students in an inland school in the Rio Grande do Norte state, in Brazil, as a way to demonstrate the possibility of interventions which can take those conceptions, discussions and changes to the classroom

O estágio extracurricular remunerado no cuidar da enfermagem nos hospitais de ensino

OLIVEIRA,Jonas Sâmi Albuquerque de; ENDERS, Bertha Cruz; MENEZES, Rejane Maria Paiva de MEDEIROS, Soraya Maria de. O estágio extracurricular remunerado no cuidar da enfermagem nos hospitais de ensino. Revista Gaúcha de Enfermagem, Porto Alegre(RS),v.30,n.2, p.311-8,jun.2009.

O processo de institucionalização do curso de administração a distância da UFRN

This work aims to describe how is occurring through the process of institutionalizing the Administration distance course of UFRN. To this end, structured into two parts: through research and analysis of content, sought to impound as if gave historic process of creation, as well as identify variables isomórficas, proposed by Powell and DiMaggio (1991), on the actions undertaken, and still present, institutional actors-having been found three typologies; then investigated the process itself, analyzing the factors of institutionalization suggested Esman (1966-1972), internal structure doctrine, leadership programme, resources, links and exchanges, from the political plan educational course. As the research methodology was defined as qualitative, even though I used survey to collect, reviewed the second ANOVA. The results found in this step pointed out that only the doctrine and internal structure variables are consistent with the assumptions of model; we found for other, discharged indicated a gap between the political acts contemplated in teaching and the actions taken so far, unfavourable element to its legitimacy. However, although the implications found in the analysis of these factors suggest that this course can derive one more discontinuous Government proposal of distance course, this study believes that are still reasonable assistance to facilitate and promote the process aimed at strengthening the progress achieved so far in the success of its institutionalization

Utilização de um ambiente virtual de aprendizagem: um estudo na perspectiva da prática docente

Advances related to information technology are visible and inherent to the management of contemporary organizations, regardless of industrial action. Synchronized with this dynamic, educational institutions are incorporating technological tools that assist its management and academic support to teachers in teaching and interaction with the students. Given that technological innovations are not always taken homogeneously and with the same degree of coverage, remain current and relevant studies on how these technologies are being used in academia. The objective of this research is to identify the usage profile of the functionality of a virtual learning environment related to teaching (undergraduate or postgraduate), demographic variables (age and gender) and institutional (time of admission and academic center of origin.) The methodology applied to the study is descriptive and quantitative. The research is characterized as census, covering all 2152 teachers of undergraduate and graduate students of the Federal University of Rio Grande do Norte, Brazil, who accessed the virtual classes of the Integrated Management of Academic Activities. The study findings revealed that there is a statistically significant difference regarding the use of these tools to teachers who work with undergraduate (49.3%) compared to graduate (6.6%). Regarding gender, women (40.1%) use the system more than men (38.5%). It was also observed that the younger teachers, aged 37 years, are the most active users (42.5%) of the Virtual Class with respect to their elders. For teachers with up to three years time of admission to the UFRN, the pattern of use is more advanced than those with more seniority, as well as the faculty of the Center for Science and Technology are the least likely to use the tools available in relation to other academic centers. It is hoped that with this study managers can direct actions to improve and expand the use of this environment by teachers

Práticas interdisciplinares no ensino superior: a experiência do curso de graduação em administração da UNAMA - Pará

This work addresses the study of interdisciplinarity in higher administration education, a topic of great relevance in the present context, due to guidelines issued by Ministry of Education through the National Curriculum Guidelines -NCGs for undergraduate courses in Management. The attention on the subject emerges from the gained experience of a researcher and teacher working as manager of an undergraduate course in Business Administration who set up interdisciplinarity through interdisciplinary projects in a management course pedagogical project at a private university in State of Pará/Brazil. The work rebuilds and reports experiences, and studies the practice of lecturers involved in those interdisciplinary actions. The study aimed to identify changes in pedagogical practices of teachers involved in the searched interdisciplinary experience. To address the questions that directed the work and achieve proposed objectives, from a qualitative approach, a significant bibliographical and documentary work was conducted on the topic. In the survey carried out on secondary sources such as publications of major authors and scientific papers reporting interdisciplinary experiences in higher administration education, it was found that interdisciplinarity for its ambiguous character is still poorly understood by teachers, and reports on its application in administration teaching are incipient. This study also used data collected from primary sources, from dialogues through interviews with educational fellows - teachers and officers of the institution that served as locus of the research, who had the opportunity to experience the studied interdisciplinary experience. Data were processed and analyzed using content analysis technique. Research results showed that teachers of the institution of research have a good understanding of meaning of interdisciplinarity as a link between disciplines; it was also found substantial evidence of changes in teaching practices and actions of such teachers based on their participation in interdisciplinary projects. Although the experience studied can be considered innovative and challenging, much needs to be done in the course management for achievement of interdisciplinary actions in the course, particularly regarding to the removal of institutional, methodological, psychosocial, epistemological obstacles in operationalizing interdisciplinary practices, with emphasis on the need of a process of continuous and specific training aiming at developing skills for interdisciplinary acting, to the extent that these education professionals do not perceive themselves able to act as interdisciplinary lecturers

Do modelo geométrico ao modelo físico: o tridimensional na educação do arquiteto e urbanista

In the teaching practice of architecture and urbanism in Brazil, educational legislation views modeling laboratories and workshops as an indispensable component of the infrastructure required for the good functioning of any architectural course of study. Although the development of information technology at the international level has created new possibilities for digital production of architectural models, research in this field being underway since the early 1990s, it is only from 2007 onwards that such technologies started to be incorporated into the teaching activity of architecture and urbanism in Brazil, through the pioneering experience at LAPAC/FEC/UNICAMP. It is therefore a recent experiment whose challenges can be highlighted through the following examples: (i) The implementation of digital prototyping laboratories in undergraduate courses of architecture and urbanism is still rare in Brazil; (ii) As a new developing field with few references and application to undergraduate programs, it is hard to define methodological procedures suitable for the pedagogical curricula already implemented or which have already been consolidated over the years; (iii) The new digital ways for producing tridimensional models are marked with specificities which make it difficult to fit them within the existing structures of model laboratories and workshops. Considering the above, the present thesis discusses the tridimensional model as a tool which may contribute to the development of students skills in perceiving, understanding and representing tridimensional space. Analysis is made of the relation between different forms of models and the teaching of architectural project, with emphasis on the design process. Starting from the conceptualization of the word model as it is used in architecture and urbanism, an attempt is made to identify types of tridimensional models used in the process of project conception, both through the traditional, manual way of model construction as well as through the digital ones. There is also an explanation on how new technologies for digital production of models through prototyping are being introduced in undergraduate academic programs of architecture and urbanism in Brazil, as well as a review of recent academic publications in this area. Based on the paradigm of reflective practice in teaching as designed by Schön (2000), the experiment applied in the research was undertaken in the integrated workshop courses of architectural project in the undergraduate program of architecture and urbanism at Universidade Federal do Rio Grande do Norte. Along the experiment, physical modeling, geometric modeling and digital prototyping are used in distinct moments of the design process with the purpose of observing the suitability of each model to the project s phases. The procedures used in the experiments are very close to the Action Research methodology in which the main purpose is the production of theoretical knowledge by improving the practice. The process was repeated during three consecutive semesters and reflection on the results which were achieved in each cycle helped enhancing the next one. As a result, a methodological procedure is proposed which consists of the definition of the Tridimensional Model as the integrating element for the contents studied in a specific academic period or semester. The teaching of Architectural Project as it is developed along the fifth academic period of the Architecture and Urbanism undergraduate program of UFRN is taken as a reference

Plano de Desenvolvimento da Escola (PDE): o processo de implantação de uma nova proposta de descentralização em duas escolas da rede municipal de ensino de Natal de 1999 a 2002

The 1988 Constitution was the legal marc to define changes in Brazilian State with major importance to the layout of public politician. In that moment of redefinitions e openness to new ways the redemocratization, participation and decentralization of public school had as their starter the elementary school. This work focus on the manage of FUNDESCOLA, particularly one of its politics called PDE (Educational Development Plan) wich purpose is guarantee a better quality in teaching and spread out democracy throughout its methodology. It was chosen two public schools: Professor Ulisses de Góis and Antonio Campos. The theoretical and methodological orientation is based on the theory of participative democracy developed by authors such as Putnam and Pateman. They says that a cultural background precedes individual participation in society. The collected data (educational legislation, surveys with all sectors of schools and technicians of Natal educational secretary, and relevant documents of de institutions) showed that PDE. Implementation had opposite runnings in the schools studied. In one, as a consequence of bad preparations of its teachers to absorve its methodology, PDE failed. In another way, PDE achieved its goals, especially helping the structure of action plans of the school and the administrative organization making possible several pedagogic activities planned. The work concludes that the main factor the failure or success of PDE relies on the organizational (both political and pedagogical) structure of each school. This discovery implies three important guidelines when comes to formulation of public politicians: a) Constitution of school; b) the local actors who manages the actions; c) the colletive interest in taking part of decisions

Canções no ensino de sociologia: reflexões e aplicação

As Sociology becomes a mandatory subject in the curricular componentof Brazilian high schools, we find anopportune moment to proposals and changes in the subject and in teaching, in a general aspect. It s noticed the great importance of the role that the create imagination plays in individual s formation (BACHELARD), and it s also seen that Brazilian education system has marginalized imagination to the detriment of a unifocused scientism that sterilizes creativity, playfulness and poetry in its educational process. Nevertheless, a way of thinking redefinitions to the educational horizons of Sociology as a subject and education is upheld. An educational practice that reconnects the prosaic and the poetic, using images/songs as paths/strategies of the teaching-learning process. As for that, the school structure was used where the tutor work was done to undertake experiences that made the use of songs as strategy to facilitate/stimulate the learning of the subject Sociology in high school. From thoughts and results of this experience, plus the bibliographic studies, analysis were made. The goal of this essay is to make use and stimulate the creation of poetic images from the teaching point of view, specially the Sociology subject in high school, rethinking and searching more efficient and playful ways of approaching and building educational methods from images; stimulating the development of the Thinking Reform and the Anthropoetics of the human gender (MORIN); acknowledging that imagination is an indispensable part of our integral formation

O ensino de matemática no Rio Grande do Norte: trajetória de uma Modernização (1950-1980)

This work aims to describe and analyze the process of the mathematics teacher modernizing in Rio Grande do Norte, in the period from 1950 to 1980. For that, we use as theoretical foundation assumptions of Cultural History and memories of the researchers Maurice Halbwach, Ecléa Bosi and Paul Thompson. As methodological tools, we used bibliographical resources and semi-structured interviews, in order to do a historical reconstruct of the mathematics educational scene of institutions and people who taught mathematics in Rio Grande do Norte, or those who participated in the modernization of the teaching of this subject, recovering their training and its practices in teaching. For the analysis of the bibliographical resources, initially we organized in a systematic way the transcripts of the interviews and documents, which were accumulated during the research, so long our thoughts, returning to the theoretical basis of this research, through questioning of knowledge acquired and that guided the problem of our study. The analysis showed that, important moments to modernize the teaching of mathematics in Rio Grande do Norte happened such: (1) Training Course of Lay Teachers in Rio Grande do Norte, in 1965, (2) Course for Teachers in Normal Schools, in 1971 (3) Satelite Project on Interdisciplinary Advanced Communications (SPIAC) in 1973; (4) Lectures of the teacher Malba Tahan, at Natal, from the end of the 50 s, that could be analyzed through the lessons notes of the teacher Maria Nalva Xavier de Albuquerque and the narrative of teacher Evaldo Rodrigues de Carvalho and (5) Courses of the Campaign for Improvement of Secondary Education and Broadcasting (CISEB). Thereby, the modernization of the school s mathematics teaching in Rio Grande do Norte, in the period from 1950 to 1980, was given mainly by disclosure of the Discovery Method and by the Set Theory contents in Teacher Training Courses

Uma reavaliação do pensamento lógico de George Boole à luz da história da matemática

The aim of the present study is to reevaluate the logical thought of the English mathematician George Boole (1815 - 1864). Thus, our research centers on the mathematical analysis of logic in the context of the history of mathematics. In order to do so, we present various biographical considerations about Boole in the light of events that happened in the 19th century and their consequences for mathematical production. We briefly describe Boole's innovations in the areas of differential equations and invariant theory and undertake an analysis of Boole's logic, especially as formulated in the book The Mathematical Analysis of Logic, comparing it not only with the traditional Aristotelian logic, but also with modern symbolic logic. We conclude that Boole, as he intended, expanded logic both in terms of its content and also in terms of its methods and formal elaboration. We further conclude that his purpose was the mathematical modeling of deductive reasoning, which led him to present an innovative formalism for logic and, because the different ways it can be interpreted, a new conception of mathematics

O livro didático de história: um caleidoscópio de escolhas e usos no cotidiano escolar (Ceará, 2007 2009)

In the first decade of the XXI century, it is possible to assert that school textbook is part of the material culture of most public Brazilian schools by means of National School Textbook Program (PNLD). This research aimed at identifying and analyzing textbooks choice in Ceara, relating it to the uses of such tool within school daily life. The setting for the study was four public schools, two of them placed in Fortaleza, and the other in Quixada. It evaluated the uses of textbooks in the 6th grade. As part of methodology, public managers were interviewed, teachers answered surveys, and a direct observation during History classes in 2008 school year was carried out. The observation was over after round chats with students in the class, in which each one designed draws and sentences concerning to the textbook. Furthermore, the study was based on MEC official documents that regulate the textbook choice process with National textbook Program announcement (PNDL/2008) and PNDL/2008 Textbook Guide, in addition to History textbooks schools used. Roger Chartier‟s concept of appropriation was an analysis category, as well as Michael de Certeau s strategy and tatics‟, and Dominique Julia‟s concept of school culture . The study recognizes textbook in the perspective of Alain Choppin and Egil Borre Johnsen, since it is a complex cultural object. For this reason, the study designs an analogy with a kaleidoscope that sends different images depending on who uses it, within a set of colorful lines, since textbook comprehends nowadays different sources and languages, as it offers countless possibilities of use in teaching History. The study concludes that only the main text of each chapter is really worked in daily class practice. Therefore, although theoretical and graphic changes in textbook production, the textbook is underused, which is central to a later rethought of teachers instruction, since, depending on the conception of teaching and learning, textbook potentialities will be used to improve the development of knowledge in History.

O lugar pedagógico da educação física na educação infantil: saberes (re)construídos na formação continuada do PAIDÉIA/UFRN

The present study aimed to investigate the overview of teachers in continuing education program who work in kindergarten, about the continuing education developed by the Paideia/UFRN through the Course of Specialization in Art Teaching and Physical Education in Childhood, having as key focus, the knowing / doing related to physical education in Childhood. From this general goal, it was elected some specific objectives as: to know the interests and expectations that motivated the teachers to participate of that referred training; the evaluation by teachers on regard of the continuing education proposed: boosters factors for possible changes in teaching activities regarding the practice of teaching physical education in kindergarten. The methodology took the principles and techniques of qualitative research strategy and the characteristics of descriptive and interpretive strategy. The locus of this research was the Course of Specialization in Art Education and Physical Education in childhood, having as the citizens of this research twenty three teachers taking that specialization course. For building and systematization of the data, we used the following tools and procedures: a questionnaire, a semi structured interview and documents analysis. The data was constructed based on the technique of content analysis, focusing the reflections and speech of the teachers about the creation of new meanings and senses for the knowing / doing in Physical Education. It was found, among other results, the need and quest for improvement of teacher education, in order to improve educational practice. It was also evident that the situations of dialogues (interactions with peers, with their professors and other professionals in the related area or not) were mentioned by most teachers in the course as a relevant moment of redefinition of knowledge. In relation to Physical Education, it was found that participation in the course of specialization provided the recognition of teaching practice of physical education as part of the curriculum and the importance of inclusion of its specificities in their educational planning. From these elaborations, we come to the conclusion that knowing the perspectives of the teachers about continuing education can contribute to the theoretical and methodological discussions in teachers education and the creation of new actions - projects and programs of continuing education constructing increasingly ways towards a successful teacher formation, able to provide new forms of acting in the educational context