5 resultados para Quantified Reflective Logic

em Universidade Federal do Rio Grande do Norte(UFRN)


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Assuming that the form of a building shell and its content the spatial form are distinct dimensions of architecture - however indivisible and interdependent -, this study focus, in the light of the Social Logic of Space (HILLIER; HANSON, 1984), on the intrinsic properties through which domestic space was structured in a sample of single-family dwellings built in João Pessoa (PB) during the 1970s - when the vocabulary of modern architecture still prevailed in Brazil though sharing the urban scene with other architectural trends -, in order to investigate regularities or divergences underlying their conception. These dwellings were originally classified (ARAÚJO, 2010a) in five categories defined according to the form of their building shells and to their prevailing construction techniques: (1) Brazilian modern legacy (considered as truly Brazilian modern style); (2) Paulista architecture (that refers to the modern production of São Paulo, Brazil, from the 1950s through the 1970s); (3) experiences of rationalization and prefabrication ; (4) experiences of adaptation to the climate (referring to a design strongly influenced by the hot and humid climate of North-eastern Brazil); and (5) hybrid (to account for a kind of stylistic hybridism that includes formal attributes, which evoke our colonial past). This study aims to determine, through the analyses of nineteen cases that represent each category, whether this taxonomy corresponds to distinct modes of spatial configuration. This research therefore proposes an approach to the classification of domestic architecture based on topological properties. The dwellings spatial organization was represented, quantified and analyzed, their spatial properties explored in consonance with one another and with the literature. Results pointed out that there is no evidence of a reciprocal relationship between the formal look of the built shells and their respective spatial structures

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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

Relevância:

20.00% 20.00%

Publicador:

Resumo:

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