To see the other types of publications on this topic, follow the link: Axioma.
Dissertations / Theses on the topic 'Axioma'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Axioma.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Santos, Magnun César Nascimento dos. "Principais Axiomas da Matemática." Universidade Federal da Paraíba, 2014. http://tede.biblioteca.ufpb.br:8080/handle/tede/7529.
Full textAbstract:
Submitted by Viviane Lima da Cunha (viviane@biblioteca.ufpb.br) on 2015-10-19T12:44:14Z
No. of bitstreams: 1
arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5)Approved for entry into archive by Maria Suzana Diniz (msuzanad@hotmail.com) on 2015-10-19T12:44:52Z (GMT) No. of bitstreams: 1 arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5)
Made available in DSpace on 2015-10-19T12:44:52Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 685310 bytes, checksum: c2f1ca276071e748c54644c3a47977f8 (MD5) Previous issue date: 2014-08-27
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
The main objective of this work is showing the importance of systems axiomatic in mathematics. We will study some classic axioms, their equivalence and we will see some applications of them.
Este trabalho tem como objetivo fazer uma abordagem sobre a importância de sistemas axiomáticos na Matemática. Estudaremos alguns axiomas clássicos, suas equivalências e veremos algumas aplicações dos mesmos.
2
Gonzalez, Carlos Gustavo 1953. "Ordens densas, participações e o axioma da escolha." [s.n.], 1994. http://repositorio.unicamp.br/jspui/handle/REPOSIP/280567.
Full textAbstract:
Orientador : Luiz Paulo de AlcantaraTese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas
Made available in DSpace on 2018-07-19T01:03:40Z (GMT). No. of bitstreams: 1 Gonzalez_CarlosGustavo_D.pdf: 1718213 bytes, checksum: bf9cc685d8b4e892bab370b4ddb18d01 (MD5) Previous issue date: 1994
Resumo: Não informado
Abstract: Not informed.
Doutorado
Doutor em Filosofia
3
Rosa, Christian Fernandes Gomes da. "Eficiência como axioma da teoria econômica do direito." Universidade de São Paulo, 2008. http://www.teses.usp.br/teses/disponiveis/2/2139/tde-28112008-102625/.
Full textAbstract:
O presente trabalho é resultado de uma pesquisa que teve como objetivo a investigação sobre o possível desenvolvimento de uma nova teoria jurídica nos trabalhos vinculados a Law and Economics. A hipótese testada ainda inclui a concepção de que essa Teoria Econômica do Direito teria a eficiência como seu fundamento moral, atribuindo ao Direito a função de maximização da utilidade, riqueza ou bem-estar sociais. Para tanto, apresenta descrição sobre a maneira pela qual modelos e conceitos econômicos foram transformados em instrumentos metodológicos usados para descrever e fazer prescrições a respeito do conteúdo das regras jurídicas e de sua aplicação. Este estudo ainda explora os mecanismos sociais de produção e aplicação do Direito, a fim de verificar como suas características podem limitar essa função maximizadora atribuída pela Análise Econômica do Direito. Por fim, investiga-se quais recursos teóricos e retóricos tomaram utilizável pelo Direito o conceito puramente econômico da eficiência e o transformaram em um valor moral a guiar decisões jurídicas ou políticas. O consenso é, então, perquirido como o fundamento último sobre o qual se assentam a eficiência e a maximização como valores morais.This paper is a product of a research which aimed to study the potential development of a new legal theory within the paper works written by those authors usually associated with the Law and Economies School. The hypothesis tested established the existence of an Economic Legal Theory that would be morally based on efficiency concepts and that assigned to the legal rules a function related to the maximization of social utility, wealth and welfare. In order to accomplish this task, this paper presents a description of how economic models and concepts were turned into methodological instruments to describe and make prescriptions about the legal rules dispositions and their application. Further, the research explores the social structures assigned to enact legal rules and those responsible for their enforcement, in order to verify how their qualifications are able to promote within the social rules efforts the function prescribed by the Economic Analysis of Law. At last, this paper explores the theoretical and rhetoric instruments that made possible the use of the purely economic concept of efficiency into a moral value claimed as an ideal guide of political and legal decisions. The consent is, then, tested as the final basis on which efficiency and maximization as moral principles lay on.
4
Néo, Alexsandro da Silva. "Incompressibilidade de toros transversais a fluxos axioma A." Universidade Federal de Alagoas, 2009. http://repositorio.ufal.br/handle/riufal/1029.
Full textAbstract:
We prove that a torus transverse to an Axiom A vector field that does not exhibit sinks, sources or null homotopic periodic orbits on a closed irreducible 3-manifold is incompressible.Fundação de Amparo a Pesquisa do Estado de Alagoas
Provaremos que um toro transversal a um campo de vetores Axioma A que não exibe poço, fonte e órbita periódica homotópica a um ponto sobre uma variedade tridimensional, fechada, irredutível é incompressível.
5
Aguilar, Ponce Abraham Crescencio. "El axioma de elección en topología y álgebra." Bachelor's thesis, Universidad Nacional Mayor de San Marcos, 2009. https://hdl.handle.net/20.500.12672/15116.
Full textAbstract:
Enuncia, posteriormente, los axiomas que rigen la teoría de conjuntos en matemáticas: los axiomas de Zermelo - Fraenkel, los mismos que son caracterizados mediante el uso de símbolos propios de un lenguaje formal. Uno de los axiomas de esta teoría, el axioma de elección, es presentado y se establece su equivalencia con dos principios: el Lema de Zorn y el Teorema del buen orden. Posteriormente, se muestran algunas aplicaciones del axioma de elección en dos ramas de la Matemática: Topología y álgebra. En el primer caso se presenta el concepto de filtro y, mediante el uso del axioma, su extensión hacia un ultrafiltro. Finalmente, en el segundo caso, se presenta una definición de bases de Hamel y su existencia. Luego, se establece una equivalencia entre este principio y el axioma de elección.Trabajo de suficiencia profesional
6
Boardman, Alex Graminho. "Extra ecclesiam nulla salus: percurso histórico e atualidade do axioma." Pontifícia Universidade Católica do Rio Grande do Sul, 2015. http://hdl.handle.net/10923/7749.
Full textAbstract:
Made available in DSpace on 2015-12-15T01:05:46Z (GMT). No. of bitstreams: 1
000476707-Texto+Completo-0.pdf: 909920 bytes, checksum: 746050992f2ac50ccd223ebd39cf8a06 (MD5)
Previous issue date: 2015This dissertation analyzes the controversial extra ecclesiam nulla salus ecclesiological axiom. Many statements are made about the axiom that is being studied, however, one can see that some of these statements are illegitimate. By studying it, one can realize that it is an axiom which, when denied or mistakenly understood, denies the fundamental truths of the Church of Jesus Christ. At the risk of being interpreted in order to deny the fundamental truths of the Catholic faith, even inside the Church. Thus, from a historical reconstruction, through its theological reality and, finally, aiming its update by hermeneutical paths, we tried to read the axiom, through its contextualization and a faithful approach to the Scripture, Tradition and the Magisterium, what it really says and what it does not say.
A presente dissertação analisa o controverso axioma eclesiológico extra ecclesiam nulla salus. Muitas afirmações são feitas a partir do axioma estudado, porém, será possível perceber que algumas delas são ilegítimas. Ao estudá-lo, é possível perceber que se trata de um axioma que, ao ser negado ou compreendido de forma equivocada, nega verdades fundamentais da Igreja de Jesus Cristo. Correndo o risco de ser interpretado erroneamente, mesmo no interno da Igreja, de modo a também negar verdades fundamentais à fé católica. Assim, partindo de uma reconstrução histórica, passando pela sua realidade teológica e, finalmente, visando sua atualização pelos caminhos hermenêuticos, procurou-se ler no axioma, através da sua contextualização e de uma abordagem fiel às Escrituras, à Tradição e ao Magistério, aquilo que ele verdadeiramente diz e o que ele não diz.
7
Freitas, Aline Claro de [UNESP]. "Origami: o uso como instrumento alternativo no ensino da geometria." Universidade Estadual Paulista (UNESP), 2016. http://hdl.handle.net/11449/134280.
Full textAbstract:
Submitted by ALINE CLARO DE FREITAS (aline_claro@yahoo.com.br) on 2016-02-16T18:44:15Z
No. of bitstreams: 1
TCC versao final_ALine.pdf: 1602203 bytes, checksum: d62a761bc942b6ff65606a2498723090 (MD5)Approved for entry into archive by Ana Paula Grisoto (grisotoana@reitoria.unesp.br) on 2016-02-17T16:12:02Z (GMT) No. of bitstreams: 1 freitas_ac_me_prud.pdf: 1602203 bytes, checksum: d62a761bc942b6ff65606a2498723090 (MD5)
Made available in DSpace on 2016-02-17T16:12:02Z (GMT). No. of bitstreams: 1 freitas_ac_me_prud.pdf: 1602203 bytes, checksum: d62a761bc942b6ff65606a2498723090 (MD5) Previous issue date: 2016-01-29
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Frente à realidade do ensino contemporâneo que demanda a necessidade de diversificar o uso de estratégias de ensino, pretendemos propor uma abordagem, por meio de material concreto e que pode tornar-se bastante significativa no ensino da matemática. Este trabalho discute sobre a história, aplicações clássicas e utilização do origami em sala de aula. Após uma breve apresentação histórica sobre o origami, apresentamos uma abordagem axiomática deste instrumento. Dois dos três famosos problemas matemáticos gregos da antiguidade que não podem ser solucionados através da régua e compasso: trissecção do ângulo e duplicação do cubo encontram uma solução por meio das técnicas de origami. Além disso, apresentamos sugestões de roteiros de aulas e a atividade aplicada em sala de aula que obteve resultado satisfatório.
Faced with the reality of contemporary teaching that demands the need to diversify the use of teaching strategies, we intend to propose an approach through concrete material and can become quite significant in mathematics education. This monograph discusses about the history, classic applications and use origami in the classroom. After a brief historical introduction about origami, we present an axiomatic approach of this instrument. Two of the three famous Greek mathematical problems of antiquity that can’t be solved by ruler and compass: trisection angle and doubling the cube find a solution through of origami techniques. In addition, we present suggestions classes scripts and the activitie applied in the classroom that obtained satisfactory result.
8
Boardman, Alex Graminho. "Extra ecclesiam nulla salus : percurso hist?rico e atualidade do axioma." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2015. http://tede2.pucrs.br/tede2/handle/tede/6428.
Full textAbstract:
Submitted by Setor de Tratamento da Informa??o - BC/PUCRS (tede2@pucrs.br) on 2015-12-14T18:11:59Z
No. of bitstreams: 1
476707 - Texto Completo.pdf: 909920 bytes, checksum: 746050992f2ac50ccd223ebd39cf8a06 (MD5)Made available in DSpace on 2015-12-14T18:12:00Z (GMT). No. of bitstreams: 1 476707 - Texto Completo.pdf: 909920 bytes, checksum: 746050992f2ac50ccd223ebd39cf8a06 (MD5) Previous issue date: 2015-03-20
This dissertation analyzes the controversial extra ecclesiam nulla salus ecclesiological axiom. Many statements are made about the axiom that is being studied, however, one can see that some of these statements are illegitimate. By studying it, one can realize that it is an axiom which, when denied or mistakenly understood, denies the fundamental truths of the Church of Jesus Christ. At the risk of being interpreted in order to deny the fundamental truths of the Catholic faith, even inside the Church. Thus, from a historical reconstruction, through its theological reality and, finally, aiming its update by hermeneutical paths, we tried to read the axiom, through its contextualization and a faithful approach to the Scripture, Tradition and the Magisterium, what it really says and what it does not say.
A presente disserta??o analisa o controverso axioma eclesiol?gico extra ecclesiam nulla salus. Muitas afirma??es s?o feitas a partir do axioma estudado, por?m, ser? poss?vel perceber que algumas delas s?o ileg?timas. Ao estud?-lo, ? poss?vel perceber que se trata de um axioma que, ao ser negado ou compreendido de forma equivocada, nega verdades fundamentais da Igreja de Jesus Cristo. Correndo o risco de ser interpretado erroneamente, mesmo no interno da Igreja, de modo a tamb?m negar verdades fundamentais ? f? cat?lica. Assim, partindo de uma reconstru??o hist?rica, passando pela sua realidade teol?gica e, finalmente, visando sua atualiza??o pelos caminhos hermen?uticos, procurou-se ler no axioma, atrav?s da sua contextualiza??o e de uma abordagem fiel ?s Escrituras, ? Tradi??o e ao Magist?rio, aquilo que ele verdadeiramente diz e o que ele n?o diz.
9
Borges, Gabriela Lafetá. "Lévinas e o giro ontológico : axioma e utopia na ética do outro." reponame:Repositório Institucional da UnB, 2007. http://repositorio.unb.br/handle/10482/2874.
Full textAbstract:
Dissertação (mestrado)—Universidade de Brasília, Instituto de Humanidades, Departamento de Filosofia, Programa de Pós-Gradução, 2007.Submitted by Diogo Trindade Fóis (diogo_fois@hotmail.com) on 2009-12-23T11:16:25Z No. of bitstreams: 1 2007_GabrielaLafetaBorges.pdf: 509744 bytes, checksum: b0bebf37bae5010eecc28898e58df5a6 (MD5)
Approved for entry into archive by Joanita Pereira(joanita) on 2009-12-23T13:02:36Z (GMT) No. of bitstreams: 1 2007_GabrielaLafetaBorges.pdf: 509744 bytes, checksum: b0bebf37bae5010eecc28898e58df5a6 (MD5)
Made available in DSpace on 2009-12-23T13:02:36Z (GMT). No. of bitstreams: 1 2007_GabrielaLafetaBorges.pdf: 509744 bytes, checksum: b0bebf37bae5010eecc28898e58df5a6 (MD5) Previous issue date: 2007
O presente estudo pretende expor a possibilidade mesma da moralidade, entre o fascínio e o fato, às voltas com a linguagem que, inevitavelmente, a configura e a põe à prova. Nos caminhos do filósofo Franco-Lituano, Emmanuel Lévinas (1906-1995), é proposto um confronto com a ontologia como resposta última à questão do ser – seu jogo temporal de devires e consumações como obra da verdade -, trazendo à tona, em seu lugar, a integridade do rosto como linguagem original: começo e fim de uma consideração extrema e de uma responsabilidade como convocação irredutível. É desse confronto com toda uma tradição na filosofia e num período da história que constrangeu drasticamente a expansão do homem, que Lévinas nega um conceito ao ‘homem’ para lançar-se à esfera do direito pela via ética. Do arrebatamento em ser nas mãos de um sujeito que diz “Eu”, Lévinas põe a questão do meu direito em ser, evocando, assim, a intriga filosófica por excelência e a vida mesma do espírito, qual seja, o acontecimento ético que coloca o Outro à cena do mundo. _____________________________________________________________________________________________ RÉSUMÉ
L’étude présente a comme but exposer la possibilité même de la moralité, entre la fascination et le fait, dans ce qui se rapporte au langage, lequel inévitablement la configure et la juge. A partir du philosophe Franc-Lituanien, Emmanuel Lévinas (1906-1995), une confrontation s’impose entre ses idées et l’ontologie. Celle-ci comme la réponse dernière à la question de l’être – son jeu temporel de devenirs et consommations comme l’œuvre de la verité. Ainsi, il éveille, au lieu de l’ontologie, l’intégrité du visage comme langage original: commencement et fin d’une considération extrême et d’une responsabilité comme convocation irréductible. C’est à partir de cette confrontation avec toute une tradition philosophique et dans une période de l’histoire qui contraingnit terriblement l’expansion de l’homme, que Lévinas nie un concept à ‘l’homme’ pour se lancer au domaine du droit par la vie éthique. De l’exaltation en être dans les mains d’un sujet qui dit « Je », Lévinas met la question de mon droit en être, en évoquant l’intrigue philosophique par excellence et la vie même de l’esprit, c’est-à-dire, l’évènement éthique qui place l’Autre dans la scène du monde.
10
Guimarães, Miranda Maximiliano. "Repensando a interface sintaxe-fonologia a partir do axioma de correspondencia linear." [s.n.], 1998. http://repositorio.unicamp.br/jspui/handle/REPOSIP/269027.
Full textAbstract:
Orientador: Charlotte GalvesDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Estudos da Linguagem
Made available in DSpace on 2018-07-23T23:26:49Z (GMT). No. of bitstreams: 1 GuimaraesMiranda_Maximiliano_M.pdf: 11311967 bytes, checksum: 496d585bffd2aec679a254409cc559b7 (MD5) Previous issue date: 1998
Resumo: Esta dissertação trata da interface sintaxe-fonologia. O quadro teórico é definido no âmbito de duas teorias complementares: o Programa Minimalista (Chomsk.ry 1993, 1994, 1995; Kayne 1994) & a Teoria da Hierarquia Prosódica (Selkirk 1984, 1986; Nespor & Vogel 1986; Inkelas & Zec 1990). Faço aqui as seguintes propostas: (i) Ao se reinterpretar o passos de base & o passo recursivo da versão pós-kayneana do LCA como sendo dois algoritmos distintos de mapeamento do componente fonológico, é possivel capturar algumas propriedades básicas da estrutura prosódica; (ii) Os procedimentos de mapeamento da computação fonológica são aplicados na seguinte ordem: linearização, morfologia, hierarquização prosódica e regras fonológicas stricto sensu, (iii) Depois da linearização, as informações sintáticas deixam definitivamente de estar disponíveis para o componente fonológico. Toda e qualquer operação subseqüente deverá se aplicar com 1;>ase apenas nas informações codificadas nas strings geradas pelo 'LCA fatorado'; (iv) O sistema computacional permite a geração de projeções vácuas através de operações de auto-conexão - para evitar estruturas não-linearizáveis; (v) A geometria da hierarquia prosódica é organizada em camadas, de tal' modo que palavras prosódicas são imediatamente p-dominadas tanto por sintagmas fonológicos como por sintagmas entoacionais, os quais pertencem a duas subierarquias paralelas
Abstract: This dissertation deals with the syntax-phonology interface. The theoretical framework consists of two complementary theories: the Minimalist Program (Chomsky 1993, 1994, 1995; Kayne 1994) & the Theory of Prosodic Hierarchy (Selkirk 1984, 1986; Nespor & Vogel 1986; Inkelas & Zec 1990). Here I make the following claims: (i) By taking the base & the recursive steps of the bare-phrase version of Kayne's LCA to be two distinct mapping algorithms of the PF component, it is possible to account for some core properties of prosodic structure; (ii) The mapping procedures of the phonological computation . are derivationally ordered as follows: linearization, morphology, prosodic phrasing and pure phonological rules; (iii) After linearization takes place, syntactic information is not availabe for the PF component. Any further operations have to proceed solely on the basis of the information encoded in the strings generated by the 'factored LCA'; (iv) The computational system allows the generation of vacuous projections, through self-merge operations, in order to avoid unlinearizeable structures; (v) The geometry of the prosodic .hierarchy is organized in tiers, so that prosodic words are immediately p-dominated both by phonological phrases and by intonational phrases, which belong to two parallel subhierarchies
Mestrado
Mestre em Linguística
11
Sousa, Pedro SÃrgio Sales de. "A construÃÃo dos nÃmeros naturais: um foco nas quatro operaÃÃes fundamentais." Universidade Federal do CearÃ, 2014. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=13230.
Full textAbstract:
O presente trabalho tem como objetivo apresentar a construÃÃo dos nÃmeros naturais e a definiÃÃo axiomÃtica no que diz respeito Ãs quatro operaÃÃes fundamentais para alunos e professores do ensino fundamental. Para isso foi apresentado uma sequÃncia abordando inicialmente as consideraÃÃes sobre o estudo da MatemÃtica, o conceito de MatemÃtica, o saber matemÃtico e um breve histÃrico matemÃtico para se perceber como teorias e prÃticas matemÃticas foram criadas, desenvolvidas e utilizadas num contexto especÃfico de cada Ãpoca. No segundo momento foi descrita a construÃÃo dos nÃmeros naturais atravÃs dos axiomas de Peano, prosseguindo com a definiÃÃo rigorosa de cada operaÃÃo e finalizando com a relaÃÃo de ordem no conjunto dos nÃmeros naturais.This paper aims to present the construction of the natural numbers and the axiomatic definition with respect to the four fundamental operations for students and teachers of elementary school.To this was presented a sequence initially addressing on the study of mathematics, the concept of mathematics, mathematical knowledge and a mathematical brief history to see how mathematical theories and practices are designed, developed and used in a specific context of each era. The second moment was described the construction of natural numbers through the Peano axioms, continuing with the rigorous definition of each operation and ending with the order relation in the set of natural numbers.
12
Santos, César Frederico dos. "O naturalismo de Maddy e a avaliação de candidatos a axioma em teoria dos conjuntos." reponame:Repositório Institucional da UFSC, 2012. http://repositorio.ufsc.br/xmlui/handle/123456789/100796.
Full textAbstract:
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa de Pós-Graduação em Filosofia, Florianópolis, 2012Made available in DSpace on 2013-06-25T22:44:14Z (GMT). No. of bitstreams: 1 315046.pdf: 1264628 bytes, checksum: 155c36f434e14fb2fe7d037f9198c976 (MD5)
Em um certo sentido, a matemática usual pode ser reduzida à teoria dos conjuntos, isto é, os objetos matemáticos usuais podem ser definidos como conjuntos, e os teoremas que governam esses objetos podem ser provados em ZFC. Todavia, existem enunciados importantes - a hipótese do contínuo é o mais célebre deles - que são independentes de ZFC. A existência de enunciados independentes levanta a questão da necessidade e conveniência de estender ZFC pela adição de novos axiomas. Nesse contexto, é interessante dispor de critérios claros que permitam avaliar candidatos a axioma para uma extensão da teoria dos conjuntos que decidiria enunciados independentes. Maddy tem se dedicado intensamente à filosofia da teoria dos conjuntos, com destaque para a investigação de critérios para seleção de axiomas. Nesta dissertação, nosso objetivo é seguir o percurso de Maddy nessa investigação, atentando especialmente a sua defesa da autonomia da matemática com respeito à filosofia e às ciências naturais e ao correspondente papel preponderante da argumentação extrínseca nas discussões que estabeleceram os axiomas da atual teoria. Como pano de fundo filosófico, o naturalismo em matemática de Maddy é também objeto privilegiado da nossa atenção neste trabalho.
Abstract : In a certain sense, ordinary mathematics can be reduced to set theory, i.e., general mathematical objects can be defined as sets and the theorems about them can be proved from ZFC. However, there are important statements - the continuum hypothesis is the most famous among them - which are independent of ZFC. The existence of these statements raises a question about the necessity and convenience of extending ZFC, adding to it new axioms. In this context, it is interesting to have clear criteria for evaluating axiom candidates for an extension of ZFC that would decide independent statements. Maddy has focused intensely on philosophy of set theory, emphasizing the investigation of criteria for selection of set-theoretic axioms. In this dissertation, our goal is to understand and explain Maddy's investigation, with special attention to her defense of the autonomy of mathematics with respect to philosophy and natural sciences and the corresponding leading role of extrinsic arguments in the debates that established the current axioms of set theory. As philosophical background, naturalism in mathematics is also a privileged object of our attention in this work.
13
Silva, Ednardo Lino da. "AplicaÃÃo do mÃtodo de induÃÃo matemÃtica no ensino mÃdio." Universidade Federal do CearÃ, 2015. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=15482.
Full textAbstract:
O presente trabalho trata da importÃncia de se utilizar o MÃtodo de InduÃÃo MatemÃtica em demonstraÃÃes no Ensino BÃsico da MatemÃtica, pois, atualmente, percebe-se que essa tÃcnica de prova à raramente abordada nesse nÃvel de ensino. Para isso, percorremos um caminho que vai desde a importÃncia das demonstraÃÃes, seguido de uma seÃÃo na qual procuramos mostrar a diferenÃa entre induÃÃo e induÃÃo matemÃtica, passando pela definiÃÃo e explicaÃÃo desse mÃtodo. Mostramos tambÃm, as equivalÃncias entre as diversas formas do PrincÃpio da InduÃÃo e o PrincÃpio da Boa OrdenaÃÃo. ConcluÃmos com a resoluÃÃo de vÃrios
exemplos, seguidos da sugestÃo de alguns problemas que visam facilitar o entendimento e a aplicaÃÃo do MÃtodo de InduÃÃo MatemÃtica no Ensino MÃdio.This dissertation deals with the importance of using Mathematical Induction Method demonstrations in Basic Mathematics Teaching, because, currently, it is clear that this proof technique is rarely approached at that level of education. For this, we pursue a path that goes from the importance of the demonstrations, followed by a section in which we show the difference between induction and mathematical induction, including the definition and explanation of this method. We also show the equivalence between different forms of the Induction Principle and the Well Ordering Principle. We conclude with the resolution of some examples, followed by suggestions of some problems to facilitate the understanding and application of mathematics Induction Method in High School.
14
Sousa, Pedro Sérgio Sales de. "A construção dos números naturais: um foco nas quatro operações fundamentais." reponame:Repositório Institucional da UFC, 2014. http://www.repositorio.ufc.br/handle/riufc/10444.
Full textAbstract:
SOUSA, Pedro Sérgio Sales de. A construção dos números naturais: um foco nas quatro operações fundamentais. 2014. 40 f. Dissertação (Mestrado em Matemática em Rede Nacional) - Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2014.Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-01-12T16:34:08Z No. of bitstreams: 1 2014_dis_psssousa.pdf: 1314798 bytes, checksum: d58f97e2efdcfc7a1a8d07e1edb49b0b (MD5)
Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-01-15T12:57:36Z (GMT) No. of bitstreams: 1 2014_dis_psssousa.pdf: 1314798 bytes, checksum: d58f97e2efdcfc7a1a8d07e1edb49b0b (MD5)
Made available in DSpace on 2015-01-15T12:57:36Z (GMT). No. of bitstreams: 1 2014_dis_psssousa.pdf: 1314798 bytes, checksum: d58f97e2efdcfc7a1a8d07e1edb49b0b (MD5) Previous issue date: 2014
This paper aims to present the construction of the natural numbers and the axiomatic definition with respect to the four fundamental operations for students and teachers of elementary school.To this was presented a sequence initially addressing on the study of mathematics, the concept of mathematics, mathematical knowledge and a mathematical brief history to see how mathematical theories and practices are designed, developed and used in a specific context of each era. The second moment was described the construction of natural numbers through the Peano axioms, continuing with the rigorous definition of each operation and ending with the order relation in the set of natural numbers.
O presente trabalho tem como objetivo apresentar a construção dos números naturais e a definição axiomática no que diz respeito às quatro operações fundamentais para alunos e professores do ensino fundamental. Para isso foi apresentado uma sequência abordando inicialmente as considerações sobre o estudo da Matemática, o conceito de Matemática, o saber matemático e um breve histórico matemático para se perceber como teorias e práticas matemáticas foram criadas, desenvolvidas e utilizadas num contexto específico de cada época. No segundo momento foi descrita a construção dos números naturais através dos axiomas de Peano, prosseguindo com a definição rigorosa de cada operação e finalizando com a relação de ordem no conjunto dos números naturais.
15
Quiroga, Jury Fabiana Castiblanco. "Topologias de grupo enumeravelmente compactas: MA, forcing e ultrafiltros seletivos." Universidade de São Paulo, 2011. http://www.teses.usp.br/teses/disponiveis/45/45131/tde-07092012-163026/.
Full textAbstract:
É bem conhecido o fato de que todo grupo compacto tem sequências não triviais convergentes. A existência de grupos enumeravelmente compactos sem sequências não triviais convergentes, foi provada usando axiomas adicionais à axiomática usual ZFC: A. Hajnal e I. Juhász sob CH, E. K. van Douwen sob MA, A. H. Tomita sob MA(sigma-centrada) e R.E. Madariaga-Garcia e A. H. Tomita usando ultrafiltros seletivos. Neste trabalho, estudaremos algumas construções recentes relacionadas com as citadas acima, usando o Axioma de Martin, ultrafiltros seletivos e forcing. Essas construções estão relacionadas com algumas questões indicadas por A.D. Wallace, E. van Douwen, M. Tkachenko, D. Dikranjan e D. ShakhmatovIt is well known that every compact group has non-trivial convergent sequences. The existence of countably compact groups without non-trivial convergent sequences was proved using extra set-theoretical assumptions: A. Hajnal and I. Juhasz under CH, E. K. van Douwen under MA, A.H.Tomita under MA(centered) and R.E.Madariaga-Garcia and A.H. Tomita using a selective ultrafilter. I n this work, we study some recent constructions related to the ones given above using Martin Axiom, selective ultrafilters and forcing, related to questions raised by A.D. Wallace, E. van Douwen, M. Tkacenko, D. Dikranjan and D. Shakhmatov.
16
Santos, Marcelo Chapper dos. "Utilizando as finanças comportamentais para promover o desenvolvimento economico: a criação e aplicação de um novo axioma comportamental." Pontifícia Universidade Católica do Rio Grande do Sul, 2006. http://hdl.handle.net/10923/2575.
Full textAbstract:
Made available in DSpace on 2013-08-07T18:48:56Z (GMT). No. of bitstreams: 1
000382430-Texto+Completo-0.pdf: 429568 bytes, checksum: 9207179abfeb4b8d7b295438e9a5fccc (MD5)
Previous issue date: 2006Psychological studies made to scan the investors behavioral conclude that the rationality isn’t the only component of the human thought. The considerations of aspects relative to the psychology of the investitures, focus of the behavioral finance, seeks to improve the modern finance theory by building analyses models that are more precise and universal. This work sleeked to contribute with this paradigm proposing and testing a new behavioral axiom of tangibilization that showed great applicability and intuitive appeal. Hopping to identify signs that this promising new axiom a laboratorial research – studies using people in real situations that characterize economic phenomena – where the response of the agents to two different approaches to sell a financial product: one taking in considering he new axiom and in other not. The results found exceeded the initial expectations by achieving not only an increase of interest but also a great deal of new investments to the new application. Thus, the new behavioral axiom proposed can be observed in the Brazilian marketing being capable to help build creating the microeconomic conditions that create the economic development.
Estudos psicológicos realizados com o intuito de mapear o comportamento dos investidores, concluíram que a racionalidade não é a diretriz unívoca do pensamento humano. A consideração de aspectos relacionados à psicologia dos investidores, foco das finanças comportamentais, busca aperfeiçoar a teoria moderna de finanças através da construção de modelos de análise financeira mais precisos e universais. Este trabalho procurou contribuir com esse paradigma ao propor e testar o novo axioma comportamental da tangibilização que mostrou grande aplicabilidade prática e apelo intuitivo. Para tanto, realizou-se pesquisa laboratorial - teste com pessoas em situações reais que caracterizam fenômenos econômicos – onde foi comparada a resposta dos agentes a duas abordagens de venda de um produto financeiro: uma levando em conta o novo axioma e outra não. Os resultados encontrados superaram as expectativas iniciais ao conseguir mostrar não apenas um aumento de interesse, mas também significativa migração real de valores das aplicações do saldo dos clientes da poupança para a nova aplicação oferecida. Assim, o novo axioma comportamental proposto foi observado no mercado financeiro brasileiro e deu indícios que poderá contribuir para a criação de condições microeconômicas que gerem desenvolvimento econômico sistêmico.
17
Lara, Dione Andrade. "Ordens parciais e aplicações." Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/55/55135/tde-21092012-143831/.
Full textAbstract:
Este trabalho é dividido em duas partes: Na primeira, apresentaremos três axiomas extras a ZFC referentes a ordens parciais, sendo eles: o Axioma de Martin (MA), o princípio diamante (\\diamond}) e a hipótese de Suslin (SH). Na segunda parte daremos algumas aplicações desses axiomas em teoria de conjuntos e em topologia geral. Começaremos falando sobre famílias dominantes e ilimitadas e observando que certas relações entre tais conceitos se diferem ao assumirmos apenas ZFC ou MA. Provaremos a independência da hipótese de Suslin, usando a independência de MA e de \\diamond. Apresentaremos três jogos topológicos: sendo eles o jogo de Choquet, o jogo de Rothberger e o jogo de Menger. O ganho na linguagem de jogos é deixar algo complicado com uma formulação mais simples. Analisaremos o produto de espaços que satisfazer a c.c.c. (countable chain condition) novamente sob a luz de ZFC ou MA. Construiremos um espaço compacto e Hausdor onde o conjunto dos naturais é denso e além disso, para toda função contínua com domínio N à valores num compacto, tal função admite uma extensão contínua para esse espaço. Finalmente, veremos quais condições um espaço precisa satisfazer para ser de Blumberg e uma tentativa de caracterizar tais espaços via jogos topológicosThis work is divided in two parts: At rst, we introduce three extra axioms to ZFC related to partial orders, namely: the Martin Axiom (MA), the Diamond Principle (\\diamond}) and the Suslin hypothesis (SH). In the second part we give some applications of these axioms in set theory and general topology. We start talking about dominant and unbounded families and that certain relations between these concepts dier if we assume only ZFC or MA. We prove the independence of Suslin hypothesis using the independece of MA and \\diamond. We present three topological games, the Choquet game, the Rothberger game and the Menger game. The gain in the games language is to say something dicult with a simpler formulation. We analyze the product of spaces c.c.c. (countable chain condition) under ZFC or MA. We construct a compact Hausdor space where the natural numbers are dense and, moreover, for any continuous function with domain N to a compact space, such a function admits a continuous extension. Finally, we will see what conditions a space has to satisfy to be Blumberg and, an attempt to characterize spaces via topological games
18
Santos, Marcelo Chapper dos. "Utilizando as finan?as comportamentais para promover o desenvolvimento economico : a cria??o e aplica??o de um novo axioma comportamental." Pontif?cia Universidade Cat?lica do Rio Grande do Sul, 2006. http://tede2.pucrs.br/tede2/handle/tede/3848.
Full textAbstract:
Made available in DSpace on 2015-04-14T14:26:43Z (GMT). No. of bitstreams: 1
382430.pdf: 429568 bytes, checksum: 9207179abfeb4b8d7b295438e9a5fccc (MD5)
Previous issue date: 2006-04-28Estudos psicol?gicos realizados com o intuito de mapear o comportamento dos investidores, conclu?ram que a racionalidade n?o ? a diretriz un?voca do pensamento humano. A considera??o de aspectos relacionados ? psicologia dos investidores, foco das finan?as comportamentais, busca aperfei?oar a teoria moderna de finan?as atrav?s da constru??o de modelos de an?lise financeira mais precisos e universais. Este trabalho procurou contribuir com esse paradigma ao propor e testar o novo axioma comportamental da tangibiliza??o que mostrou grande aplicabilidade pr?tica e apelo intuitivo. Para tanto, realizou-se pesquisa laboratorial - teste com pessoas em situa??es reais que caracterizam fen?menos econ?micos onde foi comparada a resposta dos agentes a duas abordagens de venda de um produto financeiro: uma levando em conta o novo axioma e outra n?o. Os resultados encontrados superaram as expectativas iniciais ao conseguir mostrar n?o apenas um aumento de interesse, mas tamb?m significativa migra??o real de valores das aplica??es do saldo dos clientes da poupan?a para a nova aplica??o oferecida. Assim, o novo axioma comportamental proposto foi observado no mercado financeiro brasileiro e deu ind?cios que poder? contribuir para a cria??o de condi??es microecon?micas que gerem desenvolvimento econ?mico sist?mico.
19
Aguiar, Francisco Fagner Portela. "Um background na teoria dos conjuntos." reponame:Repositório Institucional da UFC, 2015. http://www.repositorio.ufc.br/handle/riufc/13985.
Full textAbstract:
AGUIAR, Francisco Fagner Portela. Um background na teoria dos conjuntos. 2015. 50 f. Dissertação (Mestrado em Matemática em Rede Nacional) – Centro de Ciências, Universidade Federal do Ceará, Fortaleza, 2015.Submitted by Erivan Almeida (eneiro@bol.com.br) on 2015-11-13T15:41:09Z No. of bitstreams: 1 2015_dis_ffpaguiar.pdf: 1566390 bytes, checksum: 114ad96172cfa622234e88e05d73ffff (MD5)
Approved for entry into archive by Rocilda Sales(rocilda@ufc.br) on 2015-11-18T13:38:59Z (GMT) No. of bitstreams: 1 2015_dis_ffpaguiar.pdf: 1566390 bytes, checksum: 114ad96172cfa622234e88e05d73ffff (MD5)
Made available in DSpace on 2015-11-18T13:38:59Z (GMT). No. of bitstreams: 1 2015_dis_ffpaguiar.pdf: 1566390 bytes, checksum: 114ad96172cfa622234e88e05d73ffff (MD5) Previous issue date: 2015
The set theory sometimes left out in some high schools, is in a key element for understanding the functions in particular. Failure to address this issue or its superficial approach leaves the student a difficult gap to be filled in later studies. Incidentally, the left gap may hinder student performance in higher education. If this is so, is the main objective of this work to a reinterpretation of the main topics linked to the high school set theory, while making a bridge between these and other equally important points dealing with sets in a more academic language. Will be covered from the properties and theorems related to finite sets up its generalization to infinite sets, culminating in the Cantor-Schroeder-Bernstein theorem, the Axiom of Choice and Zorn’s Lemma. To this end, there were literature searches in various sources.
A teoria de conjuntos por vezes deixada de lado em algumas escolas de ensino médio, constitui-se em um elemento primordial para o entendimento das funções, em especial. A não abordagem, ou a sua abordagem superficial, deixa no estudante uma lacuna difícil de ser suprida em estudos posteriores. Aliás, a lacuna deixada pode dificultar o desempenho do estudante no ensino superior. Diante desta constatação, é objetivo principal desta dissertação fazer uma leitura dos principais tópicos ligados à Teoria de Conjuntos do ensino médio, ao mesmo tempo em que faz uma ponte entre estes e outros pontos não menos importantes, tratando conjuntos em uma linguagem mais acadêmica. Serão abordados desde as propriedades e teoremas relacionados a conjuntos finitos, até a sua generalização para conjuntos infinitos, culminando com o teorema de Cantor-Schroeder-Bernstein, o Axioma da Escolha, e o Lema de Zorn. Para tantos, realizaram-se pesquisas bibliográficas em fontes variadas.
20
Barreto, Carlos Alberto. "A geometria do origami como ferramenta para o ensino da geometria euclidiana na educação básica." Mestrado Profissional em Matemática, 2013. https://ri.ufs.br/handle/riufs/6503.
Full textAbstract:
The purpose of this monograph is to study the geometry of origami and its applications in Euclidean Geometry as a tool that contributes to the teaching of Geometry in Basic Education. Provide a brief history of origami and its arrival in Brazil and as a result we present the axioms that define the simple movements that can be performed using points and straight lines in a plane. We also study
the classic problems of doubling the cube and the trisection of the angle, showing that they are possible to be solved through the Geometry of Origami. We show then the Origami applications for studies of flat Euclidean space, emphasizing the study of Plato polyhedra. We finished the job by showing how we developed the Origami Project - Mathematics and Art in the State College John XXIII .O objetivo desta monografia é fazer o estudo da Geometria do Origami e de suas aplicações na Geometria Euclidiana como instrumento que contribua para o ensino da Geometria na Educação Básica. Fornecemos um pequeno histórico do Origami e de sua chegada ao Brasil e na sequência apresentamos os axiomas que definem os movimentos simples que podem ser realizados utilizando pontos e retas num plano. Estudamos também os problemas clássicos da duplicação do cubo e da trissecção do ângulo, mostrando que são possíveis de ser resolvidos por meio da Geometria do Origami. Mostramos, então, aplicações do Origami para estudos de Geometria Euclidiana plana e espacial, dando ênfase ao estudo dos poliedros de Platão. Encerramos o trabalho, mostrando como foi desenvolvido o Projeto Origami - Matemática e Arte no Colégio Estadual João XXIII .
21
Cadamuro, Davide. "Cosmological limits on axions and axion-like particles." Diss., lmu, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:19-149191.
Full text
22
Toniolo, Luciano Santos. "Cônicas em modelos físicos." Universidade de São Paulo, 2018. http://www.teses.usp.br/teses/disponiveis/55/55136/tde-24102018-151118/.
Full textAbstract:
Este trabalho é um estudo realizado em torno das principais curvas cônicas estudadas por alunos do ensino básico: parábola, elipse e hipérbole. A ideia central do trabalho é a autosuficiência, pois apresentamos todas as ferramentas matemáticas necessárias para o entedimento desses entes e suas aplicações, desde os axiomas iniciais da geometria plana até as definições formais das cônicas e demonstrações de suas propriedades. Espera-se que uma pessoa não especializada em matemática, ao ler o trabalho, entenda toda a matemática no entorno das aplicações dessas cônicas.This work is a study carried out around the main conic curves studied by elementary school students: parabola, ellipse and hyperbola. The main idea of this work is to be self-contained, starting from the basic axioms from the geometry and after we present formal definitions, properties and applications of conics in the everyday life. It is expected that a person that is not a specialist in mathematics, are able to read and understand all the mathematics in the surroundings of the applications of these conics.
23
Cabral, Maria Odete Sanches Lopes. "Contribuição para o estudo da cultura: análise, adaptação e validação para Portugal de uma escala de axiomas sociais." Master's thesis, Instituto Superior de Ciências Sociais e Políticas, 2016. http://hdl.handle.net/10400.5/12767.
Full textAbstract:
Dissertação de Mestrado em Políticas de Desenvolvimento de Recursos HumanosA teoria do axioma social é uma teoria da aprendizagem social. Ela sustenta que as pessoas observam ativamente o seu universo espiritual, material, interpessoal e social avaliando as suas oportunidades e limitações e avaliam as suas contingências de fortalecimento (Bond & Leung, 2004; Leung et al, 2002). Através de um processo de contínua observação, avaliação e interpretação, as pessoas aprendem crenças generalizadas sobre o mundo social e os resultados comportamentais na mesma. Eles expressam esses axiomas sociais conscientes e inconscientemente no seu comportamento (Bond & Leung, 2009). Objetivo: Verificar a validade da aplicação do Social Axioms Survey, que na versão portuguesa, adotará o nome de Questionário de Axiomas Sociais, como ferramenta de avaliação de crenças gerais em Portugal. Ainda, o segundo objetivo foi verificar a sua adequação ao modelo teórico proposto por Leung, Bond et al.(2002) através de análises fatoriais exploratória (AFE) e confirmatória (AFC). Esta última através de modelação das equações estruturais. Metodologia / opções metodológicas: A amostra deste estudo foi composta por 696 indivíduos de ambos os sexos e de várias regiões do país. Os resultados da AFC demonstraram que o modelo original do questionário proposto por Leung, Bond, et al. (2002) é inadequado para esta amostragem. Através da Análise Factorial, identificou-se dois possíveis modelos, um com quatro factores e outro com seis factores. Resultados: Do resultado final, conclui-se que a melhor solução para a validação fatorial do instrumento é composta por quatro fatores. Esta solução revelou valores de consistência interna geral de α =.845. Os valores dos indicadores de ajustamento do modelo português de quatro fatores da AFC, foram: χ² = 156,23 e df= 40; χ2/df=3,4; CFI= 0,94; RMSEA 0,65, GFI=0,93; IFI=0,97; Model AIC=208,23, os quais expressam a sua qualidade. Conclui-se que a proposta de modelo Leung, Bond et al., (2002;2012), não pode ser confirmada através da AFC nesta amostragem. E que a melhor solução fatorial para o Questionário de Axiomas Sociais da versão portuguesa é composta por quatro constructos: Cinismo Social; Complexidade Social; Controlo do Destino e; Religiosidade. Implicações práticas: O Axioma Social, procura integrar à gestão de pessoas uma visão subjetiva da realidade humana aliada ao seu contexto social. O presente estudo, apresenta contributos importantes, para uma melhor adequação das práticas, estratégias e procedimentos de gestão de RH em relação à condução de processos de integração dos trabalhadores, no contexto organizacional cada vez mais multicultural.
The theory of the social axiom is a theory of social learning. It argues that people actively observe their spiritual, material, interpersonal, and social universe by assessing their opportunities and limitations and assessing their contingencies of empowerment (Bond & Leung, 2004; Leung et al., 2002). Through a process of continuous observation, evaluation, and interpretation, people learn widespread beliefs about the social world and behavioral outcomes in it. They express these social axioms consciously and unconsciously in their behavior (Bond & Leung, 2009). Objective: Verify the validity of the application of the Social Axioms Survey, which in the Portuguese version, will adopt the Social Axiom Questionnaire, as a tool for assessing general beliefs in Portugal. The second objective was to verify its adequacy to the theoretical model proposed by Leung, Bond et al. (2002) through exploratory factorial (AFE) and confirmatory (AFC) analyzes. The latter through the Structural Equation Modeling (SEM). Methodology / Methodological Options: The sample of this study was composed by 696 individuals of both genders and of several regions of the country. The AFC results demonstrated that the original survey model proposed by Leung, Bond, et al. (2002) is inadequate for this sampling. Through Factorial Analyses, two possible models were identified, one with four factors and the other with six factors. Results: From the final result, we conclude that the best solution for the factorial validation of the instrument is composed of four factors. This solution revealed values of general internal consistency of α = .845. The exploratory factorial analysis of the Portuguese model, with four factors, indicated the following values of the adjustment indicators: χ² = 156.23 and df = 40; χ² / df = 3.4; CFI = 0.94; RMSEA 0.65, GFI = 0.93; IFI = 0.97; Model AIC = 208. 23, which express their quality. It can be concluded that the model proposed by Leung, Bond et al., (2002, 2012), cannot be confirmed through the AFC in this sample. And that the best factorial solution for the Social Axiom Questionnaire of the Portuguese version is composed of four constructs: Social Cynism; Social Complexity; Fate Control and; Religiosity. Practical implications: The Social Axiom seeks to integrate to the management of people a subjective view of the human reality allied to its social context. This study presents important contributions to a better adaptation of HR management practices, strategies and procedures in relation to the process of integration of workers in the increasingly multicultural organizational context.
N/A
24
Silva, Harlen Wenderson Garcia. "Invariantes Cardinais Definidos A Partir dos Ideais Clássicos da Reta, Com Aplicações." Instituto de Matemática. Departamento de Matemática, 2015. http://repositorio.ufba.br/ri/handle/ri/19476.
Full textAbstract:
Submitted by Marcos Samuel (msamjunior@gmail.com) on 2016-06-08T15:41:51Z
No. of bitstreams: 1
dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5)Submitted by Marcos Samuel (msamjunior@gmail.com) on 2016-06-08T15:41:51Z No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5)
Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-13T17:33:58Z (GMT) No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5)
Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-06-13T17:33:58Z (GMT) No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5)
Made available in DSpace on 2016-06-13T17:33:58Z (GMT). No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5)
Made available in DSpace on 2016-06-13T17:33:58Z (GMT). No. of bitstreams: 1 dissrt_harlen.pdf: 1041797 bytes, checksum: c403d44126cebe3bcb06d2a31a5eb702 (MD5)
Dado qualquer ideal fechado para uniões enumeráveis, podem ser definidos os invariantes cardinais não-enumeráveis aditividade (add), número de cobertura (cov), uniformidade (non) e cofinalidade (cof). Neste trabalho, investigamos os cardinais do diagrama de Cichon - que são invariantes cardinais como os acima descritos, obtidos quando consideramos os ideais clássicos M e L (respectivamente, o ideal dos subconjuntos magros da reta e o ideal dos subconjuntos Lebesgue nulos da reta). Apresentamos demonstrações para várias desigualdades entre esses cardinais, usando argumentos conjuntísticos e/ou topológicos ou via morfismos na categoria Dial2(Sets)op (por exemplo, cov(M) é menor ou igual a non(L), add(M) = min{b,cov(M)}, bem como as desigualdades duais). Aplicações desses cardinais em Topologia e Análise também são investigadas, apresentando demonstrações. Por exemplo, espaços de Lindelöf de tamanho menor do que cov(M) (ou, mais geralmente, que podem ser escritos como união de menos do que cov(M) subespaços compactos) são D-espaços. Vários resultados envolvendo cardinais do diagrama de Cichon e variações seletivas de separabilidade são apresentados; algumas demonstrações utilizam argumentos baseados em jogos topológicos e conjuntísticos.
25
JÃnior, Gustavo Oliveira Lima. "NÃmeros inteiros, congruÃncias e somas de quadrados." Universidade Federal do CearÃ, 2013. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=10659.
Full textAbstract:
CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel SuperiorO presente trabalho propÃe uma forma de apresentaÃÃo aos alunos do ensino bÃsico alguns conceitos associados ao conjunto dos nÃmeros inteiros tais como, divisibilidade, MDC,MMC, congruÃncias e somas de quadrados de uma maneira mais pragmÃtica e menos abstrata. Apresentando-os atravÃs de formas visuais ou de problemas contextualizados com nossa realidade fÃsica mais imediata, favorecendo o melhor entendimento dos axiomas, operaÃÃes e propriedades por aqueles alunos como tambÃm novos mÃtodos de conduta para os professores a fim de que suas tarefas nos processos ensino-aprendizagem se tornem mais fÃceis.
This paper proposes a way of presenting to primary pupils some concepts associated with the set of integers such as divisibility, GCD, LCM, congruences and sums of squa-res in a more pragmatic and less abstract way. Presenting them through visual forms or contextualized problems with our physical reality more immediate, favoring a better understanding of the axioms, operations and properties for those students as well as new methods of conduct for teachers so that their work processes teaching become easier.
26
Hindlycke, Christoffer. "The relative consistency of the Axiom of Choice and the Generalized Continuum Hypothesis with the Zermelo-Fraenkel axioms: The constructible sets L." Thesis, Uppsala universitet, Algebra och geometri, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-329024.
Full text
27
Cadamuro, Davide [Verfasser], and Georg [Akademischer Betreuer] Raffelt. "Cosmological limits on axions and axion-like particles / Davide Cadamuro. Betreuer: Georg Raffelt." München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012. http://d-nb.info/1027669298/34.
Full text
28
Oliveira, Wesley Sidney Santos. "A construção ortodoxa dos números : dos números naturais aos complexos." Universidade Federal de Sergipe, 2017. https://ri.ufs.br/handle/riufs/6522.
Full textAbstract:
In this work, we investigated the construction of natural, integer, rational, real, complex, quaternion
and Octonion numbers. More precisely, the set of real numbers was achieved by applying
two methods: Dedekind Cuts and Equivalence Classes of Cauchy Sequences. Our study is only
based on using Peano Axioms, which are directly related to the natural numbers, in order to get
the basic properties satis ed by these numbers. In addition, we carefully proved the elementary
results involving real numbers. This process in question was developed constructively throughout
of the concepts of the integer and rational numbers. Next, we show that it is possible to establish
the existence of complex numbers along with their more usual arithmetic properties. Finally, we
nish each chapter of our work showing some possible applications in each set worked.No presente trabalhos, investigamos, cuidadosamente, a construção do números Naturais, inteiros, Racionais, Reais e Complexos. Sendo que, o conjunto dos números reais foi obtido através dos conhecidos métodos: Cortes de Dedekind e Classes de Equivalência por sequência de Cauchy. O estudo consistiu em utilizar os famosos Axiomas de Peano, ps quais estão relacionados aos números naturais, em ordem a obter as em conhecidas propriedades elementares, satisfeitas para todos esses números. E, a partir deste conhecimento, encontramos rigorosamente as provas dos resultados básicos envolvendo os números reais. Este processo em questão, foi desenvolvida de maneira construtiva através dos números inteiros e racionais. Em seguida, mostramos que é possível estabelecer a existência de números complexos, juntamente com suas propriedades aritméticas mais usuais. Por fim, terminamos cada capítulo do nosso trabalho, mostrando algumas possíveis aplicações em cada conjunto trabalhado.
29
Moro, Ana Cecilia Del. "Geometria das dobraduras e aplicações no Ensino Médio." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/55/55136/tde-03102017-172103/.
Full textAbstract:
Este trabalho tem como foco a dobradura em sala de aula, auxiliando o professor em sua prática docente. Com dobras simples de serem realizadas a dobradura pode auxiliar o aluno a desenvolver a concentração, estimular a criatividade, concretizar uma ideia ou pensamento no momento em que surge a foma no papel e, consequentemente, o aluno interioriza o aprendizado desejado. Os tópicos estudados versam sobre a construção dos principais polígonos regulares e de um sólido espacial, o tetraedro. São também estudadas algumas aplicações aritméticas, como divisão de segmentos e raízes quadradas e cúbicas.This work aims to study the activity of paper folding in the classroom as an auxiliary resource for the teacher. The folders are quite simple and will improve the students skills on concentration, creativity, and the ability to realize on paper his/her thoughts and ideas. The covered topics range from the construction of the main regular poligons, a spatial solid (tetrahedron), through some arithmetic applications, like division of a segment and square and cubic roots.
30
Ruy, Adriana Cristiane [UNESP]. "Homologia singular." Universidade Estadual Paulista (UNESP), 2011. http://hdl.handle.net/11449/94343.
Full textAbstract:
Made available in DSpace on 2014-06-11T19:27:09Z (GMT). No. of bitstreams: 0
Previous issue date: 2011-10-08Bitstream added on 2014-06-13T20:47:46Z : No. of bitstreams: 1
ruy_ac_me_rcla.pdf: 1015949 bytes, checksum: 61d6b1a36c30772dee7e55eba23514a7 (MD5)A Topologia Algébrica descreve a estrutura geométrica de um espaço topológico, associando a ele um sistema algébrico, geralmente um grupo ou uma sequência de grupos. À funções contínuas entre espaços topológicos correspondem homomorfismos entre grupos associados a estes espaços. Nesta dissertação, mostraremos que a homologia singular com coeficientes em Z, constituem uma teoria de homologia, baseados nos axiomas de Samuel Eilenberg e Norman Steenrod. Apresentaremos, também, resultados clássicos como a não existência de um homeomorfismo entre Rm e Rn, para m diferente de n, o teorema do ponto fixo de Brouwer e a não existência de campo vetorial não-nulo nas esferas de dimensão par
The Algebraic Topology describes the geometrical structure of a topological space by associating an algebraic system, usually a group or a sequence of groups. To continuous functions between topological spaces correspond homomorphisms between groups associated to these spaces. In this work we will show that Singular Homology with Z-coe cients constitutes a homology theory, based on the Eilenberg-Steenrod Axioms. We also present some classical results as the nonexistence of a homeomorphism between Rm and Rn, if m ≠ n, the Brouwer's xed point theorem and the nonexistence of a non-zero vector eld in even dimension spheres
31
Moller, Faron. "Axioms for concurrency." Thesis, University of Edinburgh, 1989. http://hdl.handle.net/1842/11182.
Full text
32
Freiberg, Iara. "Atravessamentos - axiomas improváveis." Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/27/27159/tde-27092017-100229/.
Full textAbstract:
Este trabalho se propõe como formulação de um glossário pessoal, a partir de uma coleção de elementos diversos agenciados como pensamento sobre minha forma de produzir. Imagens de muitas naturezas (trabalhos próprios, obras de outros artistas, fotografias, gráficos, esquemas, etc.) e textos de diversas origens (escritos de artistas, artigos teóricos, relatos literários, descrições técnicas e textos próprios) são aqui articulados de forma subjetiva, estabelecendo conexões e relações que visam mapear e mostrar o processo por meio do qual crio minhas intervenções. São escolhas baseadas em interesses pessoais, em afinidades com o conteúdo de cada uma das obras originais, mas também em relações movidas por afetos diretamente ligados a meu trabalho. Entendo este glossário como rede, nuvem, dispositivo, agenciamento dos elementos da coleção - um trabalho em processo, aberto, inacabado e inacabável, em permanente modificação e crescimento, que encontra nesta versão uma configuração provisória. Não busco, então, impor um discurso preciso nem uma narrativa específica, linear e cronológica. Nem procuro fazer análises teóricas ou propor definições, mas sim possibilitar e provocar encontros. Pretendo, enfim, convidar o leitor a diversas possíveis navegações e sobrevoos.This work is proposed as the formulation of a personal glossary from a collection of diverse elements articulated as a reverberation of my way of producing. Images of many natures (my own works, works of other artists, photographs, diagrams, schemes, etc.) and texts of diverse origins (artists\' writings, theoretical articles, literary stories, technical descriptions and my own texts) are here articulated subjectively, establishing connections and relationships that aim to map and present the process through which I create my interventions. They are choices based on personal interests, on affinities with the content of each of the original works, but also related to affections directly linked to my work. I understand this glossary as a net, a cloud, a device, assemby of elements from the collection - a work in progress, open, unfinished and unfinishable, constantly changing and growing, which finds in this version a provisional configuration. Thus, I do not pursue to impose a precise discourse or a specific narrative, linear and chronological. Neither do I intend to make theoretical analyses, nor to propose definitions, but to enable and provoke encounters. Ultimately, I wish to invite the reader to various possible navigations and over flights.
33
Baird, Douglas. "Axiomas concursales aceptados." THĒMIS-Revista de Derecho, 2015. http://repositorio.pucp.edu.pe/index/handle/123456789/109112.
Full textAbstract:
Los académicos concursa/es se diferencian entre síprincipalmente por los distintos axiomas de los que parten, los mismos que consideran incuestionables. Para Douglas Baird, sin embargo, es un error asumir que los axiomas son incuestionables.En este artículo el autor aborda los dos conjuntos distintos de axiomas que se plantean en la actualidad entre los académicos concursa/es, examina cada uno de ellos y sugiere por qué la gente es atraída por unou otro.
34
Freitas, Brasilio Alves. "Introdução à geometria euclidiana axiomática com o geogebra." Universidade Federal de Juiz de Fora, 2013. https://repositorio.ufjf.br/jspui/handle/ufjf/1188.
Full textAbstract:
Submitted by Renata Lopes (renatasil82@gmail.com) on 2016-04-01T17:10:12Z
No. of bitstreams: 1
brasilioalvesfreitas.pdf: 747431 bytes, checksum: 36ffb6103af8abbc9cfff08d7d2cd820 (MD5)Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2016-04-24T03:47:21Z (GMT) No. of bitstreams: 1 brasilioalvesfreitas.pdf: 747431 bytes, checksum: 36ffb6103af8abbc9cfff08d7d2cd820 (MD5)
Made available in DSpace on 2016-04-24T03:47:21Z (GMT). No. of bitstreams: 1 brasilioalvesfreitas.pdf: 747431 bytes, checksum: 36ffb6103af8abbc9cfff08d7d2cd820 (MD5) Previous issue date: 2013-03-25
CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Por conhecer a grande dificuldade dos alunos de Ensino Médio, da rede pública Estadual de Minas Gerais, em relação aos conceitos, demostrações e deduções básicas da Geometria Euclidiana plana, foi elaborado um pequeno roteiro de estudo dos axiomas que regem esses conteúdos e também uma introdução às construções geométricas básicas, utilizando os instrumentos euclidianos e o software gratuito GeoGebra. O desenvolvimento do trabalho trouxe como objetivo dotar os alunos do Ensino Fundamental, cursando oitavo ano (antiga sétima série), de uma compreensão gradual e intuitiva da geometria euclidiana plana, buscando, de forma fundamentada fixar os aspectos conceituais básicos que são extremamente necessários para estudos mais aprofundados em cursos posteriores. As atividades propostas no capítulo 4 foram criadas com o intuito de que o aluno, percorrendo os conceitos mostrados no capítulo 2, tenha oportunidade de abstrair-se literalmente e ou com recursos algébricos em um processo de demonstração das propriedades de diversas figuras geométricas.
Knowing the great hardship high school students of Minas Gerais public school system have concerning the basic concepts, demonstrations and deductions of the Euclidean Geometry, a small study guide of the axioms that rule these contents was made, and also an introduction to the basic geometry constructions using the Euclidean instruments and the free software GeoGebra. The work’s development brought as a goal to endow the middle school students, attending the eight year (the old seventh grade), a gradual and intuitive understanding of the Euclidian Geometry, trying to fix the basic conceptual aspects that are deeply necessary for further studies. The proposed activities on chapter four intend to give the student, going trough the concepts shown on chapter two, the opportunity to abstract on a descriptive way and/or use algebraic resources in a process of demonstration of many geometrical forms.
35
Barret, Martine. "Etats, idéaux et axiomes de choix." Thesis, La Réunion, 2017. http://www.theses.fr/2017LARE0025/document.
Full textAbstract:
On travaille dans ZF, théorie des ensembles sans Axiome du Choix. En considérant des formes plus faibles de l'Axiome du choix, comme l'axiome de Hahn-Banach HB : "Toute forme linéaire sur un sous-espace vectoriel d'un espace vectoriel E, majorée par une forme sous-linéaire p se prolonge en une forme linéaire sur E majorée par p'', ou encore l'axiome de Tychonov T2 : "Un produit de compacts séparés est compact'', on étudie l'existence d'états dans les groupes ordonnés avec unité d'ordre. On poursuit l'étude en établissant des liens entre idéaux à gauche et états sur les C*-algèbresWe work in ZF, set theory without Axiom of Choice. Using weak forms of Axiom of Choice, for example Hahn-Banach axiom HB : "Every linear form on a vector subspaceof a vector space E, increased by a sublinear form p can be extended to a linear form on E increased by p", or Tychonov axiom T2 : "Every product of compact Haussdorf is compact, we study the existence of states on ordered groups with order unit. We continue giving links between left ideals and states on C*-algebras
36
Pacifico, Douglas Sozzi. "Proposta de metodologia baseada em projeto axiomático para tomada de decisões em projeto de dispositivos." [s.n.], 2010. http://repositorio.unicamp.br/jspui/handle/REPOSIP/265315.
Full textAbstract:
Orientador: João Maurício RosárioDissertação (mestrado profissional) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecânica
Made available in DSpace on 2018-08-17T09:31:47Z (GMT). No. of bitstreams: 1 Pacifico_DouglasSozzi_M.pdf: 4000960 bytes, checksum: 072558107a877761c6e2de97a3ee0100 (MD5) Previous issue date: 2010
Resumo: Os projetos de engenharia são até hoje amplamente baseados em processos empíricos, em metodologias ad hoc e em métodos iterativos. A experiência de quem os executa tem grande influência nos resultados obtidos por conta da falta de critérios científicos para a análise e tomada de decisões ao longo do desenvolvimento de um produto ou de um processo. As conseqüências mais comuns são os problemas de qualidade e confiabilidade, os atrasos na execução e a extrapolação dos custos previstos. Atualmente existem poucas metodologias científicas com abordagem global de um projeto, dentre elas podemos considerar o Projeto Axiomático. Desenvolvida ao longo das últimas décadas pelo Prof. Nam Pyo Suh, ela propõe dois axiomas básicos para nortear a análise e tomada de decisões em projetos de qualquer ordem, os quais são então desdobrados em teoremas e corolários específicos. Embora não possa ser demonstrada ou comprovada enquanto axioma, a metodologia tem sido constantemente validada por sua utilização bem-sucedida em diferentes especialidades técnicas, da manufatura ao desenvolvimento de produtos, da organização de empresas à tecnologia da informação. Apesar da clareza de sua proposição e da existência de modelos matemáticos para seu uso, o Projeto Axiomático não é de simples e direta aplicação às diferentes especialidades técnicas a que se propõe. Esta dissertação de mestrado tem como proposta desenvolver uma metodologia pragmática e acessível para a aplicação integral do Projeto Axiomático à tomada de decisões em projetos de dispositivos de manufatura. A metodologia desenvolvida é então validada e demonstrada através da aplicação da mesma em um caso fabril real de uma indústria de autopeças de grande porte
Abstract: Engineering design is till present times widely based on empiric processes, ad hoc methodologies and iterative methods. The experience of those who perform the task is of great influence on the outcome due to the lack of scientific criteria for both analysis and decision making along the development of a product or a process. The common consequences are quality and reliability problems, execution delays and cost overrun. Currently there are only a few scientific design methodologies with a holistic approach, Axiomatic Design among them. Developed during the last decades by Prof. Nam Pyo Suh, it proposes two basic axioms to guide the analysis and decision-making for projects of any kind, both being then unfolded in theorems and corollaries. Although not able of being neither demonstrated nor proved as axiom, the methodology has been constantly validated through its successful utilization on different technical fields, from manufacturing to product design, from organizational structures to information technology. In spite of the clearness of its proposition and the existence of mathematical models for its usage, the Axiomatic Design is not of simple and direct application to the different technical fields it is suitable for. This master's degree dissertation has the purpose of developing a pragmatic and accessible methodology for the complete application of the Axiomatic Design to the decision making regarding the design of devices. The proposed methodology is then validated and demonstrated through its application to a real industrial process in a large size multinational automotive industry
Mestrado
Projetos
Mestre em Engenharia Automobilistica
37
Allen, Cristian. "The Axiom of Choice." VCU Scholars Compass, 2010. http://scholarscompass.vcu.edu/etd/2145.
Full textAbstract:
We will discuss the 9th axiom of Zermelo-Fraenkel set theory with choice, which is often abbreviated ZFC, since it includes the axiom of choice (AC). AC is a controversial axiom that is mathematically equivalent to many well known theorems and has an interesting history in set theory. This thesis is a combination of discussion of the history of the axiom and the reasoning behind why the axiom is controversial. This entails several proofs of theorems that establish the fact that AC is equivalent to such theorems and notions as Tychonoff's Theorem, Zorn's Lemma, the Well-Ordering Theorem, and many more.
38
Stanton, Samantha. "The Axiom of Determinacy." VCU Scholars Compass, 2010. http://scholarscompass.vcu.edu/etd/2189.
Full textAbstract:
Working within the Zermelo-Frankel Axioms of set theory, we will introduce two important contradictory axioms: Axiom of Choice and Axiom of Determinacy. We will explore perfect polish spaces and games on these spaces to see that the Axiom of Determinacy is inconsistent with the Axiom of Choice. We will see some of the major consequences of accepting the Axiom of Determinacy and how some of these results change when accepting the Axiom of Choice. We will consider 2-player games of perfect information wherein we will see some powerful results having to do with properties of the real numbers. We will use a game to illustrate a weak proof of the continuum hypothesis.
39
Kovachev, Bogomil. "Some Axioms of Weak Determinacy." Diss., lmu, 2009. http://nbn-resolving.de/urn:nbn:de:bvb:19-109320.
Full text
40
Tsaprounis, Konstantinos. "Large cardinals and resurrection axioms." Doctoral thesis, Universitat de Barcelona, 2012. http://hdl.handle.net/10803/97038.
Full textAbstract:
In the current dissertation we work in set theory and we study both various large cardinal hierarchies and issues related to forcing axioms and generic absoluteness. The necessary preliminaries may be found, as it should be anticipated, in the first chapter.
In Chapter 2, we study several C(n) - cardinals as introduced by J. Bagaria (cf. [1]). In the context of an elementary embedding associated with some fixed C(n) - cardinal, and under adequate assumptions, we derive consistency (upper) bounds for the large cardinal notion at hand; in particular, we deal with the C(n) - versions of tallness, superstrongness, strongness, supercompactness, and extendibility. As far as the two latter notions are concerned, we further study their connection, giving an equivalent formulation of extendibility as well. We also consider the cases of C(n) -Woodin and of C(n) – strongly compact cardinals which were not studied in [1] and we get characterizations for them in terms of their ordinary counterparts.
In Chapter 3, we briefly discuss the interaction of C(n) – cardinals with the forcing machinery, presenting some applications of ordinary techniques.
In Chapter 4, we turn our attention to extendible cardinals; by a combination of methods and results from Chapter 2, we establish the existence of apt Laver functions for them. Although the latter was already known (cf. [2]), it is proved from a fresh viewpoint, one which nicely ties with the material of Chapter 5.
We also argue that in the case of extendible cardinals one cannot use such Laver functions in order to attain indestructibility results. Along the way, we give an additional characterization of extendibility, and we, moreover, show that the global GCH can be forced while preserving such cardinals.
In Chapter 5, we focus on the resurrection axioms as they are introduced by J.D. Hamkins and T. Johnstone (cf. [3]). Initially, we consider the class of stationary preserving posets and, assuming the (consistency of the) existence of an extendible cardinal, we obtain a model in which the resurrection axiom for this class holds.
By analysing the proof of the previous result, we are led to much stronger forms of resurrection for which we introduce a family of axioms under the general name “Unbounded Resurrection”. We then prove that the consistency of these axioms follows from that of (the existence of) an extendible cardinal and that, for the appropriate classes of posets, they are strengthenings of the forcing axioms PFA and MM.
We furthermore consider several implications of the unbounded resurrection axioms (e.g., their effect on the continuum, for the classes of c.c.c. and of sygma- closed posets) together with their connection with the corresponding ones of [3]. Finally, we also establish some consistency lower bounds for such axioms, mainly by deriving failures of (weak versions of) squares.
We conclude our current mathematical quest with a few final remarks and a small list of open questions, followed by an Appendix on extenders and (some of) their applications.
References
[1] Bagaria, J., C (n)–cardinals. In Archive Math. Logic, Vol. 51 (3–4), pp. 213–240, 2012.
[2] Corazza, P., Laver sequences for extendible and super–almost–huge cardinals. In J. Symbolic Logic, Vol. 64 (3), pp. 963–983, 1999.
[3] Johnstone, T., Notes to “The Resurrection Axioms”. Unpublished notes (2009).
41
Inamdar, Tanmay. "Measures, slaloms, and forcing axioms." Thesis, University of East Anglia, 2018. https://ueaeprints.uea.ac.uk/68402/.
Full text
42
Koellner, Peter 1969. "The search for new axioms." Thesis, Massachusetts Institute of Technology, 2003. http://hdl.handle.net/1721.1/7989.
Full textAbstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Linguistics and Philosophy, 2003.Includes bibliographical references (p. 103-106).
Abstract The independence results in set theory invite the search for new and justified axioms. In Chapter 1 I set the stage by examining three approaches to justifying the axioms of standard set theory (stage theory, G6del's approach, and reflection principles) and argue that the approach via reflection principles is the most successful. In Chapter 2 I analyse the limitations of ZF and use this analysis to set up a mathematically precise minimal hurdle which any set of new axioms must overcome if it is to effect a significant reduction in incompleteness. In Chapter 3 I examine the standard method of justifying new axioms-reflection principles-and prove a result which shows that no reflection principle (known to be consistent via large cardinals) can overcome the minimal hurdle and yield a significant reduction in incompleteness. In Chapter 4 I introduce a new approach to justifying new axioms-extension principles-and show that such principles can overcome the minimal hurdle and much more, in particular, such principles imply PD and that the theory of second-order arithmetic cannot be altered by set size forcing. I show that in a sense (which I make precise) these principles are inevitable. In Chapter 5 I close with a brief discussion of meta-mathematical justifications stemming from the work of Woodin. These touch on the continuum hypothesis and other questions which are beyond the reach of standard large cardinals.
by Peter Koellner.
Ph.D.
43
Ward, Peter James. "Euclid's Elements, from Hilbert's Axioms." The Ohio State University, 2012. http://rave.ohiolink.edu/etdc/view?acc_num=osu1354311965.
Full text
44
Silva, Márcio Alberto Gomes. "Eficiência e respeito a direitos fundamentais na atividade investigativa : um discurso possível : pela criação de axiomas que limitem a atuação estatal na busca de uma investigação criminal garantista." Pós-Graduação em Direito, 2018. http://ri.ufs.br/jspui/handle/riufs/9295.
Full textAbstract:
The distance between how much normalized in the legal order and what, in fact, is materialized by the apparatus of Brazilian criminal prosecution is a serious problem to be faced. It is necessary to delimit the activity of criminal investigation, with the aim, at the same time, to ensure efficiency in the elucidation of alleged criminal acts and the observance of the rights of Brazilian citizens, removing the false idea that respect for the rights of the target of the system of criminal prosecution means impetus to impunity. Such a situation will be faced with the creation of axioms, true filters for state action during the police investigation, that allow the correct collection of evidence, capable of triggering a process free of wrongdoing. In this way, the investigation that intends to strictly follow what is outlined by the Federal Constitution and the regulative legislation must be created by law, must be presided over by impartial, impartial and disinterested authority, can only be triggered with just cause freedom, to the detriment of incarceration), must be collected and based on lawful evidence, should only admit mitigation of individual rights if it proves effective necessity, must have a strictly investigative purpose (should not serve unambiguous objectives) and should guarantee minimum internal advertising (investigated / indicted science) and external (right to information society).A distância entre o quanto normatizado no ordenamento jurídico e o que, de fato, é materializado pelo aparelho de persecução penal estatal brasileiro é problema sério a ser enfrentado. É preciso delimitar a atividade de apuração criminal, com o fito de, a um só tempo, garantir a eficiência na elucidação dos fatos supostamente criminosos e a observância dos direitos dos cidadãos brasileiros, afastando a falsa ideia de que o respeito dos direitos do alvo do sistema de persecução penal significa estímulo à impunidade. Tão situação será enfrentada com a criação de axiomas, verdadeiros filtros para atuação estatal durante o inquérito policial, que possibilitam a correta coleta de provas, aptas a deflagrar um processo livre de ilicitudes. Nesta senda, a investigação que pretende seguir estritamente o quanto delineado pela Constituição Federal e pela legislação de regência deve ser criada por meio de lei, deve ser presidida por autoridade impartial, imparcial e desinteressada, só pode ser deflagrada com justa causa (primando-se pela liberdade, em detrimento do encarceramento), deve colher e ser baseada em provas lícitas, só deve admitir mitigação de direitos individuais caso se demonstre efetiva necessidade, deve ter finalidade estritamente investigativa (não deve servir a objetivos escusos e inconfessáveis) e deve garantir mínima publicidade interna (ciência do investigado/indiciado) e externa (direito de informação da sociedade).
São Cristóvão, SE
45
Primavesi, Alexander. "Guessing axioms, invariance and Suslin trees." Thesis, University of East Anglia, 2011. https://ueaeprints.uea.ac.uk/38263/.
Full textAbstract:
In this thesis we investigate the properties of a group of axioms known as 'Guessing Axioms,' which extend the standard axiomatisation of set theory, ZFC. In particular, we focus on the axioms called 'diamond' and 'club,' and ask to what extent properties of the former hold of the latter. A question of 1. Juhasz, of whether club implies the existence of a Suslin tree, remains unanswered at the time of writing and motivates a large part of our in- vestigation into diamond and club. We give a positive partial answer to Juhasz's question by defining the principle Superclub and proving that it implies the exis- tence of a Suslin tree, and that it is weaker than diamond and stronger than club (though these implications are not necessarily strict). Conversely, we specify some conditions that a forcing would have to meet if it were to be used to provide a negative answer, or partial answer, to Juhasz's question, and prove several results related to this. We also investigate the extent to which club shares the invariance property of diamond: the property of being formally equivalent to many of its natural strength- enings and weakenings. We show that when certain cardinal arithmetic statements hold, we can always find different variations on club t.hat will be provably equiv- alent. Some of these hold in ZFC. But, in the absence of the required cardinal arithmetic, we develop a general method for proving that most variants of club are pairwise inequivalent in ZFC.
46
Thorgeirsson, Sverrir. "Hyperbolic geometry: history, models, and axioms." Thesis, Uppsala universitet, Algebra och geometri, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-227503.
Full text
47
Chen, Liang. "Timed processes : models, axioms and decidability." Thesis, University of Edinburgh, 1993. http://hdl.handle.net/1842/409.
Full textAbstract:
This thesis presents and studies a timed computational model of parallelism, a Timed Calculus of Communicating Systems or Timed CCS for short. Timed CCS is an extension of Milner's CCS with time. We allow time to be discrete, such as the natural numbers, or dense, such as the non-negative rationals or the non-negative reals. We make no assumption of the Maximal Progress Principle, but the calculus is consistent with the principle. Time variables in the language allow us to express a notion of time dependency and the language is more expressive than those without time variables or infinite summation. We extend the well known notion of bisimulation to timed processes and study the abstract sensation of timed processes. We show that strong equivalence (the largest strong bisimulation) is decidable for finite processes, i.e. processes without recursion. The decidability is independent of the choice of time domain. We also present a simple proof system for strong equivalence and the proof system is again independent of the choice of time domain. We show that the proof system is sound and complete for finite processes over dense time domains, but only complete for a restricted language over discrete time domains. We discuss how to modify the definition of time expressions to get the restricted language. We also study behavioural abstraction in timed processes. The thesis also presents and studies a general model, Timed Synchronisation Trees, for timed calculi. Timed synchronisation trees are extensions of synchronisation trees with time. All constructions on timed synchronisation trees are continuous with respect to a natural complete partial order. We can interpret a wide range of real-time process algebras in timed synchronisation trees. As an example, we give a denotational semantics for Timed CCS based on timed synchronisation trees. We show that the denotational and operational semantics of Timed CCS coincide. CCS is a symbolic calculus in the sense that it treats solely the observation of events of a system. The relative time, location and duration of events are abstracted away from the consideration. If we postulate that every action has a non-zero constant duration, we can observe the usual notions of causality, concurrency and conflict relations of events of a system. By interpreting CCS in Timed CCS based on a postulation that for any two events which are causally related there is at least a non-zero constant delay between them, we get a timed semantics for CCS. The timed semantics of CCS is a partial order or true concurrency semantics. As a consequence, we develop a partial order or true concurrency semantics based on an interleaving approach.
48
Lück, Martin [Verfasser]. "Team logic : axioms, expressiveness, complexity / Martin Lück." Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2020. http://d-nb.info/1205068341/34.
Full text
49
Morillon, Marianne. "Topologie, analyse nonstandard et axiome du choix." Grenoble 2 : ANRT, 1988. http://catalogue.bnf.fr/ark:/12148/cb37616648p.
Full text
50
Nascimento, Izael do. "Axiomas de separação em espaços de aproximação." reponame:Repositório Institucional da UFPR, 2013. http://hdl.handle.net/1884/30586.
Full textAbstract:
Resumo: Espaços de aproximação foram introduzimos pelo matemático belga Eobert Lowen, com o principal objetivo de resolver algumas falhas de cunho algébrico de espaços topológicos metrizáveis, mas acabaram se tornando entes matemáticos úteis nas mais diversas áreas e interessantes objetos de estudo por si próprios. Estes espaços abstraem as principais características dos espaços topológicos, métricos e uniformes e são um elo de ligação adequado entre os mesmos. Neste trabalho nós fazemos uma introdução aos espaços de aproximação, apresentando algumas das várias estruturas que podem ser usadas para descrevê-los: distâncias, operadores limite, sistemas de localização, torres, envelopes e quadros. Desenvolvemos cada uma destas estruturas e mostramos que todas são equivalentes em certo sentido. Ao final do trabalho damos algumas novas caracterizações de axiomas de separação em um espaço topológico, utilizando as estruturas do espaço de aproximação a ele associado.