The research problem we propose to reflect about concerns the constitution of language and of memory in the metallic materiality. We focus, in our work, on the fact that technologies are produced by man, under certain social and historical conditions. The fact that language may be conceived externally to man in informatic media -, does not mean that it is in a transcendental plan in relation to the subject, to the discourse. Furthermore, what is from the historical subject belongs as well to the machine, to the technique. Our point of view, thus, is that technique and man, language and subject should be thought as mutually constituted and not as opposite elements, which would exclude each other. In this way, we propose, under the perspective of French Discourse Analysis, a study of language that takes in consideration that language and discourse are mutually constituted. Our aim is to emphasize that the order of language is not independent from the order of discourse. By observing the working of formalization and of the categories of time and space in Google, we infer that there is a double movement of sense constitution in the metallic materiality: on the one hand, a movement that searches the completeness of language, which would be possible through the constitution of a memory with a large capacity of storage; in this memory, senses would be frozen in space and time, so that the irruption of other significations would not become possible. On the other hand, incompleteness is constituted in the simulation of completeness itself. We think incompleteness is structured by the excess of information that circulates in Web. This excess is a sign that there is ever something to be said, since language is not a representation of the world. / O problema de pesquisa sobre o qual nos propomos refletir tem como foco a constituição da linguagem e da memória na materialidade metálica. Chamamos atenção, em nosso trabalho, para o fato de que as tecnologias são produzidas pelos homens, como frutos de certas condições sócio-históricas. O fato de a linguagem poder ser concebida exteriormente ao homem - nos meios informáticos -, não significa que ela esteja em um plano transcendente ao do sujeito, do discurso. Assim, o que é do sujeito histórico também faz parte da máquina, da técnica. Nosso ponto de vista, portanto, é de que técnica e homem, língua e sujeito devem ser pensados enquanto mutuamente constitutivos e não enquanto elementos opositivos, os quais se excluiriam uns aos outros. Nessa perspectiva, propomos, a partir da Análise de Discurso de linha francesa, um estudo da linguagem que vise a uma relação de recobrimento entre língua e discurso. Nosso objetivo é o de salientar que a ordem da língua, do formal não é independente da ordem do discursivo. A partir da observação do funcionamento da formalização e das categorias de tempo e de espaço no site de busca Google, inferimos que há um duplo movimento de constituição de sentidos na materialidade metálica: por um lado, aquele que busca a completude da linguagem, por meio da constituição de uma memória com grande capacidade de armazenamento de dados, na qual os sentidos seriam congelados no espaço e no tempo, de modo a não dar abertura para a irrupção de outras significações. Por outro lado, é, na própria simulação da completude, que se constitui a incompletude. Esta, para nós, vem a ser estruturada pelo excesso de informação que circula na Internet. Este excesso é a marca de que sempre há o que dizer, tendo em vista que a linguagem não é uma representação do mundo.

Este trabalho propõe considerar o processo de formalização legal das transações de terras ocorrido após 1822 - ano da independência do Brasil - como mais uma condição de valorização da terra no Brasil paralelo às classicamente discutidas pela historiografia da História Agrária.O referido processo foi desencadeado pela necessidade de dinamizar o crédito em uma economia pouco monetizada e antecedeu e influenciou o surgimento da propriedade privada no Brasil. Pode ser percebido pela elaboração de leis que visaram promover maior clareza e segurança jurídica nos contratos. Para isso, as mudanças legais não só reformaram e produziram regras e procedimentos contratuais, como o sistema cartorial com a criação dos Cartórios de Registros ao lado dos Cartórios de Notas, integrando suas atividades: o Cartório de Notas passou a controlar a produção dos contratos dentro das formalidades ditadas pela Lei e o Cartório de Registro a lhes dar publicidade. Para concentrar as informações contratuais nos cartórios e disponibilizá-las para o conhecimento público, o Estado paulatinamente desestimulou os negócios feitos por títulos particulares por meio de sucessivas leis, que de forma gradual restringiram a sua segurança jurídica e validade legal. A maior clareza e segurança jurídica produzidas nesse processo tiveram o efeito não só de dinamizar o crédito hipotecário, como também as compras e vendas, catalisando o ganho de valor da terra em condições favoráveis. / The purpose of this dissertation is to assess the process of legal formalization of land purchase after 1822 when Brazil became independent as yet another condition of land valuation in the country, parallel to the reasons that have been traditionally discussed by the historiography on Agrarian History. Such process was triggered by the need to render credit more dynamic in a seldom monetized economy, having both preceded and influenced the rise of private property in Brazil, and included the drafting of laws to promote greater clarity and legal safety for the respective contracts. To this end, the legal modifications not only reformed and produced contractual rules and procedures, but also provided for the establishment of the notarial system and the relevant Real Estate Registry Offices (Brazils registers of deeds) and the Notary Public Offices, whose activities were integrated: the Notary Public Offices were used to control contract drafting according to the formalities set forth by law, whereas the Real Estate Registry Offices were used to render the contracts public. In order to concentrate contractual information at the registries and offices and ensure the public awareness thereof, the State gradually discouraged contractual transactions closed by means of private instruments upon the enactment of successive laws that gradually limited the legal safety and validity thereof. The greater clarity and legal safety brought forth by this process not only enabled mortgage credit to become more dynamic, but also provided for new scenarios in land purchase, thereby resulting in land valuation in favorable conditions.

Submitted by Pedro Pires (pedro.olmp@gmail.com) on 2016-05-23T18:31:58Z No. of bitstreams: 1 Dissertacao_Pedro_Pires.pdf: 432659 bytes, checksum: 9b8eb74f62fabc404ac017b453279282 (MD5) / Approved for entry into archive by Letícia Monteiro de Souza (leticia.dsouza@fgv.br) on 2016-05-23T20:09:33Z (GMT) No. of bitstreams: 1 Dissertacao_Pedro_Pires.pdf: 432659 bytes, checksum: 9b8eb74f62fabc404ac017b453279282 (MD5) / Made available in DSpace on 2016-05-23T21:50:20Z (GMT). No. of bitstreams: 1 Dissertacao_Pedro_Pires.pdf: 432659 bytes, checksum: 9b8eb74f62fabc404ac017b453279282 (MD5) Previous issue date: 2016-04-26 / We analyze the effects of constitutional amendment 72/13 in Brazil, which matched labor rights of domestic workers to those of other employees. We show that, after the legislation, a sizable media coverage and an intensified public interest increased general knowledge of domestic workers' labor rights. As a consequence, non-compliance of labor legislation in the domestic services sector became more difficult. At the same time, the amendment's need for additional regulation caused labor costs to remain mostly unchanged. Using a difference-in-differences approach that compares selected occupations over time, we find that the amendment -- and the discussion it sparked -- caused an increase in formality and wages among domestic workers. Then, using the heterogeneity of the amendment's impact on demographic groups, our results show that domestic employment was reduced and low-skilled women were pushed out of the labor force and into lower quality jobs. Placebo tests and robustness analysis indicate that our results cannot be explained by a number of alternative interpretations. / Nós analisamos o efeito da emenda constitucional 72/13 no Brasil, que igualou direitos trabalhistas de empregadas domésticas a aqueles de outros empregados. Mostramos que, após a legislação, uma considerável cobertura midiática e um interesse público intensificado aumentou o conhecimento geral de direitos trabalhistas de empregadas domésticas. Como consequência, o não-seguimento de legislações trabalhistas no setor de serviços domésticos ficou mais difícil. Ao mesmo tempo, a necessidade de regulamentar adicionalmente a emenda fez com que custos trabalhistas ficassem praticamente inalterados. Usando uma abordagem de diferença-em-diferenças que compara ocupações selecionadas ao longo do tempo, mostramos que a emenda -- e a discussão que ela causou -- levou a um aumento na formalização e nos salários de empregados domésticos. Então, usando a heterogeneidade do impacto da emenda em grupos demográficos, nossos resultados mostram que emprego doméstico foi reduzido e que mulheres pouco qualificadas saíram força de trabalho e foram para empregos de menor qualidade. Testes de placebo e análises de robustez indicam que nossos resultados não são explicados por diversas interpretações alternativas.

Orientador: Prof. Dr. André Ricardo Oliveira da Fonseca / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional, 2014. / Este trabalho busca chamar a atenção para a necessidade do uso da formalização matemática como etapa a se cumprir na aprendizagem do conceito de função para o Ensino Médio, sendo este o principal objetivo. O problema da pesquisa constitui-se em: qual a necessidade do ensino ser contextualizado e a relevância da evolução histórica de conceitos, culminando na necessidade do uso da formalização matemática para o ensino de funções. Este estudo fundamenta-se em BOYER (1974), FIORENTIN (1994), SCHREINER (2004), MACIEL (2011), CARAÇA (1951), LOBEIRO (2000), LIMA (2005, 2006, 2012), FERREIRA (2013), COSTA (1971), DAVIS (1986). Esta pesquisa tem caráter qualitativo e utiliza como instrumentos: questionários para seis voluntários, sendo metade deles oriundos de escola pública ainda cursando o 2 o ano do Ensino Médio e os demais, de escola privada e já cursando o 1 o semestre do Ensino Superior. Aula direcionada baseada nos dados colhidos a partir dos questionários e como última etapa do processo, enquete sobre o reconhecimento da importância da formalização matemática. Os resultados apontam para uma preocupação com a qualidade das aulas ministradas sobre funções, de maneira que a formalização deva ser trabalhada de modo consistente, equilibrada, e principalmente, provida de significado ao educando. Em síntese o ponto inicial para o sucesso é uma alfabetização matemática de qualidade, promovendo situações de desafios e estímulos que facilitem o uso de abstrações. Sendo fundamental a qualificação e aperfeiçoamento dos professores de todos os níveis de ensino. / This work seeks to call attention to the need of the use of the mathematical formalization as a phase to go through the learning of the concept of function for secondary school (High School), being this its main goal. The problem of the research lies in: what the need of the contextualized teaching is and the relevance of the historical evolution of concepts, culminating on the need of the use of the mathematical formalization for the teaching of functions. This study is based on BOYER (1974), FIORENTINI (1974), SCHREINER (2004), MACIEL ( 2011), CARAÇA (1951), LOBEIRO (2000), LIMA (2005, 2006, 2012), FERREIRA (2013), COSTA (1971), DAVIS (1986). This research has a qualitative character and utilizes as instruments: questions for six volunteers, being half of them public school still coursing the 2nd year of High School and the others, from private school and already in the first semester of college or university. Directed class based on the data picked from the questions and as the last phase in the process, a survey about the acknowledgement of the importance of the mathematical formalization. The results point to a concern with the quality of the classes ministrated on functions, so that the formalization should be worked in a consistent, balanced way, and mainly provided with the meaning to the learner. Summing up, the start to success is a qualified mathematical literacy, promoting situations of challenges and stimuli which facilitate the use of abstractions. Being fundamental the qualificaon and perfectioning of teachers in all levels of teaching.

The formalization of Rural Family Farming (RFF) is understood here as a complex process‟, because it is suit industry standards an activity that once served as household value and whose features handmade become valued by consumers as differentiated products for industrial products. The literature suggests that the viability of this possibility marketing involves the organization of farmers, with the action of different actors, to promote cooperation among stakeholders. It is characterized, therefore, an economic phenomenon that is inserted‟ in a context of internal social relations family, but also relationships that constitute the external actors with expertise, for specific socio-spatial to the issue. These are variables that make up the institutional environment in which RFF are immersed and shape the study of the problem that arises in order to understand how Rural Family Farming are formalized, featuring actors and the relationships that are established to overcome the adversities that the institutional environment exerts on those experiences. Thus, this study aims to analyze the dynamics inherent in the formalization of Rural Family Farming, trying to understand the contribution of the actors to overcome adversity related to the institutional environment. The theoretical orientation of the research is located predominantly in the tradition of the New Economic Sociology. We used the method of comparative study of cases‟, the analytical units are located in the municipalities of Jaguari-RS and Chapecó-SC. Data collection was conducted from secondary sources (bibliographies and databases), but mostly from primary sources (interviews, documents and free observation) with farmers and the actors with whom they relate on the basis of projects of RFF, using specific instruments (scripts semi-structured) for each category. We used a qualitative approach, supported occasionally by quantitative methods (frequency distribution), where the organization of the information collected was to enable the analysis of content, supporting the interpretations based on the theoretical framework presented. The results call into question the effectiveness of the ways in which family farming is organized and is represented, as well as their own support services to overcome barriers to the institutional environment (especially with regard to the requirements of the existing legal framework) imposes on projects of family farming. The study suggests that advances in potential do not occur by the individual action of farmers, either by deterministic State action, but as a construction carried out by farmers' organizations, supported decisively by their forms of representation, by organizations of social movements and the government. / A formalização das Agroindústrias Familiares Rurais (AFRs) é compreendida aqui como um processo complexo‟, pois se trata de adequar a padrões de mercado uma atividade que outrora servira como valor de uso doméstico e cujas características artesanais passam a ser valorizadas pelos consumidores como produtos diferenciados dos produtos industriais. A literatura aponta que a viabilização dessa possibilidade mercadológica envolve a organização dos agricultores, com a ação de diferentes atores, no sentido de promover a cooperação entre os envolvidos. Fica caracterizado, com isso, um fenômeno econômico que ocorre inserido‟ em um contexto de relações sociais internas a família, mas também de relações que se constituem com atores externos às experiências, conferindo especificidade socioespacial à problemática. Essas são variáveis que compõem o ambiente institucional em que as AFRs estão imersas e configuram o problema do estudo que se coloca de modo a compreender como as Agroindústrias Familiares Rurais são formalizadas, caracterizando os atores e as relações que se estabelecem para superar as adversidades que o ambiente institucional exerce sobre essas experiências. Diante disso, este estudo se propõe a analisar a dinâmica inerente à formalização das Agroindústrias Familiares Rurais, buscando compreender a contribuição dos atores para superar adversidades relacionadas ao ambiente institucional. A orientação teórica da pesquisa está situada, predominantemente, na tradição da Nova Sociologia Econômica. Foi utilizado o método de estudo comparativo de casos‟, cujas unidades de análise localizam-se nos municípios de Jaguari-RS e Chapecó-SC. A coleta de dados foi conduzida a partir de fontes secundárias (bibliografias e bases de dados), mas principalmente de fontes primárias (entrevistas, documentos e observação livre) com agricultores(as) e os atores com os quais estes se relacionam em função dos projetos de AFRs, empregando instrumentos específicos (roteiros semi-estruturados) para cada categoria. Utilizou-se de abordagem qualitativa, apoiada pontualmente por métodos quantitativos (distribuição de frequências), onde a organização das informações coletadas ocorreu de modo a permitir a análise de conteúdo, subsidiando as interpretações à luz do marco teórico proposto. Os resultados colocam em xeque a eficácia das formas pelas quais a agricultura familiar se organiza e é representada, assim como dos próprios serviços de apoio, na superação de barreiras que o ambiente institucional (sobretudo no que diz respeito às exigências do quadro legal vigente) impõe aos empreendimentos da agricultura familiar. O estudo sugere que avanços em potenciais não ocorram pela ação individual dos agricultores, tampouco pela ação determinista do Estado, mas como uma construção protagonizada pelas organizações de agricultores, apoiadas de maneira decisiva por suas formas de representação, pelas organizações dos movimentos sociais e pelo poder público.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-08-08T13:11:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese.pdf: 4855618 bytes, checksum: 717d268b142705bdc8ce106731a257db (MD5) / Made available in DSpace on 2016-08-08T13:11:15Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese.pdf: 4855618 bytes, checksum: 717d268b142705bdc8ce106731a257db (MD5) Previous issue date: 2016-03-28 / CAPEs / Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different such tools are being increasingly used in order to accelerate and simplify proof checking, and the Coq proof assistant is one of the most known and used. Language and automata theory is a well-established area of mathematics, relevant to computer science foundations and information technology. In particular, context-free language theory is of fundamental importance in the analysis, design and implementation of computer programming languages. This work describes a formalization effort, using the Coq proof assistant, of fundamental results of the classical theory of context-free grammars and languages. These include closure properties (union, concatenation and Kleene star), grammar simplification (elimination of useless symbols, inaccessible symbols, empty rules and unit rules), the existence of a Chomsky Normal Form for context-free grammars and the Pumping Lemma for context-free languages. To achieve this, several steps had to be fulfilled, including (i) understanding of the characteristics, importance and benefits of mathematical formalization, specially in computer science, (ii) familiarization with the underlying mathematical theories used in proof assistants, (iii) familiarization with the Coq proof assistant, (iv) review of the strategies used in the informal proofs of the main results of the context-free language theory and finally (iv) selection and adequation of the representation and proof strategies adopted in order the achieve the desired objectives. The result is an important set of libraries covering the main results of context-free language theory, with more than 500 lemmas and theorems fully proved and checked. This is probably the most comprehensive formalization of the classical context-free language theory in the Coq proof assistant done to the present date, and includes the remarkable result that is the formalization of the Pumping Lemma for context-free languages. The perspectives for the further development of this work are diverse and can be grouped in three different areas: inclusion of new devices and results, code extraction and general enhancements of its libraries. / Assistentes de prova são ferramentas de software que são usadas na mecanização da construção e da validação de provas na matemática e na ciência da computação, e também no desenvolvimento de programas certificados. Diferentes ferramentas estão sendo usadas de forma cada vez mais frequente para acelerar e simplificar a verificação de provas, e o assistente de provas Coq é uma das mais conhecidas e utilizadas. A teoria de linguagens e de autômatos é uma área bem estabelecida da matemática, com relevância para os fundamentos da ciência da computação e a tecnologia da informação. Em particular, a teoria das linguagens livres de contexto é de fundamental importância na análise, no projeto e na implementação de linguagens de programação de computadores. Este trabalho descreve um esforço de formalização, usando o assistente de provas Coq, de resultados fundamentais da teoria clássica das gramáticas e linguagens livres de contexto. Estes incluem propriedades de fechamento (união, concatenação e estrela de Kleene), simplificação gramatical (eliminação de símbolos inúteis, de símbolos inacessíveis, de regras vazias e de regras unitárias), a existência da Forma Normal de Chomsky para gramáticas livres de contexto e o Lema do Bombeamento para linguagens livres de contexto. Para alcançar estes resultados, diversas etapas precisaram ser cumpridas, incluindo (i) o entendimento das características, da importância e dos benefícios da formalização matemática, especialmente na ciência da computação, (ii) a familiarização com as teorias matemáticas fundamentais utilizadas pelos assistentes de provas, (iii) a familiarização com o assistente de provas Coq, (iv) a revisão das estratégias usadas nas provas informais dos principais resultados da teoria das linguagens livres de contexto e, finalmente, (v) a seleção e adequação das estratégias de representação e prova adotadas para permitir o alcance dos resultados pretendidos. O resultado é um importante conjunto de bibliotecas cobrindo os principais resultados da teoria das linguagens livres de contexto, com mais de 500 lemas e teoremas totalmente provados e verificados. Esta é provavelmente a formalização mais abrangente da teoria clássica das linguagens livres de contexto jamais feita no assistente de provas Coq, e inclui o importante resultado que é a formalização do Lema do Bombeamento para linguagens livres de contexto. As perspectivas para novos desenvolvimentos a partir deste trabalho são diversas e podem ser agrupadas em três áreas diferentes: inclusão de novos dispositivos e resultados, extração de código e aprimoramentos gerais das suas bibliotecas.