Submitted by Pedro Barros (pedro.silvabarros@ufpe.br) on 2018-10-08T21:50:33Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Renato Soares de Oliveira .pdf: 822447 bytes, checksum: 0216a777f7e39674bf6f55aef9c57d8f (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-11-21T20:33:06Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Renato Soares de Oliveira .pdf: 822447 bytes, checksum: 0216a777f7e39674bf6f55aef9c57d8f (MD5) / Made available in DSpace on 2018-11-21T20:33:06Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Renato Soares de Oliveira .pdf: 822447 bytes, checksum: 0216a777f7e39674bf6f55aef9c57d8f (MD5) Previous issue date: 2016-07-29 / CNPq / O cálculo de variações é um problema matemático que consiste em buscar máximos e mínimos (ou, mais geralmente, extremos relativos) de funções contínuas definidas sobre algum espaço funcional. Constituem uma generalização do cálculo elementar de máximos e mínimos de funções reais de uma variável. Ao contrário deste, o cálculo das variações lida com os funcionais, enquanto o cálculo ordinário trata de funções. Funcionais podem, por exemplo, ser formados por integrais envolvendo uma função incógnita e suas derivadas. O interesse está em funções extremas - aquelas que fazem o funcional atingir um valor máximo ou mínimo - ou de funções fixas - aquelas onde a taxa de variação do funcional é precisamente zero. Talvez o exemplo mais simples seja o de encontrar a curva com o menor comprimento possível ligando dois pontos. Se não houver restrições, a solução é (obviamente) uma linha reta ligando estes pontos. No entanto, se as possibilidades para esta curva estiverem restritas a uma determinada superfície no espaço, então a solução é menos óbvia e, possivelmente, muitas soluções podem existir. Tais soluções são conhecidas como geodésicas. Um problema relacionado a este é representado pelo princípio de Fermat: a luz segue o caminho de menor comprimento óptico ligando dois pontos, onde o comprimento óptico depende do material de que é composto o meio. Um conceito correspondente em mecânica é o princípio da mínima ação. Nesta dissertação faremos uma exposição dos principais conceitos do cálculo variacional com ênfase na equação de Euler-Lagrange, que trata-se de uma condição necessária para extremos locais de uma determinada classe de funcionais. Nosso objetivo principal é estudar os problemas de extremidades fixas com e sem vínculos para tratar o problema de Sturm-Liouville por meio de uma abordagem variacional. Veremos que cada autovalor do problema de Sturm-Liouville é obtido pela resolução de um problema variacional de minimização para depois, através desse fato, conseguirmos estimativas para esses autovalores. / Calculus of variations is a field of mathematical analysis that deals with maximizing or minimizing functionals, which are mappings from a set of functions to the real numbers. Functionals are often expressed as definite integrals involving functions and their derivatives. The interest is in extremal functions that make the functional attain a maximum or minimum value – or stationary functions – those where the rate of change of the functional is zero. A simple example of such a problem is to find the curve of shortest length connecting two points. If there are no constraints, the solution is obviously a straight line between the points. However, if the curve is constrained to lie on a surface in space, then the solution is less obvious, and possibly many solutions may exist. Such solutions are known as geodesics. A related problem is posed by Fermat’s principle: light follows the path of shortest optical length connecting two points, where the optical length depends upon the material of the medium. One corresponding concept in mechanics is the principle of least action. In this dissertation we present the main concepts of the variational calculus emphasizing the Euler-Lagrange equation, that is a necessary condition for local extrema of a particular class of functionals. Our main aim is to study the problems of fixed ends with and without constraints to address the Sturm-Liouville problem through a variational approach. We will see that each eigenvalue of the Sturm-Liouville problem is obtained by solving a variational minimization problem and then, by this fact, we get estimates for these eigenvalues.

Orientador: Maria Lúcia Bontorim de Queiroz / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-09-11T21:24:47Z (GMT). No. of bitstreams: 1 Kurokawa_CeciliaYumi_M.pdf: 2968759 bytes, checksum: 5b4c2abc6c3e05e7bb90da7d96a80067 (MD5) Previous issue date: 2015 / Resumo: O cálculo de áreas e volumes foi um tema que desafiou os matemáticos desde os primeiros registros encontrados. Desde as formas rudimentares e práticas sem embasamento teóricos dos babilônicos e egípcios até o desenvolvimento do Cálculo Diferencial e Integral, inúmeros matemáticos contribuíram para o desenvolvimento e formalização dos conceitos e maneiras de cálculo de áreas e volumes. Neste trabalho apresentaremos conceitos formais e também aspectos históricos no desenvolvimento do cálculo de áreas e volumes, através das contribuições dos matemáticos ao longo da história da Matemática. Em especial, analisaremos os trabalhos de Cavalieri, que utilizou a ideia dos indivisíveis, ampliando conceitos utilizados pelo método da exaustão e Pappus, que contribuiu formalizando o cálculo de áreas e volumes dos sólidos de revolução através do centro de gravidade. Também destacamos a contribuição das ideias de Newton e Leibniz no desenvolvimento do Cálculo Diferencial e Integral, que permitiu significativo avanço no cálculo de áreas e volumes. Finalizamos este trabalho com algumas aplicações didáticas, visando um melhor entendimento dos alunos sobre este tema / Abstract: The volume and area calculation were a theme that challenged mathematicians since the first registers that they found out. From rudimental shapes and practices without theoretical support of Babylonians and Egyptians until Differential and Integral Calculus development, a vast number of mathematicians contributed for development and systematization of concepts and forms of areas and volume calculation. In this paper has as an objective to show formal concepts and historical aspects about area and volume calculation through mathematicians¿ contributions over the Mathematic history. Particularly, it will be analyzed Cavalieri¿ projects who used the indivisible idea. He extended concepts that used exhaustion method and Pappus that contributed about formalization of area and volume calculation of solids of revolution through gravity center. Other aspect pointed in this paper are the contributions of Newton and Leibniz about Differential and Integral Calculus development that to make possible a meaningful advance about area and volume calculation. To finish this paper, some didactic applications it will be presented with the aim to make students have a clear understanding about the theme / Mestrado / Matemática em Rede Nacional / Mestra em Matemática em Rede Nacional

Made available in DSpace on 2014-06-11T19:27:10Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-10-03Bitstream added on 2014-06-13T18:07:04Z : No. of bitstreams: 1 martini_ah_me_rcla.pdf: 2016802 bytes, checksum: 99b219ef9e4367f5e8268e22828e9b81 (MD5) / Neste trabalho estudamos tópicos de cálculo diferencial para funções de várias variáveis a valor real, utilizando como ferramenta o programa livre MAXIMA / We study some topics of the differential calculus using the software as a tool MAXIMA

Made available in DSpace on 2016-05-17T16:51:16Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-07-31. Added 1 bitstream(s) on 2016-05-17T16:54:52Z : No. of bitstreams: 1 000864562.pdf: 90723240 bytes, checksum: ca147c67165cbd0b3abca9e46f8b11e3 (MD5) / Este trabalho tem por objetivo auxiliar o professor de Matemática através do estudo detalhado sobre área das figuras planas e espaciais vistas no Ensino Fundamental e Médio. Para isto apresentaremos um relato histórico muito breve, além de uma análise de livros didáticos e apostilas utilizados no Estado de São Paulo, tanto no Ensino Fundamental como no Médio. Será apresentado um embasamento teórico com as demonstrações dos principais resultados e finalmente algumas atividades do assunto para o Ensino Fundamental e o Ensino Médio serão realizadas / The purpose of this work is to assist the mathematics teacher through the detailed study about area of the plane figures and spatial figures seen in high schools. We present a very short historical account, as well as an analysis about text books and handouts of State São Paulo used in high school. There will be a theoretical foundation in which we will prove of the results about area and finally we will present some activities of the theme for high school

LIMA, Jandean da Silva. A utilização do cálculo diferencial e integral para o cálculo de volume de sólidos geométricos . 2016. 74 f. Dissertação (Mestrado em Matemática em Rede Nacional) – Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2016-05-25T15:08:35Z No. of bitstreams: 1 2016_dis_jslima.pdf: 2093032 bytes, checksum: a33c7f0a877b127c2633f7fc61563f8a (MD5) / Approved for entry into archive by Rocilda Sales (rocilda@ufc.br) on 2016-05-25T15:17:11Z (GMT) No. of bitstreams: 1 2016_dis_jslima.pdf: 2093032 bytes, checksum: a33c7f0a877b127c2633f7fc61563f8a (MD5) / Made available in DSpace on 2016-05-25T15:17:11Z (GMT). No. of bitstreams: 1 2016_dis_jslima.pdf: 2093032 bytes, checksum: a33c7f0a877b127c2633f7fc61563f8a (MD5) Previous issue date: 2016 / This paper discusses the concept of volume and use of the integration process as a method for the volume calculation of geometric solids studied in high school, aiming to provide the mathematics teacher of basic education an alternative tool for the justification of the solids volume of formulas geometric, different from what is used in almost all the textbooks of basic education, as well as in most geometry books, which is the principle of Cavalieri. Understanding that the textbook is the main reference of most mathematics teachers of basic education, and knowing that the principle of Cavalieri is the central tool in the statements of volume formulas in geometry books and textbooks of Mathematics, we conclude that the teacher it does not have research material to bring new approaches to the justification of the formulas in question. This fact motivated the construction of this work, whose goal is to provide the mathematics teacher of primary school text that serve as a source of research on the use of differential and integral calculus to calculate the volume of geometric solids, bringing the statements of formulas most geometric solids studied in high school via integrations. With the study of this text, we expect the teacher to deepen their knowledge related to spatial geometry, in particular the concept of volume and involved statements. The methodology used for the construction of this work was the literature, so that this research was made from analyzes and reviews of books related to the topic. The result of this work is summarized in the creation of a text containing a precise and systematic study on the concept of volume as well as a different approach about the statements of geometric solids volume formulas, using as a tool the integration process. We conclude that integration is an excellent tool for calculating volumes, solving of simple problems that would become very complicated by the principle Cavalieri. This text may be used as a reference to search for basic education mathematics teachers who want to work with deepening classes, or preparing for the most difficult university entrance exams in Brazil. / Este trabalho aborda o conceito de volume e o uso de processo de integração como método para o cálculo de volume de sólidos geométricos estudados no ensino médio, visando fornecer ao professor de Matemática do ensino básico uma ferramenta alternativa para a justificação das fórmulas de volume dos sólidos geométricos, diferente daquela que é empregada em quase todos os livros didáticos do ensino básico, bem como na maioria dos livros de geometria, que é o princípio de Cavalieri. Entendendo que o livro didático é a principal referência da maioria dos professores de Matemática do ensino básico, e sabendo que o princípio de Cavalieri é a ferramenta central nas demonstrações das fórmulas de volume nos livros de geometria e livros didáticos de Matemática, concluímos que o docente não dispõe de material de pesquisa que traga novas abordagens para a justificação das fórmulas em pauta. Esse fato motivou a construção deste trabalho, cujo objetivo é fornecer ao professor de Matemática do ensino básico um texto que sirva como fonte de pesquisa sobre o uso do cálculo diferencial e integral para o cálculo de volume de sólidos geométricos, trazendo as demonstrações das fórmulas da maioria dos sólidos geométricos estudados no ensino médio via integração. Com o estudo deste texto, esperamos que o professor aprofunde seus conhecimentos relacionados à geometria espacial, em particular, ao conceito de volume e às demonstrações envolvidas. A metodologia utilizada para a construção deste trabalho foi a bibliografia, de modo que esta pesquisa foi feita a partir de análises e estudos de livros relacionados ao tema. O resultado deste trabalho resume-se na criação de um texto contendo um estudo preciso e sistemático sobre o conceito de volume bem como uma abordagem diferente acerca das demonstrações das fórmulas de volume de sólidos geométricos, utilizando como ferramenta o processo de integração. Concluímos que a integração é uma excelente ferramenta para o cálculo de volumes, resolvendo de forma simples problemas que se tornariam muito complicado pelo princípio Cavalieri. Este texto poderá ser utilizado como referencial de pesquisa para professores de Matemática da educação básica que queiram trabalhar com turmas de aprofundamento, ou de preparação para os mais difíceis vestibulares do Brasil.

Orientadora: Marta Cilene Gadotti / Banca: Wladimir Seixas / Banca: Renata Zotin Gomes de Oliveira / Resumo: Este trabalho tem por objetivo auxiliar o professor de Matemática através do estudo detalhado sobre área das figuras planas e espaciais vistas no Ensino Fundamental e Médio. Para isto apresentaremos um relato histórico muito breve, além de uma análise de livros didáticos e apostilas utilizados no Estado de São Paulo, tanto no Ensino Fundamental como no Médio. Será apresentado um embasamento teórico com as demonstrações dos principais resultados e finalmente algumas atividades do assunto para o Ensino Fundamental e o Ensino Médio serão realizadas / Abstract: The purpose of this work is to assist the mathematics teacher through the detailed study about area of the plane figures and spatial figures seen in high schools. We present a very short historical account, as well as an analysis about text books and handouts of State São Paulo used in high school. There will be a theoretical foundation in which we will prove of the results about area and finally we will present some activities of the theme for high school / Mestre

Dissertação (mestrado) - Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2010. / Submitted by Allan Wanick Motta (allan_wanick@hotmail.com) on 2011-05-09T17:06:46Z No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / Approved for entry into archive by Patrícia Nunes da Silva(patricia@bce.unb.br) on 2011-05-11T20:45:58Z (GMT) No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / Made available in DSpace on 2011-05-11T20:45:58Z (GMT). No. of bitstreams: 1 2010_WashingtnLuisRibeirodeCarvalhoSegundo.pdf: 529113 bytes, checksum: 3c74f1ea1498ab7ee05b3f8cca2df3e5 (MD5) / O cálculo גex representa uma solução importante dentro da classe de cálculos de substituições explícitas que lidam com “nomes”, em oposição aqueles que codificam suas variáveis por índices. Delia Kesner obteve, através de um conjunto de provas construtivas, demonstrações das importantes propriedades do גex. Dentre elas, destacamos a PSN, isso é, a Preservação da Normalização Forte, cuja demonstração faz uso de uma estratégia de redução perpétua, que permitiu uma caracterização indutiva do conjunto SN גex. Estendemos a especificação em Coq, já realizada para o cálculo ג, de B. Aydemir et al, e que utiliza lógica nominal para construção de princípios de indução e recursão _-estrutural. Dessa forma nossa especificação inclui a substituição explícita (s[x=t]) na gramática de termos. Avançamos definindo os sistemas de reescrita e as relações de redução do גex, e concluímos por formalizar alguns resultados para o cálculo, a saber: a FC (Composição Completa), a SIM (Simulação de um passo da β-redução) e ainda outros que caminham para a formalização da PSN. _______________________________________________________________________________ ABSTRACT / The גex-calculus represents an important solution among all the class of explicit substitutions calculi that deal with "names", as opposed to those that encode variables by indices. Delia Kesner developed the proofs, through a set of constructive ones, of important properties of the _ex calculus. Among them, we highlight the PSN property, that is, the Preservation of Strong Normalization, whose proof uses a perpetual reduction strategy which allowed an inductive characterization of the set SN גex. We extended the specifi cation already done in Coq for the -calculus by B. Aydemir et al, using nominal logic to build principles of ג -structural induction and recursion. In this way our specification includes the explicit substitution (s[x=t]) in the grammar of the terms. We go foward by de_ning the rewriting systems and the reduction relations for the ג ex and we conclude by formalizing some results for this calculus, as follows: The FC (Full Composition), SIM (Simulation of One Step of β -Reduction) and others that go in the direction of the formalization of the PSN.

Orientador: Luiz Mariano Paes de Carvalho Filho / Dissertação (mestrado profissional) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação / Made available in DSpace on 2018-08-11T14:58:23Z (GMT). No. of bitstreams: 1 Jacyntho_LuizAntonio_M.pdf: 8765048 bytes, checksum: d1d39ba51eca5f10f2b9eb3fd48e367c (MD5) Previous issue date: 2008 / Resumo: Este trabalho tem como objetivos estudar algumas realizações de Arquimedes (287 a.C. - 212 a.C., Grécia) e de Isaac Barrow (1630-1677, Inglaterra), e, também, desenvolver atividades no Geogebra para auxiliar no ensino do Cálculo Diferencial e Integral. Apresentamos a construção do conjunto dos números reais, definições e teoremas atuais que antecedem, logicamente, o Teorema Fundamental do Cálculo. Tratamos de algumas das realizações de Arquimedes: a demonstração da medida da área do círculo, utilizando o Método de Eudoxo, o "método mecânico", pelo qual ele descobriu a medida da área do segmento parabólico e a demonstração rigorosa desta medida. São discutidas algumas realizações de Isaac Barrow: o método por ele utilizado para encontrar retas tangentes a uma curva, um estudo sobre o conteúdo da Conferência I e sobre algumas proposições da Conferência X. Nesta última, será dada atenção especial à Proposição 11, que demonstra casos particulares do Teorema Fundamental do Cálculo. O trabalho termina com um conjunto de atividades baseadas no programa Geogebra. Cada atividade tem a sua função numa seqüência didática e aborda os seguintes temas: a representação do conjunto dos números reais, a proposição de Arquimedes sobre a medida da área do círculo, o cálculo de áreas, a construção da função área, o cálculo de primitivas, a interpretação de Barrow para casos particulares do Teorema fundamental do Cálculo e algumas aplicações do Teorema Fundamental do Cálculo / Abstract: This work has as objectives study some realizations of Archimedes (287 BC - 212 BC, Greece) and of Isaac Barrow (1630-1677, UK), and, also, develop activities in Geogebra to aid in the teaching of Differential and Integral Calculus. We present the construction of the set of the real numbers, definitions and actual theorems that precede, logically, the Fundamental Theorem of Calculus. We deal with some of Archimedes' realizations: the demonstration of the measure of the circle's area, using the Eudoxus' Method, the "mechanical method", by which he discovered the measure of the area of the parabolic segment and the rigorous demonstration of it. There are discussed some realizations of Isaac Barrow: the method used by him to find tangent straights to a curve, a study about the content of the Lecture I and about some prepositions of the Lecture X. In this last one, main attention will be given to Proposition 11, which demonstrates particular cases of the Fundamental Theorem of Calculus. The word ends with a group of activities based in the Geogebra. Each activity has its function in a didactic sequence and they are about the following themes: the representation of the set of the real numbers, the proposition of Archimedes about the measure of the area of the circle, the calculation of areas, the construction of the area function, the calculation of primitives, the interpretation of Barrow to particular cases of the Fundamental Theorem of Calculus and some applications of the Fundamental Theorem of Calculus / Mestrado / Geometria / Mestre em Matemática

No description available.

Tese de mestrado. Estruturas de Engenharia Civil. 2004. Faculdade de Engenharia. Universidade do Porto