Orientador: Newton Carneiro Affonso da Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-14T12:30:34Z (GMT). No. of bitstreams: 1 Carnielli_WalterAlexandre_D.pdf: 2446842 bytes, checksum: ae2b22dcdbcb64ab500dd273b065caff (MD5) Previous issue date: 1982 / Resumo: Não informado. / Abstract: Not informed. / Doutorado / Doutor em Matemática

Orientador : Oswaldo Porchat Pereira / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-07-17T00:26:12Z (GMT). No. of bitstreams: 1 Mortari_CezarAugusto_M.pdf: 13571312 bytes, checksum: 1729cb947a4afd9ba1b9b6f25d023029 (MD5) Previous issue date: 1982 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Lógica e Filosofia da Ciência

No description available.

O presente trabalho tem por objetivo apresentar a prova de um teorema de James Ax e Simon B. Kochen relacionada com uma conjectura de Artin. A demonstração apresentada usa essencialmente Teoria de Modelos e Teoria de Valorizações. O teorema nos diz que para cada grau dεn* existe uma cota nd tal que, para todo primo p>=nd, cada polinômio homogêneo sobre Qp de grau d em mais de d² variáveis possui uma raiz não trivial no corpo de números p-ádicos Qp. A solução encontrada por Ax e Kochen para a conjectura de Artin é um dos mais importantes exemplos de aplicação de Teoria de Modelos - um ramo da Lógica Matemática - à Álgebra, neste caso, à Teoria de Números. / The present work has objective to present a proof of a theorem due to James Ax and Simon B. Kochen related to an Artin's conjecture. The demonstration shown uses essencially Model Theory and Valuation Theory. The theorem tell us that for each degree dεn* exists a bound nd such that, for all prime p>=nd, each homogeneous polynomial over Qp of degree d in more than d² variables has a non-trivial root in the field of p-adic numbers Qp. The solution found by Ax and Kochen for the Artin's conjecture is one of the most important examples of application of Model Theory - a branche of Mathematical Logic - to Algebra, in this case, to Number Theory.

O presente trabalho tem por objetivo apresentar a prova de um teorema de James Ax e Simon B. Kochen relacionada com uma conjectura de Artin. A demonstração apresentada usa essencialmente Teoria de Modelos e Teoria de Valorizações. O teorema nos diz que para cada grau dεn* existe uma cota nd tal que, para todo primo p>=nd, cada polinômio homogêneo sobre Qp de grau d em mais de d² variáveis possui uma raiz não trivial no corpo de números p-ádicos Qp. A solução encontrada por Ax e Kochen para a conjectura de Artin é um dos mais importantes exemplos de aplicação de Teoria de Modelos - um ramo da Lógica Matemática - à Álgebra, neste caso, à Teoria de Números. / The present work has objective to present a proof of a theorem due to James Ax and Simon B. Kochen related to an Artin's conjecture. The demonstration shown uses essencially Model Theory and Valuation Theory. The theorem tell us that for each degree dεn* exists a bound nd such that, for all prime p>=nd, each homogeneous polynomial over Qp of degree d in more than d² variables has a non-trivial root in the field of p-adic numbers Qp. The solution found by Ax and Kochen for the Artin's conjecture is one of the most important examples of application of Model Theory - a branche of Mathematical Logic - to Algebra, in this case, to Number Theory.

O presente trabalho tem por objetivo apresentar a prova de um teorema de James Ax e Simon B. Kochen relacionada com uma conjectura de Artin. A demonstração apresentada usa essencialmente Teoria de Modelos e Teoria de Valorizações. O teorema nos diz que para cada grau dεn* existe uma cota nd tal que, para todo primo p>=nd, cada polinômio homogêneo sobre Qp de grau d em mais de d² variáveis possui uma raiz não trivial no corpo de números p-ádicos Qp. A solução encontrada por Ax e Kochen para a conjectura de Artin é um dos mais importantes exemplos de aplicação de Teoria de Modelos - um ramo da Lógica Matemática - à Álgebra, neste caso, à Teoria de Números. / The present work has objective to present a proof of a theorem due to James Ax and Simon B. Kochen related to an Artin's conjecture. The demonstration shown uses essencially Model Theory and Valuation Theory. The theorem tell us that for each degree dεn* exists a bound nd such that, for all prime p>=nd, each homogeneous polynomial over Qp of degree d in more than d² variables has a non-trivial root in the field of p-adic numbers Qp. The solution found by Ax and Kochen for the Artin's conjecture is one of the most important examples of application of Model Theory - a branche of Mathematical Logic - to Algebra, in this case, to Number Theory.

Orientador: Itala Maria Loffredo D'Ottaviano / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia eCiencias Humanas / Made available in DSpace on 2018-07-23T14:56:19Z (GMT). No. of bitstreams: 1 Feitosa_HerculesdeAraujo_D.pdf: 4244790 bytes, checksum: 1ce087f1bac361fda9b53035ab9cd130 (MD5) Previous issue date: 1997 / Resumo: Não informado / Abstract: Not informed. / Doutorado / Mestre em Filosofia

Orientador: Itala Maria Loffredo D'Ottaviano / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-02T21:14:26Z (GMT). No. of bitstreams: 1 Scheer_MauroCesar_M.pdf: 5841295 bytes, checksum: 0ec03e18461fd9ac68e7b409b32a9673 (MD5) Previous issue date: 2002 / Resumo: Há inúmeras situações pertinentes ao mundo real em que necessariamente trabalhamos com conhecimento incompleto. Muitas vezes temos que tomar decisões que pensamos ser as mais corretas, decisões que são corroboradas por um conjunto de informações incompletas, ou seja, inferimos conclusões "plausíveis" e "consistentes" com nossa base de conhecimento. Um formalismo para "raciocinar" de forma eficiente sobre uma base de conhecimento incompleto deve ser capaz de admitir expressões que sejam válidas em geral, reconhecer e assimilar exceções quando necessário. As lógicas não monotônicas são adequadas ao tipo de formalismo a que estamos nos referindo. Mas quais são as propriedades mínimas que caracterizam a não monotonicidade de certas lógicas? As propriedades consideradas fundamentais para sistemas não monotônicos serão apresentadas neste trabalho, juntamente com as várias relações entre essas propriedades. Nos primeiros capítulos apresentamos a família dos operadores cumulativos e, a partir da propriedade distributiva, dedutiva e supracompacta apresentamos outras famílias de operadores cumulativos. Em capítulo intermediário o conceito de lógica cumulativa é apresentado. O último capítulo do trabalho é dedicado ao estudo de traduções (traduções conservativas) entre lógicas cumulativas. Procuramos estabelecer resultados que caracterizam a existência ou não de traduções (traduções conservativas) entre lógicas cumulativas e resultados que nos permitam dizer quais propriedades das respectivas lógicas envolvidas em tais traduções são preservadas / Abstract: There are countless situations in the real world in which we necessarily deal without a complete knowledge. Sometimes we have to make decisions that we think to be the most correct ones which are confirmed by an incomplete set of information, in other words, we infer "plausible" and "consistent" conclusions based on our actual knowledge. A formalism to think in an efficient way on an incomplete knowledge base should be able to admit expressions of general validity, to recognize and to assimilate exceptions when necessary. The non-monotonic logics are appropriate to the kind of formalism that we are referring to. But what are the minimum properties that characterize the non-monotonicity of certain logics? The properties considered essential to non-monotonic systems will be presented in this study, together with an analysis of the relation ships among them. In the first chapters we present the family of cumulative operators and, from the distributive, deductive and supracompact properties, we present other families of cumulative operators. In an intermediate chapter the concept of cumulative logic is presented. The last chapter is dedicated to the study of translations (conservative translations) between cumulative logics. We look for to establishing results that characterize the existence of translations (conservative translations) between cumulative logics and results that allow us to determine which properties are preserved from the logics involved in such translations / Mestrado / Mestre em Filosofia

En la tesis de licenciatura de Miguel Angel Merma Mora, autor de la presente investigación, se establece una interpretación algebraica de la lógica proposicional y del lenguaje predicativo monádico en un nivel básicamente intuitivo, ya que en esa investigación no interpreta algebraicamente los axiomas del cálculo lógico de primer orden. En esta tesis de maestría se interpreta algebraicamente cada uno de los seis axiomas de la lógica de primer orden, logrando con ello rigor y generalidad. También se establece que la interpretación funciona, tanto para la lógica proposicional, como para el lenguaje predicativo poliádico y se ofrece una buena cantidad de ejemplos ilustrativos. / Tesis

Orientador: Rafael Santos Mendes / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-24T03:50:44Z (GMT). No. of bitstreams: 1 Magossi_JoseCarlos_D.pdf: 6761411 bytes, checksum: ceea1c2dd3d35ba4d2e536d090e00ab6 (MD5) Previous issue date: 1998 / Resumo: Aborda-se o problema de verificação de especificações e síntese de controladores em uma classe de sistemas dinâmicos a eventos discretos. Propõe-se uma nova lógica modal denominada lógica modal NK, e mostra-se que um conjunto de fórmulas nesta lógica é equivalente a um conjunto de fórmulas escritas no contexto da teoria de dióides. Desse modo, um sistema descritível por um grafo a eventos, que é modelado por um conjunto de equações num dióide apropriado, também é modelado por um conjunto de fórmulas da lógica modal NK. Então utiliza-se as técnicas de tableaux analíticos para desenvolver um algoritmo para decidir se uma especificação é satisfeita ou não. Quanto ao problema de síntese, a solução obtida pelo tableau analítico é utilizada para determinar as NK-fórmulas, e portanto o controlador, que tomará a especificação satisfeita. A principal vantagem deste inter-relacionamento de abordagens é permitir a utilização de técnicas da lógica modal, particularmente os tableaux analíticos, no tratamento de problemas de análise e síntese de controlad9res para sistemas a eventos discretos / Abstract: The problem of verification of a specification and controller synthesis in a class of discrete event dynamic systems is addressed. We propose a new propositional modallogic, named NK logic, and we show that a set of formulas of this logic is completely equivalent to a set of equations written in the context of the theory of dioids. Therefore, a system described by an event graph can be modeled by a set of formulas in NK logic. Then we use the technique of the analytic tableaux to develop an algorithm to decide if a specification, also expressed in NK logic, is satisfied. If a specification is not satisfied then there exists a solution for the equations written in dioid context that violates the specification. The method of analytic tableaux gives this solution. Conceming the synthesis problem, the solution obtained by the analytic tableau is used to determine the NK-formulas, and therefore the controller, that makes the specification be verified. The main advantage of this approach is allow us to use the technique of analytic tableaux to investigate problems of analysis and synthesis of controllers for discrete event systems / Doutorado / Doutor em Engenharia Elétrica