Erasing erasure

This paper argues that the distinction between deletion and erasure proposed by Chomsky (1995) to account for different checking possibilities should be abandoned on both conceptual and empirical grounds. As an alternative, the paper outlines an analysis based solely on deletion.

Efeitos de instruções sobre respostas de checagem

O estudo teve o objetivo de testar o controle verbal de diferentes instruções sobre respostas de checagem. Dois participantes adultos foram instruídos a separar quatro tipos de sementes misturadas. Utilizou-se um delineamento sujeito único ABCA na apresentação das instruções. Os resultados mostraram que a instrução C com descrição de conseqüências aversivas aumentou a freqüência das respostas de checagem, sendo que o participante um o fez em relação à instrução B com autoclítico e o participante dois em relação à instrução A de linha de base. Na fase de reversão ambos os participantes diminuíram a freqüência após a apresentação de uma instrução A sem descrição de conseqüências aversivas. Sugere-se que a instrução C especificando toda a contingência pode ter estabelecido função aversiva para as respostas de separação não-efetivas.

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Filtros de areia aplicados à irrigação localizada: teoria e prática

The application of sand filters in localized irrigation systems is recommended in the presence of organic and algae contamination. The proper design and maintenance of these equipments are essential to assure an effective water quality control, in order to reduce the emitters clogging, to keep its water application uniformity, and to prevent increasing in the system operation costs. Despite the existence of some references about design, operation and maintenance of these filters, they are dispersed, with not enough details to guarantee the optimization of its hydraulics structure design and the proper selection of porous media to be used. Therefore, the objective of this work was to report a current literature review, relating practical information with scientific knowledge. The content of this review would help to induce and intensify the research on this subject and to contribute so the operational functions for the equipment are reached. It is also expected to assist the improvement of the filtration and flushing processes in the agricultural irrigation and the development of original design procedures and the rational use of these devices.

TEORIA SINTÁTICA: DE UMA PERSPECTIVA DE -ISMOS PARA UMAPERSPECTIVA DE PROGRAMAS

This paper tries to show that the developments in linguistic sciences are better viewed as stages in a single research program, rather than different ideological -isms. The first part contains an overview of the structuralistas' beliefs about the universality and equivalence of human languages, and their search for syntactic universals. In the second part, we will see that the generative program, in its turn, tries to answer why language is a universal faculty in the human species and addresses questions about its form, its development and its use. In the second part, we will see that the paper gives a brief glimpse of the tentative answers the program has been giving to each of these issues.

A teoria e a prática: a questão da diferençano discurso sobre e da sala de aula

The main purpose of this paper is to question the relationship between theory and practice or basic and applied research in the domain of Applied Linguistics and classroom discourse. In order to achieve our aim, some theoretical texts, some recorded and transcribed classes as well as some teachers and students opinions about reading and writing were analysed. Results have shown that 1) practice is not the direct application of theoretical data: the relationship between them is not as simple as some applied linguists seem to believe because of the action of the unconscious in the constitution of subjectivity; 2) the conceptualization of the theoretical issues takes place in a confused and disorderly manner mixed up with personal experiences and previous knowledge (practice). We intend to question the fact that practice comes as secondary to theory.

Uma observação sobre o lugar da teoria da ligação e do critério temático dentro do programa minimalista

In this paper I present some evidencie that forces us to conclude that within the Minimalist Program (Chomsky 1993; 1995), Binding Theory (BT) should be computed after LF (Logical Form). I show that derivations leading to structures containing violations of BT-Principles must converge at LF, since less economical alternative derivations respecting those principles are also ungrammatical. Being irrelevant to the notion of convergence, BT must apply after LF. A similar reasoning reveals that the Theta-Criterion should have the status of a bare output condition appling at LF, since less economical derivations are allowed by the computational system to prevent violations of it.

O Desejo da Teoria e A Contingência da Prática: discursos sobre e na sala de aula (língua materna e língua estrangeira)

329

Lazer e reclusão : contribuições da teoria da ação comunicativa

Universidade Estadual de Campinas . Faculdade de Educação Física

Proposta de conteudos para a ginastica escolar : um paralelo com a teoria de Coll

Universidade Estadual de Campinas. Faculdade de Educação Física

Pedagogia do esporte : pressupostos para uma teoria da avaliação da aprendizagem = Sport pedagogy: presuppositions for a learning assessment theory

Universidade Estadual de Campinas . Faculdade de Educação Física

Analise do desenvolvimento das praticas urbanas de lazer relacionadas a produção cultural no periodo nacional-desenvolvimentista a globalização atraves da Teoria da Ação Comunicativa

Universidade Estadual de Campinas . Faculdade de Educação Física

Conteudo curricular para crianças de creche de dois a tres anos : teoria e pratica

Universidade Estadual de Campinas. Faculdade de Educação Física

Beneficios da atividade fisica para pessoas com deficiencia visual : contribuições a partir da teoria de Erik Erickson

Universidade Estadual de Campinas . Faculdade de Educação Física

Para não deixar o cerebro na maquina : um estudo sobre os sentidos de "cultura" e "lazer" no discurso da "teoria do lazer" em interrelação com o discurso de trabalhadores organizados no sindicato cutista dos metalurgicos de São Jose dos Campos

Universidade Estadual de Campinas. Faculdade de Educação Física