Orientador: Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-20T17:07:34Z (GMT). No. of bitstreams: 1 Sautter_FrankThomas_M.pdf: 1965384 bytes, checksum: de383de9d44d5f50a346a84f71ec3e04 (MD5) Previous issue date: 1995 / Resumo: Analisamos as definições de conjunto finito de Dedekind (1893), de Zermelo (1908) e de Alarcón Athens (1987). A partir destas definições, formulamos e demonstramos diversos princípios de indução matemática para conjuntos finitos. Obtivemos uma nova definição de conjunto finito: um conjunto C é finito 'Se e somente se o conjunto vazio pertence a toda família não-vazia F de subconjuntos de C tal que para todo conjunto não vazio D 'PERTENCE¿ F existe um único conjunto E 'PERTENCE¿ F onde E = D - {d} para algum d 'PERTENCE¿ D. Demonstramos que, na axiomática de Zermelo-Fraenkel sem o axioma da escolha, esta definição é formalmente equivalente ao axioma de Dedekind, segundo o qual todo conjunto infinito, no sentido aritmético usual, tem subconjunto enumerável / Abstract: We analize Dedekind's (1893), ZermeIo's (1908) and Alarcón Athens' (1987) definitions of finite sets. From these definitions we formulate and prove some mathematical induction principles for finite sets. We obtain a new definition of finite sets: a set C is finite if and only if the empty set beIongs to every non-empty famiIy F of subsets of C, such that for every non-empty set D 'PERTENCE¿ F there exists exactly one set E 'PERTENCE¿ F such that E = D - {d} for some d 'PERTENCE¿ D. We prove that, in ZermeIo-Fraenkel axiomatics without the choice axiom, this definition is formally equivalent to Dedekind's axiom, which says that every infinite set, in the ordinary sense, has an enumerabIe subset / Mestrado / Mestre em Filosofia

Orientador : Ubiratan d'Ambrosio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / O exemplar da FE pertence a Coleção de Teses do Circulo de Estudos, Memoria e Pesquisa em Educação Matematica (CEMPEM) / Made available in DSpace on 2018-07-15T09:22:56Z (GMT). No. of bitstreams: 1 Muhl_VeraJussaraLourenzi_M.pdf: 1562990 bytes, checksum: a7333f65f84d0e400829327d62479855 (MD5) Previous issue date: 1989 / Resumo:Esta dissertação procura sugerir uma forma de trabalhar a iniciação à Lógica Simbó1ica (matemática), forma essa já experimentada com os alunos da Licenciatura Plena em Ciências que prepara profissionais para atuarem no ensino de Ciências do 1º grau. Num processo lento de ação e de reflexão sobre o trabalho em sala de aula, chegamos a proposta que ora apresentamos. Descrevemos aqui essa proposta e registramos as conclusões a que chegamos, as quais são os limites ou os alcances do trabalho proposto. Ela se baseia no processo dialético teoria-prática, onde a modelagem e a estratégia que faz com que o aluno tome consciência do seu modo de pensar a realidade. Este processo dialético, que faz uso da modelagem explicitado na descrição do trabalho. Esta dissertação mostra um trabalho que pode ser a atividade normal de qualquer educador, ou seja, reflexão sobre o processo ensino-aprendizagem em sala de aula / Abstract: Not informed / Mestrado / Mestre em Matemática Aplicada

Orientador : Luiz Paulo de Alcantara / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-16T22:28:00Z (GMT). No. of bitstreams: 1 Pedrosa_RenatoHyudadeLuna_M.pdf: 2015565 bytes, checksum: b7d81d45dac1c68e5b5fa95933d079b9 (MD5) Previous issue date: 1981 / Resumo: Não informado / Abstract; Not informed / Mestrado / Mestre em Matemática

Orientador: Hércules de Araújo Feitosa / Co-orientador: Marcelo Reicher Soares / Resumo: Esta pesquisa está inserida no contexto filosófico da Lógica, com ênfase nos aspectos dos quantificadores e nos seus modelos ou interpretações. O objetivo deste trabalho é um aprofundamento das noções de quantificação dentro do aspecto das lógicas moduladas. Para tanto, aborda-se a lógica modulada do plausível, que procura formalizar o quantificador da ubiquidade. O texto apresenta uma proposta, introduzida por Paul Halmos, de interpretação da lógica quantificacional clássica em modelos algébricos e, como contribuição original, estende este modelo para um modelo algébrico para a lógica do plausível. / Abstract: This research is inserted in the context of Philosophy of Logic, with emphasis on aspects of quantifiers and their models or interpretations. The aim of this paper is a deepening on notions of quantification in the environment of modulate logics. For that, this Dissertation approaches the modulate logic of plausible, which seeks to formalize the quantifier of ubiquity. The text presents a proposal, of Paul Halmos, to interpret the classical logic quantification into algebraic models. As an original contribution, it is extended this model to an algebraic model for the logic of plausible. / Mestre

Hercules killed the Hydra of Lerna in a bloody battle-the second of the labor tasks imposed upon him in atonement for his hideous crimes. The Hydra was a horrible, aggressive mythological monster with many heads and poisonous blood, whose heads multiplied each time one of them was severed. This paper explores some mathematical methods about this interesting epic battle. A generalization of the original Kirby & Paris model is proposed, concerning a general heads reproduction pattern. We also study the connection of this model with Goodstein ultra-growing and recursive sequences. As an interesting application, we next analyze the inevitable death of another huge monster of our modern era: the Internet.

Submitted by Reginaldo Soares de Freitas (reginaldo.freitas@ufv.br) on 2017-04-17T16:20:31Z No. of bitstreams: 1 texto completo.pdf: 4580745 bytes, checksum: 15b36a9ae574edc9911bb3c74e5252f6 (MD5) / Made available in DSpace on 2017-04-17T16:20:31Z (GMT). No. of bitstreams: 1 texto completo.pdf: 4580745 bytes, checksum: 15b36a9ae574edc9911bb3c74e5252f6 (MD5) Previous issue date: 2016-03-21 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O presente trabalho traz os resultados de uma pesquisa realizada em duas instituições de ensino de Belo Horizonte e região metropolitana, com alunos do curso de graduação em Matemática na modalidade licenciatura e alunos do ensino médio que responderam a dois testes de lógica e raciocínio lógico quantitativo, realizados antes e depois de participarem de um curso específico desses conteúdos. Essa pesquisa foi devidamente registrada no CEP - Comitê de Ética e Pesquisa com Seres Humanos, sob o número 1.366.414. O principal objetivo foi destacar a importância da lógica e do raciocínio lógico quantitativo na formação acadêmica dos discentes, sobretudo aqueles ligados às ciências exatas. Esta pesquisa buscou a validação com os testes T de Student, F de Snedecor e o Teste Z de sete hipóteses a priori levantadas. As hipóteses foram constituídas com o intuito de fundamentar a exigência de aulas específicas de lógica e raciocínio lógico quantitativo em todas as esferas educacionais. Os resultados desse trabalho indicam certo grau de relevância para os cursos específicos de lógica e raciocínio lógico quantitativo no desempenho dos discentes submetidos aos testes que envolvem esses conteúdos. Dessa forma, justifica-se uma ênfase maior nesses conteúdos quando se trata de educação básica. / This paper presents the results of a survey conducted in two schools of Belo Horizonte and the metropolitan area, with students of the degree in Mathematics at the undergraduate mode and high school students who responded to two logic tests and quantitative logical reasoning, performed before and after participating in a specific course of such content. This research was duly registered with the CEP - Research Ethics Committee in Human Beings, under number 1366414. The main objective was to highlight the importance of logic and quantitative logical reasoning in academic education of students, especially those related to the exact sciences. This study aimed to validate with the Student t test, F Snedecor and Z test seven hypotheses a priori raised. The assumptions were made in order to support the demand for specific classes of logical and quantitative logical reasoning in all educational spheres. The results of this study indicate a degree of relevance to the specific courses of logic and quantitative logical reasoning in the performance of students subjected to tests involving such content. Thus, it justified a greater emphasis on these content when it comes to basic education.

Programa de Pós-Graduação em Geotecnia. Núcleo de Geotecnia, Escola de Minas, Universidade Federal de Ouro Preto. / Submitted by Oliveira Flávia (flavia@sisbin.ufop.br) on 2015-10-16T16:50:52Z No. of bitstreams: 2 license_rdf: 19418 bytes, checksum: 6dde0d96f18aca4c252a500311f54121 (MD5) TESE_AlgoritmoAgrupamentoDescontinuidades.pdf: 4101321 bytes, checksum: 68c6eec732bdc99941712e49b4cf8c3e (MD5) / Approved for entry into archive by Gracilene Carvalho (gracilene@sisbin.ufop.br) on 2015-10-29T18:48:25Z (GMT) No. of bitstreams: 2 license_rdf: 19418 bytes, checksum: 6dde0d96f18aca4c252a500311f54121 (MD5) TESE_AlgoritmoAgrupamentoDescontinuidades.pdf: 4101321 bytes, checksum: 68c6eec732bdc99941712e49b4cf8c3e (MD5) / Made available in DSpace on 2015-10-29T18:48:25Z (GMT). No. of bitstreams: 2 license_rdf: 19418 bytes, checksum: 6dde0d96f18aca4c252a500311f54121 (MD5) TESE_AlgoritmoAgrupamentoDescontinuidades.pdf: 4101321 bytes, checksum: 68c6eec732bdc99941712e49b4cf8c3e (MD5) Previous issue date: 2015 / O agrupamento de descontinuidades em famílias nem sempre é uma tarefa trivial, particularmente quando se utiliza apenas o diagrama de frequência de polos, método clássico. Este, em alguns casos, apresenta caráter subjetivo, uma vez que o tamanho da área da célula de contagem, a sobreposição entre os agrupamentos e a presença de outliers dificultam a definição visual das famílias. Nestes casos, é útil a aplicação de métodos numéricos em conjunto com o método clássico. Para isso, este trabalho propõe um algoritmo baseado no método Fuzzy K-means que permite agrupar as descontinuidades em famílias sem a influência das fontes de erro do método clássico. Além disso, o trabalho traz, como principais contribuições, um novo método de inicialização do Fuzzy K-means, fundamentado na distribuição de probabilidades de Fisher para dados esféricos, que torna o algoritmo insensível a escolha dos centros iniciais, adaptação de quatro medidas de validação do Espaço Euclidiano para o Espaço Esférico a fim de auxiliar na definição do número de famílias e critérios para identificação de outliers e da região de sobreposição. Os resultados do algoritmo se mostraram satisfatórios quando comparados ao método clássico e aos principais métodos numéricos, utilizando, como referência, cinco conjuntos de fraturas estudados na literatura e aplicados por diversos autores para validação das técnicas numéricas de agrupamento de descontinuidades. _______________________________________________________________________________ / ABSTRACT: The clustering of discontinuity sets is not always a trivial task, especially when only the pole density diagram is used, the classical method. This process is subjective once the size of the counting circle, the pole overlapping and the presence of outliers between families make difficult the definition of their characteristics. In these cases, it is useful to apply numerical and classical methods together. For that, this work proposes an algorithm based on the Fuzzy K-means method, that allows the clustering of the discontinuities into families without the influence of sources errors of the classical method. In addition, this work brings as major contributions, a new initialization method of the Fuzzy K-means, based on the Fisher’s probability distribution for spherical data, which makes the algorithm insensitive to the selection of initial centers, the adaptation of four validation measures from Euclidean Space to Spherical Space in order to help the definition of the number of families and criteria for identification of outliers and the pole overlapping region. The algorithm results were satisfactory compared to the classical method and the main numerical methods, using as reference five fracture sets studied in the literature and applied by various authors for validation of numerical techniques of discontinuity clustering.

Orientador: Marcelo Esteban Coniglio / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-10T04:02:35Z (GMT). No. of bitstreams: 1 BatistaNeto_AlbertoLeopoldo_M.pdf: 764702 bytes, checksum: 38e943aef1a6e4a5f892916208eca7a5 (MD5) Previous issue date: 2007 / Resumo: Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre os sistemas definidos de um determinado modo, com base em que podemos fundamentar algumas técnicas de combinação, especialmente a fibrilação algébrica. Tais técnicas são definidas e apresentadas em suas propriedades mais relevantes, sendo encontrados, no caso particular da fibrilação, problemas tais como o colapso e o anti-colapso. Para estes, a solução parece residir na escolha de formas adequadas de representar lógicas em geral e de traduzir lógicas umas nas outras. Uma apresentação modelo-teorética mostra-se apropriada para algumas representações de lógicas em geral (como, por exemplo, sistemas de Hilbert), embora não o seja para outras (como sistemas de conseqüências múltiplas). No entanto, duas das mais promissoras tentativas de solucionar, em particular, o problema do anti-colapso da fibrilação algébrica as meta-traduções e os transfers elementares podem ser definidas dentro desse arcabouço. Os transfers incluindo os transfers elementares - foram definidos em [17] - e aqui apresentamos uma representação das meta-traduções como tipo específico de transfer / Abstract: In order to accomplish an elucidation of the fundamental concepts involved in the study of the combinations between logics, we undertake an analysis of the problem of the general representation of logical systems (with an emphasis on the central concept of logical consequence) together with that of the establishment of an appropriate notion of translation or morphism between the logical systems defined in a certain fashion, on which basis we can ground some of the combination techniques, specially that of algebraic fibring. Such techniques are defined and presented in their most relevant features, and we find, in the particular case of fibring, problems such as collapsing and anticollapsing. The solution for these seem to rest on the choice of adequate forms of representing logics in general and translating logics into others. A modeltheoretic presentation shows itself appropriate for some representations of logics in general (such as Hilbert calculi), although they are not for some others (such as multipleconclusion systems). Notwithstanding, two of the most promising attempts to solve, in particular, the problem of the anticollapsing of algebraic fibring metatranslations and elementary transfers , are definable within that framework. Transfers including elementary transfers have been defined in [17] and we here present a representation of metatranslations as an specific kind of transfers / Mestrado / Logica / Mestre em Filosofia

Orientador: Ardemirio de Barros Silva / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Geociencias / Made available in DSpace on 2018-07-23T14:10:47Z (GMT). No. of bitstreams: 1 Braghin_MarceloAntonio_M.pdf: 5272136 bytes, checksum: 024ef4cadc3afa842b814ad62ecc83c5 (MD5) Previous issue date: 1998 / Resumo: Esta tese descreve aplicações do uso da lógica boo/eana e fuzzy para uma análise metalogenética na Folha Pilar do Sul, SP. Para tanto, tais metodologias são desenvolvidas utilizando-se ferramentas de um Sistema de Informações Geográficas. Uma das maiores diferenças entre as lógicas estudadas é justamente a possibilidade de considerar as incertezas inerentes aos dados geológicos. Isto torna-se importante, haja visto as diversas fontes de incerteza numa base de dados espaciais com informações geológicas. A lógica boo/eana que permite apenas definir o que é verdadeiro ou falso pode gerar algumas dúvidas que podem ser melhor tratadas com o uso de uma abordagem da lógica fuzzy. As análises efetuadas mostraram que a definição das incertezas nos resultados é um fator importante neste tipo de análise espacial. Com a lógica fuzzy houve um aumento nas áreas de interesse, mas principalmente pôde ser definidas as prioridades de uma forma mais segura / Abstract: This work aims to describe methodological procedures to implement the use of Boolean and fuzzy logic applied to metallogenetical analysis. The study area is located in São Paulo state (Pilar do Sul quadricule) and focus to identify target areas for Cu and Pb. The use of Geographical Information Systems (GIS) is essential to achieve good results and sophisticated logical operations produces maps and reports which no longer necessarily represent a single integration. The main difference between the Boolean and fuzzy logics is the possibility to handle uncertainties, the former shows sharp contrasts, the later shows diffuse limits. The use of GIS and non-cumulative algebra on geological data set, with inherent uncertainties, provided the definition of target areas. Target areas defined by the fuzzy logic are better spatial distributed than those defined by the Boolean logic / Mestrado / Mestre em Geociências

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas,Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-27T20:38:33Z (GMT). No. of bitstreams: 1 Moura_JoseEduardodeAlmeida_D.pdf: 6732549 bytes, checksum: bf228cc3830350eb48de2759857a076e (MD5) Previous issue date: 2001 / Resumo: A partir dos trabalhos de Raggio, datados de 1968 e 1978, sobre os sistemas Cn1<n>w, desenvolve-se uma análise de Cw em Cálculo de Seqüentes e Dedução Natural, apresentando como resultados mais destacados os Teoremas de Eliminação do Corte e a de Normalização Forte. Características relevantes são o tratamento dado à negação e a permissividade da definição de prova normal / Abstract: Following Raggio's 1968 and 1978 papers on Cn1<n>w systems, it isdeveloped here an analysis of Cw in Sequent Calculus and Natural Deduction, presenting respectively the Cut Elimination and the Strong Normalization Theorems as main results. Relevant characteristics are the treatment applied to negation and the permissibility of normal proof definition / Doutorado / Doutor em Filosofia