Submitted by Marcos Samuel (msamjunior@gmail.com) on 2017-05-31T15:01:53Z No. of bitstreams: 1 Dissertação - Jorge Alécio.pdf: 2573603 bytes, checksum: 85b77d6e458f82beec7bc103ad58be91 (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-06T14:28:58Z (GMT) No. of bitstreams: 1 Dissertação - Jorge Alécio.pdf: 2573603 bytes, checksum: 85b77d6e458f82beec7bc103ad58be91 (MD5) / Made available in DSpace on 2017-06-06T14:28:58Z (GMT). No. of bitstreams: 1 Dissertação - Jorge Alécio.pdf: 2573603 bytes, checksum: 85b77d6e458f82beec7bc103ad58be91 (MD5) / Nesta dissertação será feita uma análise da situação atual do ensino da Geometria nos cursos do Ensino Médio através da apresentação do Teorema de Euler para Poliedros Convexos e da análise da sua utilização em salas de aula. Será feita uma re flexão sobre o desenvolvimento do raciocínio dedutivo nesse nível de ensino e sobre a abordagem que se dá a formação do cidadão quanto a algumas competências importantes para a capacidade de análise crítica da realidade. Uma abordagem histórica investigará a trajetória das didáticas utilizadas no ensino dessa ciência. Por m serão levantadas propostas para o ensino de Geometria e para o desenvolvimento do raciocínio dedutivo através de demonstrações geométricas.

Submitted by Marcos Samuel (msamjunior@gmail.com) on 2017-06-09T11:19:47Z No. of bitstreams: 1 Dissertação - Ian Santana.pdf: 9011069 bytes, checksum: b6ad16512b339bd23e0af5850f68652e (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-12T15:20:04Z (GMT) No. of bitstreams: 1 Dissertação - Ian Santana.pdf: 9011069 bytes, checksum: b6ad16512b339bd23e0af5850f68652e (MD5) / Made available in DSpace on 2017-06-12T15:20:04Z (GMT). No. of bitstreams: 1 Dissertação - Ian Santana.pdf: 9011069 bytes, checksum: b6ad16512b339bd23e0af5850f68652e (MD5) / Este trabalho é destinado aos alunos do Ensino Médio e tem o propósito de facilitar o estudo da Geometria Espacial através da utilização do software de geometria dinâmica GeoGebra 5.0 Beta 3D, tornando as aulas da disciplina de Matemática mais atraentes. Com o auxílio do software, construímos figuras e animações que facilitam a visualização dos sólidos, a dedução das fórmulas utilizadas para cálculo de áreas e volumes e a resolução de exercícios.

Submitted by Marcos Samuel (msamjunior@gmail.com) on 2017-06-13T13:13:39Z No. of bitstreams: 1 Dissertação_Euclides.pdf: 3988888 bytes, checksum: cd9c030400eda1ef04d62f43c520a7bb (MD5) / Approved for entry into archive by Vanessa Reis (vanessa.jamile@ufba.br) on 2017-06-27T12:37:31Z (GMT) No. of bitstreams: 1 Dissertação_Euclides.pdf: 3988888 bytes, checksum: cd9c030400eda1ef04d62f43c520a7bb (MD5) / Made available in DSpace on 2017-06-27T12:37:31Z (GMT). No. of bitstreams: 1 Dissertação_Euclides.pdf: 3988888 bytes, checksum: cd9c030400eda1ef04d62f43c520a7bb (MD5) / Este trabalho propõe uma discussão sobre alguns tópicos da Escola Pitagórica, como Números Racionais e sua aplicação na música, a razão áurea e o número de ouro, o teorema de Pitágoras com demonstrações e aplicações em diversas áreas da Matemática e outras Ciências finalizando com um estudo de teoremas análogos ao de Pitágoras em geometrias Não Euclidianas. Veremos sugestões de como abordar de forma lúdica e interessante conteúdos dessa escola. Durante a pesquisa, foi possível inserir os recursos tecnológicos para estreitar mais a ligação entre a teoria e a prática da matemática, tornando assim a relação Homem X Mídia mais forte e prazerosa.

Submitted by Douglas De Jesus (douglas.lisboasj@gmail.com) on 2017-12-28T19:54:55Z No. of bitstreams: 1 De Jesus (2017) - O papel demonstrativo dos diagramas na geometria euclidiana (Dissertação).pdf: 1380214 bytes, checksum: c54e315d51423c3db9da71096989f547 (MD5) / Approved for entry into archive by Biblioteca Isaías Alves (reposiufbat@hotmail.com) on 2018-01-08T13:01:12Z (GMT) No. of bitstreams: 1 De Jesus (2017) - O papel demonstrativo dos diagramas na geometria euclidiana (Dissertação).pdf: 1380214 bytes, checksum: c54e315d51423c3db9da71096989f547 (MD5) / Made available in DSpace on 2018-01-08T13:01:12Z (GMT). No. of bitstreams: 1 De Jesus (2017) - O papel demonstrativo dos diagramas na geometria euclidiana (Dissertação).pdf: 1380214 bytes, checksum: c54e315d51423c3db9da71096989f547 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / A recente literatura em historiografia e filosofia da prática matemática apresenta um novo cenário sobre o estatuto epistemológico dos diagramas. Resgatam-se aí algumas das principais discussões sobre a maneira como um sujeito pode obter conhecimento através de justificativas diagramáticas. Dentro deste quadro intelectual, apresenta-se nesta investigação uma defesa dum modelo de prova matemática parcialmente baseado em diagramas. Como caso de estudo paradigmático, adota-se aqui os Elementos de Euclides sob a perspectiva metodológica da análise retórica. O principal argumento apresentado pretende demonstrar a seguinte tese: uma correta análise das provas euclidianas deve reconsiderar a prática matemática prescrita pelos Elementos num modelo de justificativa que incorpore não apenas a análise lógica de estruturas dedutivas, como também sua dimensão normativa, dependente, portanto, da audiência. Uma objeção frequente às provas euclidianas decorre da correta observação que o diagrama é uma instância física imperfeita, donde se seguiria que também uma prova diagramática é, de um ponto de vista lógico, imperfeita. É comum entre comentadores e filósofos a alegação de que as provas euclidianas possuem “lacunas” inferenciais, cuja correção deveria ser feita mediante novos axiomas dentro duma concepção formal de prova. Assim, cada passo em uma prova seria autorizado se, e somente se, é uma fórmula bem formada que, ou é um axioma, ou segue-se da aplicação duma regra de inferência. Em réplica, fica demonstrado que a principal deficiência deste argumento reside numa significativa negligência da prática matemática euclidiana. Mais ainda: não oferece uma explicação satisfatória para a estabilidade da teoria engendrada pelos Elementos. Isso é verificado a partir dum estudo mais detalhado acerca do Postulado 2. Através duma aclaração sobre o seu suposto uso não uniforme nos Livros I-VI pode-se constatar que a geometria euclidiana, no tocante às suas provas, é estável e racionalmente controlada. Para além da geometria de Euclides, mostra-se como a análise retórica poderia ser pensada como um método investigativo na filosofia da ciência. / The recent literature on historiography and philosophy of mathematical practice presents a new scenario about the epistemological status of diagrams. Some of the main discussions about the way a subject can obtain knowledge through diagrammatic justifications are rescued. Within this intellectual framework, it is presented here a defense of a mathematical proof model partially based on diagrams. As a paradigmatic case study, Euclid’s Elements are adopted here from the methodological perspective of the rhetorical analysis. The main argument through this text tries to prove the follow thesis: a correct analysis of the Euclidean proofs should reconsider the mathematical practice prescribed by the Elements in a justification model that incorporates not only the logical analysis of deductive structures, but also their normative dimension, therefore, dependent on the audience. A frequent objection to the Euclidean proofs stems from the correct observation that the diagram is an imperfect physical instance, from which it would follow that a diagrammatic proof, from a logical point of view, is also imperfect. It is common among commentators and philosophers the claim that the Euclidean proofs have inferential “gaps”, which should be corrected by new axioms within a formal conception of proof. Thus, each step in a proof would be allowed if, and only if, it is a well-formed formula which is either an axiom or follows from the application of an inference rule. In reply, it is demonstrated that the main deficiency of this argument lies in a significant neglect of Euclidean mathematical practice. Moreover, it does not offer a satisfactory explanation for the stability of the theory engendered by Elements. This is verified from a more detailed study of Postulate 2. Through a clarification on its supposed non-uniform use in Books I-VI it can be seen that Euclidean geometry, in relation to its proofs, is stable and rationally controlled. Beyond the geometry of Euclid, it is shown how rhetorical analysis could be thought of as an investigative method in the philosophy of science.

Submitted by Souza Tanajura Augusto (cast@ufba.br) on 2012-12-12T12:46:29Z No. of bitstreams: 1 257.pdf: 1812644 bytes, checksum: 4406fd4c7e78e9b9e835194766da32cb (MD5) / Made available in DSpace on 2012-12-12T12:46:29Z (GMT). No. of bitstreams: 1 257.pdf: 1812644 bytes, checksum: 4406fd4c7e78e9b9e835194766da32cb (MD5) / Centro de Pesquisa em Geofísica e Geologia da UFBA, CAPES, FAPESB, FINEP/CT-PETRO e da PETROBRAS / Essa dissertação tem como objetivo estudar o efeito da topografia do terreno nos dados eletromagnéticos à multifrequência, com o intuito de suprir informações teóricas que melhorem a precisão da interpretação dos dados do campo. Analisa-se também esse efeito nos dados EM obtidos no campo de Araçás (Bahia-Brasil). Considera-se um dipolo magnético vertical sobre um semi-espaço isotrópico e homogêneo para modelagem direta. Conseguiu-se determinar a matriz de transformação T e sua inversa T-1, que contém as informações sobre uma superfície inclinada acima da qual é estendida a bobina transmissora em relação a um plano horizontal. Obteve-se, a expressão geral do campo magnético (Hx) no plano inclinado, o que possibilitou realizar simulações tomando em conta a geometria das bobinas (azimute, mergulho), e avaliar a magnitude de erro devido a topografia, analisando a variação da impedância mútua (Z/Z0) com respeito ao número de indução (θ). Deduziu-se, através de três casos analisados, que ângulos de inclinação da ordem de 5 a 10o de inclinação do dipolo transmissor não afetam os dados adquiridos. A maior influência da topografia é causada pela diferença de altitude entre transmissor e receptor. A análise dos dados do campo de Araçás mostra que o efeito topográfico aparece em curtas distâncias transmissor-receptor com grandes diferenças de altitude. À medida em que se aumenta a separação transmissor-receptor, o efeito topográfico diminui progressivamente, ao mesmo tempo em que a razão sinal ruído diminui e torna o sinal indistinguível a partir de 2000 m de separação transmissor-receptor. Propôs-se um modelo inicial de multicamadas para a modelagem eletromagnética dessa área. O modelo foi deduzido a partir da interpretação dos dados de sondagens elétricas e de perfis geofísicos de poços da área, cedidos pela Petrobras. / Pós Graduação em Geofísica da UFBA

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Programa de Pós-Graduação em Educação Científica e Tecnológica, Florianópolis, 2009 / Made available in DSpace on 2012-10-24T07:08:33Z (GMT). No. of bitstreams: 1 280592.pdf: 5625525 bytes, checksum: 9c0e246fa379fd1b9c52121e6c096950 (MD5) / No presente trabalho, fazemos um estudo sobre os perspectógrafos de Albrecht Dürer, que durante o Renascimento alemão, desenvolveu máquinas para desenhar em perspectiva. Nosso intento é trazer uma discussão em torno dos perspectógrafos de Dürer como ferramenta do olhar e construir imagens em perspectiva com possibilidades de aplicação em sala de aula. Acreditamos que este fato se faz importante, pois de um lado discuti-se o aspecto da história da perspectiva associada à construção de um modo de olhar e de representar e, por outro lado, as possibilidades de ensino envolvendo a história e a geometria com ênfase na visualização matemática. Desta forma, a problemática do presente trabalho é como as máquinas de Dürer - os perspectógrafos - podem ser trazidas ao ensino atual, a fim de se trabalhar conceitos geométricos espaciais, aliando a história da perspectiva e os conhecimentos empregados em torno da técnica de desenho. Aliando os perspectógrafos, a história, a visualização e a geometria, construímos uma máquina, que denominamos perspectógrafo didático, criada a partir dos perspectógrafos. Para utilizarmos o perspectógrafo didático recriamos questões trazidas da história, resolvidas pelo próprio Dürer e resolvemos as mesmas. Através disto, busca-se aliar a história da perspectiva com o ensino da geometria desenvolvendo aspectos conceituais da matemática, entre eles a visualização matemática.

SILVA, Alexsandro Belém da; LOPES, José Othon Dantas. Famílias infinitas de corpos quadráticos imaginários. 2010. 64f. Dissertação(mestrado)- Universidade Federal do Ceará, Pós-Graduação em Matemática, Fortaleza-CE, 2010. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2011-10-10T16:51:14Z No. of bitstreams: 1 2010_dis_absilva.pdf: 443920 bytes, checksum: 7db02df0eb1e2c2478940909a2e7d15f (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2011-10-10T17:01:51Z (GMT) No. of bitstreams: 1 2010_dis_absilva.pdf: 443920 bytes, checksum: 7db02df0eb1e2c2478940909a2e7d15f (MD5) / Made available in DSpace on 2011-10-10T17:01:51Z (GMT). No. of bitstreams: 1 2010_dis_absilva.pdf: 443920 bytes, checksum: 7db02df0eb1e2c2478940909a2e7d15f (MD5) Previous issue date: 2010 / Let ℓ > 3 be an odd prime. Let So, S+, S_ be mutually disjoint finite sets of rational primes. For any suficiently large real number X > 0, basing ourselves on [16], we give this paper a lower bound of the number of imaginary quadratic fields k which satisfy the following conditions: the discriminant of k is greater than -X, the class number ok is not divisible by ℓ, every q € So ramifies, every q € S+ splits and every q € S_ is inert in k, respectively. / Seja ℓ > 3 um primo ímpar. Sejam So, S+, S_ conjuntos finitos mutuamente disjuntos de primos racionais. Para qualquer número real suficientemente grande X > 0, baseando-nos em [16], damos neste trabalho, um limite inferior do número de corpos quadráticos imaginários k que satisfazem as seguintes condições: o discriminante de k é maior que -X o número de classe de k é não divisível por ℓ, todo q € So se ramifica, todo q € S+ se decompõe e todo q € S_ é inerte em k, respectivamente.

CRUZ JUNIOR, Francisco Calvi da; MUNIZ NETO, Antonio Caminha. Folheações completas de formas espaciais por hipersuperfícies. 2010. 77 f. : Dissertação (mestrado)- Universidade Federal do Ceará, Pós-Graduação em Matemática, Fortaleza-CE, 2010. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2011-10-26T16:21:10Z No. of bitstreams: 1 2010_dis_fccjunior.pdf: 452250 bytes, checksum: 45b3145a14c504f1bed126b3b52cd4ab (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2011-10-26T16:22:30Z (GMT) No. of bitstreams: 1 2010_dis_fccjunior.pdf: 452250 bytes, checksum: 45b3145a14c504f1bed126b3b52cd4ab (MD5) / Made available in DSpace on 2011-10-26T16:22:30Z (GMT). No. of bitstreams: 1 2010_dis_fccjunior.pdf: 452250 bytes, checksum: 45b3145a14c504f1bed126b3b52cd4ab (MD5) Previous issue date: 2010 / We study foliations of space forms by complete hypersurfaces, under some mild conditions on its higher order mean curvatures. In particular, in Euclidean space we obtain a Bernstein-type theorem for graphs whose mean and scalar curvature do not change sign but may otherwise be nonconstant. We also establish the nonexistence of foliations of the standard sphere whose leaves are complete and have constant scalar curvature, thus extending a theorem of Barbosa, Kenmotsu and Oshikiri. For the more general case of r-minimal foliations of the Euclidean space, possibly with a singular set, we are able to invoke a theorem of Ferus to give conditions under which the nonsigular leaves are foliated by hyperplanes. / Estudamos folheações de formas espaciais por hipersuperfícies completas, sob certas condições sobre as suas curvaturas médias de ordem superior. Em particular, no espaço euclidiano obtemos um Teorema tipo-Bernstein para gráficos cujas curvaturas média e escalar não mudam de sinal (podendo ser não constantes). Nós também estabelecemos a não existência de folheações da esfera padrão cujas folhas são completas e têm curvatura escalar constante, alargando assim um teorema de Barbosa, Kenmotsu e Oshikiri. Para o caso mais geral de folheações r-mínimas do espaço euclidiano, possivelmente com um conjunto singular, somos capazes de invocar um teorema de D. Ferus para dar condições sob as quais as folhas não-singulares são folheadas por hiperplanos.

ALCANTARA, Priscila Rodrigues de; LIRA, Jorge Herbert Soares de. Hipersuperfícies com curvatura média prescrita em variedades riemannianas. 2010. 40 f. : Dissertação (mestrado)- Universidade Federal do Ceará, Pós-Graduação em Matemática, Fortaleza-CE, 2010. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2011-10-28T14:09:28Z No. of bitstreams: 1 2010_dis_pralcantara.pdf: 270562 bytes, checksum: 44a873a1a64578e2f5e5d1d10eb75dc7 (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2011-10-28T14:10:19Z (GMT) No. of bitstreams: 1 2010_dis_pralcantara.pdf: 270562 bytes, checksum: 44a873a1a64578e2f5e5d1d10eb75dc7 (MD5) / Made available in DSpace on 2011-10-28T14:10:19Z (GMT). No. of bitstreams: 1 2010_dis_pralcantara.pdf: 270562 bytes, checksum: 44a873a1a64578e2f5e5d1d10eb75dc7 (MD5) Previous issue date: 2010 / This work shows results existence and uniqueness of graphs with prescribed mean curvature. We demonstrate that a natural fixation Dirichlet problem for graphs of average curvature is required to consider those graphs like leaves on a Riemannian submersion Killing transversal cylinder, the cylinder given by flow lines of a Killing vector field. Using this approach, we are able to solve the problem in a way more comprehensive, giving a unified proof and existence results. / O objetivo deste trabalho é exibir resultados de existência e unicidade de gráficos com curvatura média prescrita. Demonstraremos que uma fixacão¸ natural do problema de Dirichlet para gráficos de curvatura média prescrita é considerar esses gráficos como folhas em uma submersão Riemanniana transversal ao cilindro de Killing, isto é, ao cilindro dado pelas linhasde fluxo de um campo de vetores de Killing. Usando essa aproximação, somos capazes de resolver o problema em um modo mais compreensivo, dando uma prova unificada e resultados de existência para uma ampla gama do ambiente de variedades Riemannianas.

MELO, Marcos Ferreira de; LIRA, Jorge Herbert Soares de. Imersões isométricas em grupos de Lie nilpotentes e solúveis. 2008. 104 f.: Tese (doutorado) - Universidade Federal do Ceará, Pós-Graduação em Matemática, Fortaleza-CE, 2008. / Submitted by Rocilda Sales (rocilda@ufc.br) on 2011-10-28T16:15:08Z No. of bitstreams: 1 2008_tese_mfmelo.pdf: 489143 bytes, checksum: fd4673dc8d3c2e38702ec1ceae541bac (MD5) / Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2011-10-28T16:16:40Z (GMT) No. of bitstreams: 1 2008_tese_mfmelo.pdf: 489143 bytes, checksum: fd4673dc8d3c2e38702ec1ceae541bac (MD5) / Made available in DSpace on 2011-10-28T16:16:40Z (GMT). No. of bitstreams: 1 2008_tese_mfmelo.pdf: 489143 bytes, checksum: fd4673dc8d3c2e38702ec1ceae541bac (MD5) Previous issue date: 2008 / In this paper, we prove theorems establishing sufficient conditions to existence for isometric immersions with prescribed extrinsic curvature in two-step nilpotent Lie groups and solvmanifolds. We obtain a generalization of the Fundamental Theorem of Submanifold Theory in Rn and, in particular, we one has immersion results in the generally Heisenberg type groups and Damek-Ricci spaces. / Neste trabalho, demonstramos teoremas estabelecendo condições suficientes para a existência de imersões isométricas com curvatura extrínseca prescrita em grupos de Lie nilpotentes e solúveis. Obtemos assim uma generalização do Teorema Fundamental da Teoria de Subvariedades em Rn e, em particular, obtemos resultados de imersão em todos os grupos tipo-Heisenberg e em todos os espaços de Damek-Ricci.