• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 179
  • 14
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 208
  • 90
  • 76
  • 73
  • 50
  • 37
  • 34
  • 34
  • 32
  • 31
  • 30
  • 26
  • 24
  • 23
  • 23
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
141

Números relativos : uma proposta de ensino

Pereira, Cristiano Cardoso January 2014 (has links)
Este trabalho traz um estudo sobre o ensino e a aprendizagem dos números relativos e das operações de adição e subtração. A escolha deste tema de pesquisa está associada às constatações de incompreensões dos números relativos pelos alunos, ao longo de anos de prática docente. A partir dessa prática e dos referenciais teóricos adotados, observou-se que a concepção de número como quantidade constitui-se em obstáculo epistemológico para a aceitação dos números negativos. Foi construída uma sequência didática com o objetivo de promover a compreensão dos números relativos como operadores aditivos e como representação de posição relativa e das operações de adição e subtração. A sequência didática foi aplicada em uma turma do sétimo ano do Ensino Fundamental de uma escola da rede municipal da cidade de Canoas, durante o primeiro semestre letivo do ano de 2013. A elaboração da sequência didática e a análise dos registros escritos e orais coletados no decorrer de sua implementação apoiaram-se na Teoria dos Campos Conceituais e em pesquisas de autores que estudam o ensino e a aprendizagem dos números relativos. A análise apontou que o desenvolvimento de atividades envolvendo transformações de sentidos opostos, em contextos variados, favoreceu a compreensão dos números relativos como operadores aditivos, bem como das operações de adição e subtração e suas propriedades. Tais resultados também se devem à participação dos alunos em discussões argumentativas acerca de suas próprias soluções para os problemas propostos. Como produto da pesquisa, propomos uma sequência didática aprimorada, a partir das reflexões desenvolvidas sobre a aplicação realizada. / This paper presents a study on the teaching and learning of relative numbers and addition and subtraction operations with such numbers. The choice of this research topic is related to the findings of misunderstandings of the relative numbers by students over years of teaching practice. From this practice and the theoretical frameworks adopted, it was observed that the concept of number as an expression of quantity is an epistemological obstacle to the acceptance of negative numbers. A didactic sequence was constructed with the aim of promoting understanding of the numbers as operators and representations of the relative position, and the understanding of addition and subtraction. The instructional sequence was applied to a seventh year class in an elementary school of the municipality of Canoas, during the first semester of the year 2013. The development of instructional sequence and the analysis of written and oral records collected in the course of its implementation were based on the Conceptual Fields Theory and research of authors who study the teaching and learning of relative numbers. The analysis pointed out that the development of activities involving transformations along opposite directions, in varying contexts, favoured the understanding of numbers as additive operators, as well as understanding of the addition and subtraction operations and their properties. These results are also due to the participation of students in argumentative discussions about their own solutions to the problems posed. As a product of the research, we propose an enhanced instructional sequence, based on the reflections developed during and after the application.
142

Sobre o numero de pontos racionais de curvas sobre corpos finitos / On the number of rational points of curves over finite fields

Castilho, Tiago Nunes, 1983- 19 March 2008 (has links)
Orientador: Fernando Eduardo Torres Orihuela / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-10T15:12:25Z (GMT). No. of bitstreams: 1 Castilho_TiagoNunes_M.pdf: 813127 bytes, checksum: 313e9951b003dcd0e0876813659d7050 (MD5) Previous issue date: 2008 / Resumo: Nesta dissertacao estudamos cotas para o numero de pontos racionais de curvas definidas sobre corpos finitos tendo como ponto de partida a teoria de Stohr-Voloch / Abstract: In this work we study upper bounds on the number of rational points of curves over finite fields by using the Stohr-Voloch theory / Mestrado / Algebra Comutativa, Geometria Algebrica / Mestre em Matemática
143

Números relativos : uma proposta de ensino

Pereira, Cristiano Cardoso January 2014 (has links)
Este trabalho traz um estudo sobre o ensino e a aprendizagem dos números relativos e das operações de adição e subtração. A escolha deste tema de pesquisa está associada às constatações de incompreensões dos números relativos pelos alunos, ao longo de anos de prática docente. A partir dessa prática e dos referenciais teóricos adotados, observou-se que a concepção de número como quantidade constitui-se em obstáculo epistemológico para a aceitação dos números negativos. Foi construída uma sequência didática com o objetivo de promover a compreensão dos números relativos como operadores aditivos e como representação de posição relativa e das operações de adição e subtração. A sequência didática foi aplicada em uma turma do sétimo ano do Ensino Fundamental de uma escola da rede municipal da cidade de Canoas, durante o primeiro semestre letivo do ano de 2013. A elaboração da sequência didática e a análise dos registros escritos e orais coletados no decorrer de sua implementação apoiaram-se na Teoria dos Campos Conceituais e em pesquisas de autores que estudam o ensino e a aprendizagem dos números relativos. A análise apontou que o desenvolvimento de atividades envolvendo transformações de sentidos opostos, em contextos variados, favoreceu a compreensão dos números relativos como operadores aditivos, bem como das operações de adição e subtração e suas propriedades. Tais resultados também se devem à participação dos alunos em discussões argumentativas acerca de suas próprias soluções para os problemas propostos. Como produto da pesquisa, propomos uma sequência didática aprimorada, a partir das reflexões desenvolvidas sobre a aplicação realizada. / This paper presents a study on the teaching and learning of relative numbers and addition and subtraction operations with such numbers. The choice of this research topic is related to the findings of misunderstandings of the relative numbers by students over years of teaching practice. From this practice and the theoretical frameworks adopted, it was observed that the concept of number as an expression of quantity is an epistemological obstacle to the acceptance of negative numbers. A didactic sequence was constructed with the aim of promoting understanding of the numbers as operators and representations of the relative position, and the understanding of addition and subtraction. The instructional sequence was applied to a seventh year class in an elementary school of the municipality of Canoas, during the first semester of the year 2013. The development of instructional sequence and the analysis of written and oral records collected in the course of its implementation were based on the Conceptual Fields Theory and research of authors who study the teaching and learning of relative numbers. The analysis pointed out that the development of activities involving transformations along opposite directions, in varying contexts, favoured the understanding of numbers as additive operators, as well as understanding of the addition and subtraction operations and their properties. These results are also due to the participation of students in argumentative discussions about their own solutions to the problems posed. As a product of the research, we propose an enhanced instructional sequence, based on the reflections developed during and after the application.
144

O Ensino de fração e seus diferentes significado: um estudo a partir do livro didático A Conquista da Matemática e dos registros dos cadernos de alunos do 7º ano da rede municipal de Aracaju/SE

Lapa, Clésia Maria dos Santos 12 April 2013 (has links)
This research investigates the five meanings of fraction in the 7th grade level of the municipal Aracaju / SE from the textbook used by most teachers of mathematics and records of the notebooks of students taking as theoretical five meanings fraction: Measure Number, Multiplicative Operator, Part-whole and quotient defended by Nunes et al (2003) from the assumptions of the conceptual fields of Vergnaud (1996). The study sought to answer the following specific questions: Whether and how the five meanings fraction are emphasized in the activities proposed by the textbook The Conquest of Mathematics (GIOVANNI JR; Castrucci, 2009) 7th grade level? Whether and how the contract of Year 7 students in the municipal Aracaju / SE include the five meanings fraction? Therefore, it becomes an instrument of data collection the textbook - LD - The Conquest of Mathematics (GIOVANNI JR; Castrucci, 2009) 7th grade adopted by seventeen (17) of the twenty two (22) municipal schools education that meet the final years of elementary school, as well as the records of two (02) Mathematics notebook of students from each of the fifteen (15) teachers participating in the research. Through a qualitative approach to assessing such instruments followed the principles of content analysis (Bardin, 2010). Among the obtained results we highlight that in LD the most emphasized result was e Multiplicative Operator (50.51%) followed by the number (36.36%), Part-whole (7.07%) and Measure (6.06%). These indices differ from the records of students notebooks given that the meaning was emphasized by a number of twelve (12) teachers for a total of 66.06% of the questions, while the Operator Multiplicative was emphasized by ten (10) teachers totaling only 20.18%. The meaning of Part-whole was worked on 8.26% of the activities and measured in at only 5.50% of the questions put to the students. In what refers to the representation variables and quantity observed that both the LD as the records of students notebooks remains predominantly the percentage of variable iconic representation not with 69.70% of the activities of LD and 77.78% of records the notebooks of the students and the continuous variable with 64.65% of the activities proposed by LD and 78.17% of the activities developed by teachers. Regarding the significance quotient observed no occurrence both the LD as the records of students on the rolls. / Esta pesquisa investiga os cinco significados de fração no 7º ano do ensino fundamental da rede municipal de Aracaju/SE a partir do livro didático mais utilizado pelos professores de Matemática e dos registros dos cadernos dos alunos tomando como referencial teórico os cinco significados de fração: Medida, Número, Operador Multiplicativo, Parte-todo e Quociente defendidos por Nunes et al (2003) a partir dos pressupostos dos campos conceituais de Vergnaud (1996). O estudo procurou responder as seguintes questões específicas: Se e como os cinco significados de fração são enfatizados nas atividades propostas pelo livro didático A Conquista da Matemática (GIOVANNI JÚNIOR; CASTRUCCI, 2009) do 7º ano do ensino fundamental? Se e como os cadernos de alunos do 7º ano da rede municipal de Aracaju/SE contemplam os cinco significados de fração? Para tanto, toma-se como instrumento de coleta de dados o livro didático - LD - A Conquista da Matemática (GIOVANNI JÚNIOR; CASTRUCCI, 2009) do 7º ano adotado por dezessete (17) das vinte e duas (22) escolas da rede municipal de ensino que atendem aos anos finais do ensino fundamental, bem como os registros de dois (02) cadernos de Matemática dos alunos de cada um dos quinze (15) professores participantes da pesquisa. Por meio de uma abordagem qualitativa a apreciação de tais instrumentos seguiu os princípios da análise de conteúdo (BARDIN, 2010). Entre os resultados obtidos destacamos que no LD o significado mais enfatizado foi o Operador Multiplicativo (50,51%) seguido pelo Número (36,36%), Parte-todo (7,07%) e Medida (6,06%). Tais índices divergem dos registros dos cadernos dos alunos tendo em vista que o significado Número foi ressaltado por doze (12) professores perfazendo um total de 66,06% das questões, enquanto que o Operador Multiplicativo foi enfatizado por dez (10) docentes totalizando apenas 20,18%. O significado Parte-todo foi trabalhado em 8,26% das atividades e Medida em somente 5,50% das questões propostas aos alunos. Já no que se refere às variáveis de representação e de quantidade observamos que tanto o LD quanto os registros dos cadernos dos alunos mantém predominantemente os percentuais da variável de representação não icônica com 69,70% das atividades do LD e 77,78% dos registros nos cadernos dos alunos e na variável contínua com 64,65% das atividades propostas pelo LD e 78,17% das atividades desenvolvidas pelos professores. Em relação ao significado Quociente não observamos nenhuma ocorrência tanto o LD quanto os registros nos cadernos de alunos.
145

Faria de Vasconcelos e as diretrizes da pedagogia científica na formação matemática do professor primário (1909-1960)

Marques, Josiane Acácia De Oliveira 04 June 2018 (has links)
Submitted by Jaqueline Duarte (1157279@mackenzie.br) on 2018-08-22T00:08:07Z No. of bitstreams: 2 Josiane Acácia de Oliveira Marques.pdf: 2842149 bytes, checksum: 4960b1871a2b6119a46e5950ce28a16a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Giovanna Brasil (1154060@mackenzie.br) on 2018-08-27T19:18:50Z (GMT) No. of bitstreams: 2 Josiane Acácia de Oliveira Marques.pdf: 2842149 bytes, checksum: 4960b1871a2b6119a46e5950ce28a16a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2018-08-27T19:18:50Z (GMT). No. of bitstreams: 2 Josiane Acácia de Oliveira Marques.pdf: 2842149 bytes, checksum: 4960b1871a2b6119a46e5950ce28a16a (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2018-06-04 / Instituto Federal de Educação, Ciência e Tecnologia de São Paulo / This research presents the results of the investigation that aimed to understand, under orientations found in the works of the Portuguese author Faria de Vasconcelos, a scientific discourse to the teaching of arithmetic and how this discourse was appropriated in Brazilian pedagogical manuals and foreign translations that circulated in Brazil, guiding the pedagogical practice of primary school teachers between 1930 and 1960. To write this thesis, in addition to pedagogical manuals, other documentary sources were used, as periodicals and teaching programmes ruling at that time. The analysis was made under historical and cultural perspective, employing the studies of the authors Michel de Certeau (2011b) on circulation, strategies and tactics, and Roger Chartier (1990) concerning appropriation and representation. The instructions contained in the pedagogical manuals for teaching arithmetic – Como se ensina aritmética: didática (1933) e Como se ensina a raciocinar em aritmética: psicologia experimental e didática (1934) – were supported by the child scientific study and the subject psychological knowledge. This would be the prescript, according to the Portuguese author, to succeed in teaching arithmetic. This scientific discourse instructed normal school teachers and students to acquaint themselves with the experimental psychology studies of the moment, before teaching skills, including arithmetic. The scientific studies about children, endorsed by Faria de Vasconcelos, consisted of psychology and physiology researches taking into consideration their ideal age, maturity to learn arithmetical operations, mental capacity and rationality. The subject psychological knowledge involved adjusting teaching methods to the child’s needs. Thus, to teach arithmetic, the teacher needed to adopt aspects of Scientific Pedagogy, as application of arithmetic tests, for the purpose of measuring the child’s knowledge, to determine the causes of mistakes made by students and teacher in arithmetic. Farias de Vasconcelos encouraged in his manuals that the school became a scientific experimentation laboratory in order to renovate teaching, a proposition from the philosophy of Progressive Education. The guidance presented in Vasconcelos works were disseminated to primary school teachers through appropriations made by other authors of pedagogical manuals, being incorporated into the Brazilian school culture. / Esta pesquisa apresenta os resultados da investigação que buscou compreender como foi construído nas orientações interpretadas nas obras do autor português Faria de Vasconcelos, um discurso científico para o ensino de aritmética e como tal discurso foi apropriado em manuais pedagógicos brasileiros e traduções estrangeiras que circularam no Brasil, orientando as práticas pedagógicas dos professores primários de 1930 a 1960. Para a escrita desta tese, além de manuais pedagógicos, lançamos mão de outras fontes documentais como periódicos e programas de ensino vigentes na época. A análise foi feita sob a ótica da história cultural valendo-se dos estudos dos autores Michel de Certeau (2011b) sobre circulação, estratégias e táticas, e Roger Chartier (1990) sobre apropriação e representação. As orientações versadas nos manuais pedagógicos para o ensino de aritmética - Como se ensina aritmética: didática (1933) e Como se ensina a raciocinar em aritmética: psicologia experimental e didática (1934) – estavam apoiadas em dois pilares: o estudo científico da criança e o conhecimento psicológico da disciplina. Esta seria a prescrição, de acordo com o autor luso para se obter êxito no ensino de aritmética. Este discurso científico instruía os professores e estudantes de escola normal a se inteirar dos estudos da psicologia experimental do momento, antes de ensinar quaisquer saberes, inclusive os saberes aritméticos. Os estudos científicos sobre a criança defendidos por Faria de Vasconcelos, compreendiam os estudos psicológicos e fisiológicos dos alunos, considerando a idade ideal para a aprendizagem, o nível de maturidade para o ensino de operações aritméticas, as capacidades mentais e o raciocínio. O conhecimento psicológico da disciplina compreendia ajustar as técnicas de ensino a necessidade individual da criança. Assim, para o ensino e a aprendizagem de aritmética era necessário o professor fazer uso de instrumentos da Pedagogia Científica, como a aplicação do método de testes com o intuito de mensurar o conhecimento da criança, diagnosticar as causas dos erros cometidos pelos alunos e professores. Em posse dessas informações o professor poderia reparar tais erros com o emprego de métodos/técnicas de ensino previamente experimentadas. Faria de Vasconcelos incentivava em seus manuais que a escola se tornasse um laboratório de experimentação científica com o intuito da renovação do ensino, proposição advinda do ideário da Escola Nova. As orientações apresentadas nas obras de Vasconcelos circularam entre os professores do curso primário por meio de apropriações feitas por outros autores de manuais pedagógicos, sendo incorporadas na cultura escolar brasileira.
146

Números primos e criptografia RSA / Prime number and RSA cryptography

Mirella Kiyo Okumura 22 January 2014 (has links)
Estudamos a criptografia RSA como uma importante aplicação dos números primos e da aritmética modular. Apresentamos algumas sugestões de atividades relacionadas ao tema a serem desenvolvidas em sala de aula nas séries finais do ensino fundamental / We studied RSA cryptography as an important application to prime numbers and modular arithmetic. We present some suggestions of activities related to the subject to be developed in classrooms of the final years of elementary school vii
147

Práticas mobilizadoras de cultura aritmética na formação de professores da Escola Normal da Província do Rio de Janeiro (1868-1889) : ouvindo espectros imperiais / Mobilizing practices of aritmethic culture in teachers training at Normal School of Rio de Janeiro Province (1868-1889) : listening imperial spectrums

Farias, Kátia Sebastiana Carvalho dos Santos, 1963- 05 May 2014 (has links)
Orientador: Antonio Miguel / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-25T11:31:30Z (GMT). No. of bitstreams: 1 Farias_KatiaSebastianaCarvalhodosSantos_D.pdf: 28621346 bytes, checksum: 656c7585d979da2a530797bce5a1b02f (MD5) Previous issue date: 2014 / Resumo: Este trabalho tem como objetivo investigar práticas mobilizadoras de cultura aritmética que teriam sido realizadas na Escola Normal da Província do Rio de Janeiro, no período de 1868 a 1889, com o propósito de formar professores para atuarem nas chamadas "escolas de primeiras letras", enfatizando a gestão inovadora da Escola Normal por parte de José Carlos Alambary Luz. A pesquisa se insere no campo temático da historiografia da educação brasileira, história das instituições educacionais, história da educação matemática, bem como no terreno da história da cultura escolar. A base documental da pesquisa é constituída por: relatórios dos Presidentes da Província do Rio de Janeiro apresentados à Assembleia Legislativa Provincial do Rio de Janeiro (1835-1889); relatórios do Diretor da Escola Normal apresentados ao Diretor da Instrução Pública (1868 a 1889); relatórios do Diretor da Instrução Pública; Jornal A Instrução Publica; Jornal A Verdadeira Instrução Publica; A Revista do Ensino; Revista Brasileira de Educação e Ensino; Revista do Ensino Primário; o Compêndio Elementos de Arithmetica, de Cristiano Benedito Ottoni e o Compendio de Pedagogia, de Antonio Marciano da Silva Pontes. Tomamos como inspiração filosófica e metodológica o pensamento desenvolvido pelo filósofo Ludwig Wittgenstein, bem como o pensamento de desconstrução de Jacques Derrida. Na nossa encenação da linguagem, dentre outros, destaca-se o ponto de vista de que a Aritmética escolar tem rastros no campo de atividade mercantil, ou seja, que a Aritmética escolar deriva da cultura mercantil e que as práticas mobilizadoras de cultura aritmética que teriam sido realizadas na Escola Normal da Província do Rio de Janeiro poderiam mobilizar memórias de rastros de significado de práticas mercantis. O corpus de nossa pesquisa manifestou rastros de duas tradições de livros de Aritmética para diversos campos de atividade humana, ou seja, dois tipos de obras que mobilizaram a cultura aritmética: livros destinados à prática mercantil e livros escolares, alguns destes destinados a formar o formador, como o livro de Aritmética de Ottoni. Com relação às práticas de ensino de Aritmética na formação de professores, vimos que, a partir dos anos de 1870, foi recomendado o método intuitivo. Esta recomendação efetiva-se no uso do Compendio de Pedagogia de Pontes. Mas o método intuitivo não foi bem aceito pelos professores primários, pois eles entendiam que se tratava apenas de "prática e mais prática", com muitos exemplos e poucas regras, muitas aplicações e poucas teorias e abstrações. Resistiram ao método intuitivo, preferindo se utilizarem do método que já vinham desenvolvendo, o "tradicional". Palavras-chave: Cultura Aritmética. Escola Normal da Província do Rio de Janeiro. Formação de Professores / Abstract: This work aims to understand the mobilizing practices of arithmetical culture which had been made at Normal School of Rio de Janeiro Province, from 1868 to 1889, with the purpose to prepare teachers to act on ¨first letters school¨, emphasizing the innovative management of Normal School made by José Carlos Alambary Luz. The research is inserted in subject field of Brazilian education historiography, history of educational institutions, history of mathematical education, as well as in the field of history of school culture. The documental base of the research is composed of: reports of Rio de Janeiro Province Presidents presented to Provincial Legislative Assembly of Rio de Janeiro (1835-1889); reports from Director of Normal School presented to Public Instruction Director (1868 a 1889); reports from Public Instruction Director; A Instrução Publica Newspaper; A Verdadeira Instrução Publica Newspaper; A Revista do Ensino (The magazine of teaching); A Escola-Revista Brasileira de Educação Ensino (The Brazilian Magazine-School of Education Teaching); Revista do Ensino Primário (The Primary Teaching Magazine); The Compendio Elementos de Arithmetica, of Cristiano Benedito Ottoni and the Compendio de Pedagogia, of Antonio Marciano da Silva Pontes. We take as philosophical and methodological inspiration the thought developed by the philosopher Ludwig Wittgenstein, as well as the deconstruction thought of Jacques Derrida. In our language staging, between others, it stands out the point of view that the school Arithmetics has tracks in mercantile activity field, in other words, that the school Arithmetics derives from mercantile culture and that the mobilizing practices of arithmetical culture which had been done at Normal School of Rio de Janeiro Province could mobilize meaning track memories of mercantile practices. Our research corpus manifested traces of two traditions of Arithmetical books for various human activity fields, i.e., two kinds of works which had been mobilized the arithmetical culture: books for mercantile practice, and schoolbooks, some of these destined to form the former, as the Arithmetical book of Ottoni. Regarding the Arithmetical teaching practices in teachers¿ formation we had seen that, from 1870, it was recommended the intuitive method. This recommendation is effected in Compendio de Pedagogia using by Pontes. But the intuitive method wasn¿t well accepted by the primary teachers, because they did understand that it was only practices and more practices, with a lot of examples and few rules, many applications and few theories and abstractions. They resisted to the intuitive method, preferring using the method which already had been used, the "traditional". Keywords: Arithmetical Culture. Normal School of Rio de Janeiro Province. Teachers Education / Doutorado / Ensino e Práticas Culturais / Doutora em Educação
148

Revisitando o Teorema de Frege / Revisiting Frege's Theorem

Almeida, Henrique Antunes, 1989- 25 August 2018 (has links)
Orientador: Walter Alexandre Carnielli / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciências Humanas / Made available in DSpace on 2018-08-25T21:09:00Z (GMT). No. of bitstreams: 1 Almeida_HenriqueAntunes_M.pdf: 1516387 bytes, checksum: 2608439ba585a23431d2aa295b1b8876 (MD5) Previous issue date: 2014 / Resumo: Neste trabalho, abordamos o Teorema de Frege sob uma perspectiva exclusivamente técnica. Primeiramente, propomos uma caracterização geral de linguagens de segunda ordem que sejam adequadas para formalizar quaisquer teorias fregeanas ¿ teorias que resultam da introdução de um ou mais princípios de abstração a um sistema dedutivo de lógica de segunda ordem; fornecemos uma semântica e um sistema dedutivo para essas linguagens e elaboramos alguns resultados metateóricos acerca desse sistema. Em segundo lugar, apresentamos uma exposicão detalhada da prova do Teorema de Frege, enunciado como uma relação entre a Aritmética de Frege e a Aritmética de Dedekind-Peano. Por fim, provamos a equiconsistência entre essas teorias e a Aritmética de Peano de Segunda Ordem / Abstract: In this work, we discuss Frege¿s Theorem under an exclusively technical perspective. First, we propose a general caracterization of second-order languages suitable to formalize all Fregean theories ¿ theories that result from the introduction of one or more abstraction principles to a deductive system of second-order logic; we also furnish a semantics and a deductive system for these languages and establish a few metatheorical results about the system. Second, we present a detailed proof of Frege¿s Theorem, formulated as a relation between Frege¿s Arithmetic and Dedekind-Peano Arithemtic. Finally, we prove the equiconsistency between these theories and Peano Second-Order Arithmetic / Mestrado / Filosofia / Mestre em Filosofia
149

Método para a detecção de perdas não técnicas usando lógica nebulosa como principal agente preditivo / Method for detection of non-technical losses using fuzzy logic as the main predictive agent

Silva, Juliano Andrade, 1976- 24 August 2018 (has links)
Orientador: Carlos Alberto Favarin Murari / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-24T05:02:33Z (GMT). No. of bitstreams: 1 Silva_JulianoAndrade_M.pdf: 2172048 bytes, checksum: c41c62db07439b74c8ae778f46eda707 (MD5) Previous issue date: 2013 / Resumo: A partir das privatizações do setor elétrico nacional na década de 90, o governo federal julgou necessário fortalecer a regulação sobre as concessionárias de distribuição de energia elétrica enquanto que as empresas adquirentes buscaram formas de tornar esta atividade mais rentável, visando a valorização das suas ações. Nesse contexto, é importante que as distribuidoras de energia elétrica disponham de mecanismos de combate às perdas não técnicas, visando minimizar as perdas por fraude, furto, desvios, queimas de equipamentos, ligações erradas nas medições de energia elétrica, entre outras dessa natureza, que influenciam diretamente no faturamento das concessionárias. A partir da classificação socioeconômica de cada área de concessão, a ANEEL realizou estudos estatísticos para determinar a empresa benchmark e, a partir desta, determinar as metas de redução de perdas para as concessionárias. O regime yardstick competition adotado, estimula a competição em relação à empresa com melhores níveis de eficiência na redução de perdas e com níveis de complexidade socioeconômico similares. O objetivo desta pesquisa foi a elaboração de um modelo matemático fundamentado na teoria de conjuntos nebulosos (Fuzzy Sets), visando a melhoria dos critérios de seleção de unidades consumidoras para fins de inspeção, com o intuito de reduzir as perdas não técnicas. Em MatLab? elaborou-se um algoritmo com variáveis pertinentes ao problema e, por meio de um sistema baseado em regras, sob a égide de um controlador nebuloso aplicando o Método Mamdani, pode-se determinar um escore das instalações mais favoráveis à inspeção pela concessionária. O algoritmo baseado em lógica nebulosa apresentou bom desempenho, com a indicação de novos nichos de seleção e portanto superior ao patamar de especificidade de métodos já usados, entre eles redes neurais e modelo CHAID. A função do modelo nebuloso é fornecer um escore final que diz o quanto a unidade consumidora é irregular ou não / Abstract: From the national power sector privatization in the 90¿s, the federal government has deemed necessary to strengthen the regulation on the electricity distribution utilities while the acquiring companies sought ways to transform this activity into a product that generates more value to their stock trading. In this context, it is important that the electric utilities have mechanisms for combating non-technical losses in order to minimise losses for fraud, theft, misappropriation, burning equipment, faulty connections in the kwh meters, among others, that influence directly in the billing of dealers. From the socioeconomic classification of each concession area, the Electric Power Federal Agency - ANEEL conducted statistical studies to determine the benchmark company and, from this, determine the goals of reducing losses to the electric utilities. The yardstick competition enables compare the performance of various agents and stimulates the competition in relation to the company with the highest levels of efficiency in reducing losses. The objective of this research was the development of a mathematical model based on the theory of fuzzy sets applied to the improvement of the selection criteria of consumer units for inspection purposes, in order to reduce the non-technical losses. In MATLAB? it was developed an algorithm with variables relevant to the problem and, through a rules-based, under the aegis of a Mamdani fuzzy controller applying the method, the system can determine a score of more favorable consumers to inspection by the concessionaire. The algorithm based on fuzzy logic performed well, indicating new niches of selection and therefore superior to the level of specificity of methods already used, including neural networks and the CHAID technique. The function of the fuzzy model is to provide a final score that tells how much the consumer unit is irregular or not / Mestrado / Energia Eletrica / Mestre em Engenharia Elétrica
150

Fotografia melódica : relações e cálculo intervalar / Melodic photography : relations and intevalic calculations

Ferreira, Guilherme Antonio Celso 20 August 2018 (has links)
Orientador: Silvio Ferraz Mello Filho / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Artes / Made available in DSpace on 2018-08-20T10:18:14Z (GMT). No. of bitstreams: 1 Ferreira_GuilhermeAntonioCelso_D.pdf: 12287973 bytes, checksum: b45cb51a780101bcbd8a10396b9a29ca (MD5) Previous issue date: 2012 / Resumo: Esse trabalho se situa na área de Composição Assistida por Computador, CAC. Mais especificamente, na geração de material pré-composicional em nível simbólico. Nosso uso e apropriação desse recurso tecnológico foram, no entanto influenciados pela filosofia de Vilém Flusser, especialmente pela sua obra Filosofia da Caixa Preta. Tivemos como objetivos dessa pesquisa tanto uma contribuição (via Flusser) para o debate em torno do ambiente de composição atual, quanto o uso do recurso computacional notadamente característico desse ambiente para solucionar um problema de organização de alturas e ordenação de eventos musicais. O tratamento dado ao espaço de alturas na música pós-tonal privilegia, na sua generalidade e abstração, abordagens mais analíticas do que práticas. Dessa forma, introduzimos o conceito de Tabela de Diferenças Intervalares, TDI, como uma fotografia das relações intervalares em uma sequência temporal que incorpora tanto intervalos entre eventos sucessivos quanto intervalos entre eventos não adjacentes, de certa maneira retomando uma proposta de Ernest Ansermet (1987). Apartir desse conceito (TDI) formalizamos um algoritmo capaz de gerar novas ordenações temporais com relações intervalares semelhantes a inicial em um contexto não-tonal. Esse procedimento se revelou como um recurso prático para a composição capaz de introduzir no cálculo intervalar uma dimensão de organização temporal. Ao testarmos a viabilidade desse procedimento em nossa prática composicional descobrimos ser ele também capaz de ser desenvolvido como procedimento de organização rítmica e harmônica. Apresentamos nesse trabalho quatro obras compostas usando esse algoritmo que esperamos contribuir para os recursos disponíveis para tratamento harmônico na música contemporânea / Abstract: This work is in the field of Computer Aided Composition (CAC), more specifically in the generation of pre-compositional material in the symbolic level. Our use and ownership of this technological capability were however influenced by the philosophy of Vilém Flusser, "Towards a Philosophy of Photography". We had as goals of this research both a contribution, via Flusser, to the debate on the current composition environment, and the use of compositional resource most notedly characteristic (computer) of that environment to resolve an issue of pitch structure and the ordering of musical events. The treatment of pitch structures in post tonal music favours in its generality and abstraction, approaches more analytical than practical. Hence, we have introduced the concept of Interval Difference Table (IDT) like photography of intervallic relations in a timeline that incorporates both intervals between successive event and between nonadjacent events, somewhat reviving a proposal of Ernest Ansermet (1987). From this concept (IDT) we formalized and algorithm capable of generating new temporal ordinations with the same intervallic content in a non-tonal context. This procedure has proved to be a practical resource for composition capable of introducing into the intervallic calculation a dimension of temporal organization. In testing the feasibility of this procedure in our compositional practice we found that it was also able to be developed as rhythmic and harmonic organization strategy. We pesent in this work four compositions using this algorithm which we hope will contribute as ressources available to contemporary music composers / Doutorado / Processos Criativos / Doutor em Música

Page generated in 0.067 seconds