Teoria Axiomatica Dos Conjuntos
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. Indiscernibilidade e identidade em química: aspectos filosóficos e formais
Neste artigo tratamos, de um ponto de vista formal e filosófico, com alguns conceitos que fazem parte da química usual. As teorias da química, e seus conceitos, normalmente são apresentadas de um ponto de vista informal (não axiomatizada), e isso pode trazer dificuldades filosóficas (embora a química propriamente - bem como também as outras disciplin
Manuscrito. Publicado em: 2014-06
-
2. Prova automática de satisfatibilidade módulo teoria aplicada ao método B
Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/E
Publicado em: 2007
-
3. Número: reflexões sobre as conceituações de Russell e Peano
Este trabalho objetivou realizar um estudo sobre a epistemologia filosófica do conceito de número, na qual ainda faz sentido o questionamento: O que é número? Nesta perspectiva, assumiu-se como problemática a dualidade filosófica das conceituações de número, sustentadas pela Axiomática (proposta por Peano) e pela Teoria dos Conjuntos e Lógica (pro
Publicado em: 2006
-
4. Definições de conjunto finito
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
Publicado em: 1995
-
5. Ordens densas, participções e o axioma da escolha
Not informed
Publicado em: 1994
-
6. A semÃntica formal de MooZ
Este trabalho descreve uma semÃntica formal para MooZ, uma extensÃo Âa linguagem Z proposta pelo Grupo de EspecificaÃÃes Formais do DI/UFPE. Os conceitos fundamentais de orientaÃÃo a objetos foram incluÃdos em MooZ: abstraÃÃo, encapsulamento, modularidade e hierarquia. A semÃntica formal à apresentada como uma extensÃo à semÃntica de variedade
Publicado em: 1993
-
7. Modelos da teoria de conjuntos de Zermelo
Not informed
Publicado em: 1991
-
8. Sobre o sistema NFw
Not informed
Publicado em: 1980