Spelling suggestions: "subject:"1ógica algébrique."" "subject:"1lógica algébrique.""
1 |
Sobre as algebras e hiper-reticulados CWSette, Antonio Mario Antunes, 1939- 26 July 2018 (has links)
Orientador: N. C. A. da Costa / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-26T20:43:56Z (GMT). No. of bitstreams: 1
Sette_AntonioMarioAntunes_M.pdf: 488103 bytes, checksum: 577546d79fd7b23dca3238824b3b15b6 (MD5)
Previous issue date: 1971 / Resumo: Nesta tese, apresentamos, de modo sistemático, alguns resultados referentes à teoria das álgebras Cw, muitos dos quais foram por nós obtidos e publicados anteriormente. Os conceitos básicos, as notações etc., utilizados neste trabalho estão descritos nas "Observações sobre a notação". No Capítulo I, introduzimos os conceitos de Álgebra Cw, de Filtro, de Ideais e de Morfismos de uma álgebra Cw; obtemos alguns resultados relativos a tais noções e, em seguida, empregamos alguns destes resultados na obtenção de informações a respeito do cálculo Cw. No Capítulo II, propomos uma nova algebrização do cálculo Cw e demonstramos um teorema que Liga este novo tipo de estrutura às álgebras Cw. Agradecemos ao Prof. N.C.A. da Costa a dedicação com que nos orientou durante estes dois anos que estivemos com ele trabalhando e, sobretudo, a sua sempre renovada paciência para conosco. Queremos agradecer também ao Prof. Mario Tourasse Teixeira por ter assistido as exposições que fizemos de alguns dos itens aqui abordados. Ainda que tenha sido indireta a colaboração do referido professor neste trabalho, vemo-nos na obrigação de agradecer ao Prof. Tourasse o incentivo que nos tem dado e, sobretudo, o excepcional exemplo que tem sido para todos aqueles de seu convívio. Por fim, agradecemos, também, ao Prof. Rubens M. Marques, que tornou possível, do ponto de vista material, a realização deste trabalho / Abstract: Not informed / Mestrado / Mestre em Matemática
|
2 |
Elementos algébricos para a noção de "poucos" e sua formalização em sistemas lógicos dedutivos /Golzio, Ana Claudia de Jesus. January 2011 (has links)
Orientador: Hércules de Araújo Feitosa / Coorientador: Maria Cláudia Cabrini Grácio / Banca: Mauri Cunha do Nascimento / Banca: Marcelo Esteban Coniglio / Resumo: Grácio (1999), em sua tese de doutorado intitulada "Lógicas moduladas e raciocínio sob in-certeza", estabeleceu uma formalização no ambiente quantificacional para o termo da lingua-gem natural: "muitos". Buscando a formalização desse conceito no ambiente proposicional, Feitosa, Nascimento e Grácio (2009) no artigo "Algebraic elements for the notions of „many‟", apresentam uma estrutura matemática denominada conjuntos fechados superior-mente que torna possível o desenvolvimento de uma álgebra para "muitos" e também de uma lógica proposicional para "muitos". De modo similar ao trabalho apresentado por Feitosa, Nascimento e Grácio (2009) para a noção de "muitos", este trabalho investiga os elementos algébricos necessários para a formalização da noção de "poucos" e desenvolve uma álgebra para "poucos", que tem como base uma estrutura matemática denominada conjuntos quase fechados inferiormente. A partir dessa álgebra para "poucos", este trabalho apresenta uma lógica proposicional para "poucos" (LPP) nos sistemas dedutivos: hilbertiano e tableaux / Abstract: Grácio (1999), in her doctorate thesis entitled "Lógicas moduladas e raciocínio sob incerteza", provided a formalization of the term "many", whose can be met in natural language, inside a quantificational context. To formalize this concept in a propositional environment, Feitosa, Nascimento and Grácio (2009) presented another mathematical structure entitled upper closed sets in the paper "Algebraic elements for the notions of „many‟ ", whose allows the develop-ment of an algebra for "many" and also a propositional logic for many. In a similar way, this paper investigates the necessary algebraic elements for the formalization of the notion of "few". We also develop an algebra for "few" which is based on a mathematical structure called lower almost closed sets. From this algebra for "few", we present a propositional logic for few (LPP) in a Hilbert system. After that we present the LPP in tableaux / Mestre
|
3 |
Um modelo algébrico do quantificador da ubiquidade /Boza, Tiago Augusto dos Santos. January 2014 (has links)
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
|
4 |
Desenvolvimento de novas tecnicas e um aplicativo para sintese, minimização e simulação de funções digitais multi-valores / Software and new techniques for multi-valued digital functions synthesis, minimization and simulationFregonezi, Marco Aurelio Seluque 07 October 2006 (has links)
Orientador: Alberto Martins Jorge / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-09T06:08:51Z (GMT). No. of bitstreams: 1
Fregonezi_MarcoAurelioSeluque_D.pdf: 1915759 bytes, checksum: 98d687449ed74b262089ad5797a9321d (MD5)
Previous issue date: 2006 / Resumo: Este trabalho consiste na análise de regras de síntese e minimização de funções digitais multi-valores e na criação de um software para a realização automatizada da síntese empregando as regras criadas e, também, na criação de um software para simulação de portas lógicas e circuitos digitais multi-valores. Todas essas ações são coerentes entre si. A partir de uma tabela verdade, pode-se gerar uma expressão algébrica por meio do software que realiza a síntese; a partir dessa expressão, pode-se construir um circuito no simulador lógico criado para a observação do resultado; pode-se, também, usar um simulador analógico (SPICE ¿, por exemplo) para verificar a viabilidade da implementação física do circuito. Observa-se que o resultado obtido no simulador analógico é igual ao obtido no simulador lógico criado, que também é coerente com a tabela verdade original / Abstract: This work consists in the investigation of rules for synthesis and minimization of digital multi-valued functions; in the creation of a software for automated performing of synthesis applying the proposed rules and also of a software for multi-valued logic gates and circuits simulation. All those features are jointly coherent. Starting with a truth-table, it is possible to generate an algebraic expression using the implemented software; starting from that expression, a circuit can be constructed using the created logic simulator to analyze the result. An analogical simulator (like SPICE ¿, for example) can be used to verify the viability of the circuit physical implementation. It is observed that the result obtained with the analogical simulator is equivalent to the result from the logic simulator; with is also coherent to the given truth table / Doutorado / Eletrônica e Microeletrônica / Doutor em Engenharia Elétrica
|
5 |
Fibrilação de logicas na hierarquia de LeibnizFernández, Victor Leandro 30 June 2005 (has links)
Orientador: Marcelo Esteban Coniglio / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T20:57:48Z (GMT). No. of bitstreams: 1
Fernandez_VictorLeandro_D.pdf: 6531217 bytes, checksum: 2a972c9e9fa860af8f9cc57b3e1bb73d (MD5)
Previous issue date: 2005 / Resumo: Neste trabalho investigamos com um enfoque abstrato um processo de combinações de lógicas
conhecido como Fibrilação de lógicas. Em particular estudamos a transferência, mediante fibrilação, de certas propriedades intrínsecas às lógicas proposicionais. As noções mencionadas são as de protoalgebrizabilidade, equivalencialidade e algebrizabilidade. Ditas noções fazem parte da "Hierarquia de Leibniz" , conceito fundamental da chamada Lógica Algébrica Abstrata. Tal hierarquia classifica as diferentes lógicas segundo o seu grau de algebrizabilidade. Assim, nesta tese estudaremos se, quando duas lógicas possuem alguma
dessas propriedades, a fibrilação delas possui também tal característica. Com o objetivo de diferençar os diferentes modos de fibrilação existentes na literatura, analisamos duas maneiras de fibrilar lógicas: Fibrilação categorial (ou C-fibrilação) e Fibrilação no sentido de D. Gabbay (G-fibrilação). Também estudamos uma variante da Gfibrilação de lógicas conhecida como Fusão de lógicas. Assim, damos diferentes condições que devem valer para que a C-fibrilação de uma lógica protoalgébrica seja também protoalgébrica, e procedemos de forma similar com as outras propriedades que constituem a Hierarquia de Leibniz. No caso da G-fibrilação e da fusão de lógicas chegamos a diversos resultados análogos aos anteriores, os quais permitem ter uma
visão geral da relação entre Lógica Algébrica Abstrata e as Combinações de lógicas / Abstract: ln this thesis we investigate, with an abstract approach, a process of combinations of logics
known as fibring of logics. ln particular we study the transference by fibring of certain properties, intrinsic to propositionallogics: protoalgebricity, equivalenciality and algebraizability. The notions above belong to the "Leibniz Hierarchy", a fundamental concept of the so-called Abstract Algebraic Logic. Such hierarchy classifies the logics according to its algebraizability degree. So, in this thesis we will study whether, given two logics having some of these properties, the fibring of them still has that property. With the aim of distinguishing the different techniques of fibring existing in the literature, we analyze two methods of fibring logics: Categorial Fibring (or C-fibring) and Fibring in D. Gabbay's sense (G-fibring). We also study a variant of G-fibring known as fusion of logics. So, we give different conditions that must hold in order to obtain a protoalgebraic logic
by means of C-fibring of protoalgebric logics. We proceed in a similar way with the other properties that constitutes the Leibniz Hierarchy. With respect to G-fibring and fusion, we arrive to similar results which allow us to get an overview of the relation between Abstract AIgebraic Logic and the subject of combinations of logics / Doutorado / Doutor em Filosofia
|
6 |
Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendosVenancio, Rafael Duarte Oliveira 13 March 2013 (has links)
O presente trabalho visa entender como o rádio se distingue dos demais sons do mundo. A hipótese aqui formulada é a de que o rádio, em sua definição, é uma linguagem, e não um aparelho. Dessa maneira, há a busca por uma caracterização da linguagem radiofônica seguindo as ideias implicadas em uma Estética da Linguagem (Derrida e antiessencialistas como Ziff, Weitz e Kennick). Com isso, há um estudo detalhado do rádio em seu jogo de linguagem (Wittgenstein) e em seus diferendos (Lyotard), considerados aqui enquanto parergon e ergon, ou seja, enquanto recorte e modelo operacional da linguagem em sua intersecção com o mundo. Para a investigação do jogo de linguagem, foram utilizados conteúdos relacionados à Filosofia Analítica, à Lógica Algébrica e à Teoria dos Jogos para desenvolver um método analítico denonimado Jogo Lógico, voltado para o estudo de jogos de linguagem comunicacionais. Já para a investigação dos diferendos, foram utilizadas as ideias pragmáticas acerca da performatividade e da lógica ilocucionária (Austin e Searle) para analisar os gêneros radiofônicos (a saber: musical, radiojornalismo, esportivo, variedades [talk radio], humorístico, ficção e publicidade). Essas duas investigações formam aquilo que é chamado aqui de Gramática do Rádio - considerando o conceito wittgensteiniano de gramática -, o ponto nodal que nos permite caracterizar o rádio enquanto linguagem. / The present work aims to understand how the radio distinguishes itself from other sounds of the world. The hypothesis formulated here is that the radio, in its definition, is a language, not a machine. Thus, there is the search for a characterization of radio\'s language following the ideas involved in an Aesthetics of Language (Derrida and anti-essentialists like Ziff, Weitz and Kennick). Here, there is a detailed study of the radio in its language-game (Wittgenstein) and their differends (Lyotard), considered in this work as parergon and ergon, i.e. as the cut and the operational model of language in its intersection with the world. For the investigation of the language-game, we used content related to Analytic Philosophy, to Algebraic Logic, and to Game Theory to develop an analytical method called Logic Game, dedicated to the communicative language-games\' study. As for the investigation of differends, we used the pragmatic concepts about the performative and illocutionary logic (Searle and Austin) to analyze the radio genres (ie: music, radio journalism, sports, talk radio, humor, fiction and advertising). These two studies form what is called here the Radio Grammar - considering the Wittgensteinian concept of grammar - the key point that allows us to characterize the radio as a language.
|
7 |
Jogo lógico e a gramática do rádio: analítica de um jogo de linguagem comunicacional e seus diferendosRafael Duarte Oliveira Venancio 13 March 2013 (has links)
O presente trabalho visa entender como o rádio se distingue dos demais sons do mundo. A hipótese aqui formulada é a de que o rádio, em sua definição, é uma linguagem, e não um aparelho. Dessa maneira, há a busca por uma caracterização da linguagem radiofônica seguindo as ideias implicadas em uma Estética da Linguagem (Derrida e antiessencialistas como Ziff, Weitz e Kennick). Com isso, há um estudo detalhado do rádio em seu jogo de linguagem (Wittgenstein) e em seus diferendos (Lyotard), considerados aqui enquanto parergon e ergon, ou seja, enquanto recorte e modelo operacional da linguagem em sua intersecção com o mundo. Para a investigação do jogo de linguagem, foram utilizados conteúdos relacionados à Filosofia Analítica, à Lógica Algébrica e à Teoria dos Jogos para desenvolver um método analítico denonimado Jogo Lógico, voltado para o estudo de jogos de linguagem comunicacionais. Já para a investigação dos diferendos, foram utilizadas as ideias pragmáticas acerca da performatividade e da lógica ilocucionária (Austin e Searle) para analisar os gêneros radiofônicos (a saber: musical, radiojornalismo, esportivo, variedades [talk radio], humorístico, ficção e publicidade). Essas duas investigações formam aquilo que é chamado aqui de Gramática do Rádio - considerando o conceito wittgensteiniano de gramática -, o ponto nodal que nos permite caracterizar o rádio enquanto linguagem. / The present work aims to understand how the radio distinguishes itself from other sounds of the world. The hypothesis formulated here is that the radio, in its definition, is a language, not a machine. Thus, there is the search for a characterization of radio\'s language following the ideas involved in an Aesthetics of Language (Derrida and anti-essentialists like Ziff, Weitz and Kennick). Here, there is a detailed study of the radio in its language-game (Wittgenstein) and their differends (Lyotard), considered in this work as parergon and ergon, i.e. as the cut and the operational model of language in its intersection with the world. For the investigation of the language-game, we used content related to Analytic Philosophy, to Algebraic Logic, and to Game Theory to develop an analytical method called Logic Game, dedicated to the communicative language-games\' study. As for the investigation of differends, we used the pragmatic concepts about the performative and illocutionary logic (Searle and Austin) to analyze the radio genres (ie: music, radio journalism, sports, talk radio, humor, fiction and advertising). These two studies form what is called here the Radio Grammar - considering the Wittgensteinian concept of grammar - the key point that allows us to characterize the radio as a language.
|
8 |
Semantica algebrica de traduções possiveisBueno-Soler, Juliana, 1976- 31 August 2004 (has links)
Orientadores: Marcelo Esteban Coniglio, Carlos Caleiro / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Filosofia e Ciencias Humanas / Made available in DSpace on 2018-08-04T00:28:23Z (GMT). No. of bitstreams: 1
Bueno-Soler_Juliana_M.pdf: 944055 bytes, checksum: 560404307eedeebf3b45f7ca82f30d78 (MD5)
Previous issue date: 2004 / Mestrado / Filosofia / Mestre em Filosofia
|
Page generated in 0.0727 seconds