Interação em sala de aula de língua inglesa: o feedback como estratégia do desempenho assistido

This dissertation aims at characterizing the practices as well as the effects of a teacher s feedback in oral conversation interaction with students in an English Language classroom at a Primary School, 6th Grade in Açu/RN, Brazil. Therefore, this study is based on Vygotsky s (1975) and Bruner´s (1976) researches, which state that the learning process is constructed through interaction between a more experienced individual (teacher, parents and friends) and a learner who plays an active role, a re-constructor of knowledge. It is also based on Ur´s (2006) and Brookhart s (2008) studies (among other authors in Applied Linguistic) who defend that the feedback process needs to be evaluative and formative since it sets interfaces with both students autonomy and learning improvement. Our study is based on qualitative, quantitative and interpretive researches, whose natural environment (the classroom) is a direct source of data generated in this research through field observations/note-taking as well as through the transcriptions of five English classes audio taped. This study shows the following results: the teacher still seems to accept the patterns of interaction in the classroom that correspond to the IRE process (Initiation, Response, Evaluation) in behaviorist patterns: (1) he speaks and determines the turns of speech; (2) the teacher asks more questions and directs the activities most of the time; (3) the teacher´s feedback presents the following types: questioning, modeling, repeated response, praise, depreciation, positive/negative and sarcasm feedback, whose functions are to assess students' performance based on the rightness and wrongness of their responses. Thus, this implies to state that the feedback does not seem to help students improvement in terms of acquiring knowledge because of its normative effects/roles. Therefore, it is the teacher´s role to give evaluative and formative feedback to a student so that he/she should advance in the learning of the language and in the construction of knowledge

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

Mathematics education and democracy

In this paper, we investigate the relationship between mathematics education and the notions of education for all/democracy. In order to proceed with our analysis, we present Marx's concept of commodity and Jean Baudrillard's concept of sign value as a theoretical reference in the discussion of how knowledge has become a universal need in today's society and ideology. After, we engage in showing mathematics education's historical and epistemological grip to this ideology. We claim that mathematics education appears in the time period that English becomes an international language and the notion of international seems to be a key constructor in the constitution of that ideology. Here, we draw from Derrida's famous saying that there is nothing beyond the text. We conclude that a critique to modern society and education has been developed from an idealistic concept of democracy. © FIZ Karlsruhe 2009.

La política de vivienda de interés social en Colombia en los noventa

Incluye Bibliografía

La necesidad de las perspectivas múltiples en la planificación = The need for multiple perspectives in planning

Incluye Bibliografía

A constituição do sujeito em Foucault e sua relação com a aquisição de linguagem

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

A utilização da Manihot esculent crantz (mandioca) na indústria de chapas de compensados de madeira e seu impacto econômico e social na construção civil

Esta pesquisa tem como objetivo determinar as vantagens socioeconômicas para produção de chapas de compensados de madeira na construção civil substituindo a farinha de trigo por farinha de raspa de mandioca na formulação da cola de compensado de madeira. Abordou-se acerca da estrutura anatômica da madeira e suas propriedades, os tratamentos e processos industriais, a estrutura e o processo de produção de compensado além da substituição do insumo na formulação da cola de uréia-formoaldeído desenvolvendo-se então uma avaliação econômica de benefício-custo do compensado de madeira utilizado em fundação e estrutura em uma obra de edificação através da análise de preços dos insumos da cola de mandioca em substituição a cola de trigo. A análise mostra que em nível de composição de insumo principal de produção houve uma redução de 7,3% no custo da cola. Para a construção civil a chapa de compensado de madeira com adesivo de mandioca utilizada em fundação e estrutura não representa um percentual significativo de redução de custos, sendo o percentual do custo do compensado de madeira em uma obra padrão é de apenas 0,84% para economia. Em nível social o governo criou o Programa Nacional para o Fortalecimento da Agricultura Familiar para apoiar o desenvolvimento das indústrias de base da economia como a indústria da construção civil.

Comparação de custo e viabilidade técnica de obras com parede de concreto em relação a obras de alvenaria estrutural

Are being released in the construction market in Brazil ventures called Super 6. These businesses sell the promise of delivery of the apartment in six months after the launch of the venture. To meet this deadline are being deployed the constructive method of concrete walls using aluminum shapes. This system basically consists of pouring slabs and walls once, i.e. building up the wall shapes and slab joints. On the walls are used cloth, with reinforcements in vain and corners of walls and on these screens are tied the electrical boxes and conduits. For each tower is used the so-called system of half way, i.e. the system so it is sufficient to mount the Middle deck. Using a concrete which can be deformed in the next day you can lift one deck every two days with ready electric and hydraulicsystem, without having to tow the wall doing only minor fixes in the imperfections after concrete. With this system won an incredible speed in the construction of the structure reducing in almost one-third the length of the work. This work aims to compare in terms of cost-benefit of masonry structural systems and this new concrete wall system called Super 6. For this comparison will be used as parameter values used for the achievement of the Enterprise Portal of Roses of constructor Tenda which is one of the first to use concrete wall system. This project basically consists of seven towers of six floors each and will be budgeted the cost of this project if it were held in structural masonry. From these data it will be possible to make a comparison about the actual beneficial to adopt this system

O engenheiro como construtor e reconstrutor no mundo

The formation of an engineer in each one of the several categories of this field must initially be related with their holistic training. If it they are working with teaching, this relation becomes even greater, because the professors need to teach and educate their students making them use these teachings in order to improve the society and the environment as a whole. The engineer must be engaged with the social problems in a context composed by human being and society, especially the contributions given to the mentioned society. According to Ferraz (198 MN3), "the engineering function is to design social institutions, rebuild them and ensure that the existing ones are operating". According to the same author, this action is gradual and must go step by step, always being concerned with social values, by comparing the achieved results and the ones that were expected.

Construção Enxuta e a utilização dos seus conceitos por construtoras paulistas certificadas segundo o PBQP-H e o QUALIHAB

The civil construction sector has been stimulated to industrialize itself by the adoption of Lean Construction practices in its constructive process. Given this fact, this research verify and identify Lean Tools and the level of application of these Tools in construction companies in the State of São Paulo, in order to be able to notice which Lean Concepts generate the highest benefits to these companies. The research method used was a survey applied only between construction companies that have some type of quality certificate. From the results, a data analysis was made in order to note the constructor's situation in relation to Lean Construction and, based on this analysis, verify the impact of the Lean Principles on the competitiveness of these companies and on the business performance. This way, it was possible to note a high level of application the Lean Tools by the responding companies. It also became clear, by means of this work: the strong influence of the concepts of Flow, of Continuous Improvement and of methods of prevention and resolutions of problems on the overall companies performance

Construção Enxuta e a utilização dos seus conceitos por construtoras paulistas certificadas segundo o PBQP-H e o QUALIHAB

The civil construction sector has been stimulated to industrialize itself by the adoption of Lean Construction practices in its constructive process. Given this fact, this research verify and identify Lean Tools and the level of application of these Tools in construction companies in the State of São Paulo, in order to be able to notice which Lean Concepts generate the highest benefits to these companies. The research method used was a survey applied only between construction companies that have some type of quality certificate. From the results, a data analysis was made in order to note the constructor's situation in relation to Lean Construction and, based on this analysis, verify the impact of the Lean Principles on the competitiveness of these companies and on the business performance. This way, it was possible to note a high level of application the Lean Tools by the responding companies. It also became clear, by means of this work: the strong influence of the concepts of Flow, of Continuous Improvement and of methods of prevention and resolutions of problems on the overall companies performance

La política económica, la construcción de vivienda y la producción de la ciudad en España (1939-75)

[ES] La construcción de la ciudad y la edificación de viviendas en España han estado condicionadas, entre otros factores, por las características estructurales y coyunturales del sector de la construcción y por las diferentes políticas económicas desarrolladas. El objetivo de esta aportación se centra en el análisis de la acción política puesta en marcha en España durante el franquismo (1939-75), en la caracterización del sector constructor-promotor y en el estudio de las repercusiones en el crecimiento inmobiliario y de la ciudad, centrándonos de un modo más específico en el caso de Canarias, dadas las peculiaridades que presentan las Islas en el contexto español. Al contrario de lo que suele afirmarse, se defiende que el precipitado proceso de conformación de la ciudad a partir de la década de los sesenta no sólo se debe al desarrollo de un modelo económico desarrollista, sino también a la profunda huella que el periodo autárquico había dejado en la economía y en la sociedad española. 

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Update as Evidence: Belief Expansion

We introduce a justification logic with a novel constructor for evidence terms, according to which the new information itself serves as evidence for believing it. We provide a sound and complete axiomatization for belief expansion and minimal change and explain how the minimality can be graded according to the strength of reasoning. We also provide an evidential analog of the Ramsey axiom.

En torno a la recepción

Los estudios sobre la cultura y la comunicación que estaban enfocados en el análisis de los textos o en sus autores, en la actualidad, se dirigen al lector. Tanto desde las investigaciones relacionadas al público de masas, como desde las nuevas teorías sobre la lectura se adjudica un papel preponderante al receptor como sujeto constructor de significados. Nuestro trabajo intenta aproximaciones entre los conceptos presentes en las teorías vinculadas a la información, a partir del funcionalismo, y la Literatura, con relación a las propuestas de la "Nueva Narrativa Hispanoamericana"; la "Nueva Novela Histórica" y las discusiones sobre la "interpretación".