Acesso mais rápido do que o navegador!
121 relações: Adolf Abraham Halevi Fraenkel, Akihiro Kanamori, Análise complexa, Análise real, Antinomia, Aritmética, Arthur Moritz Schoenflies, Axioma da escolha, Axioma da separação, Axioma da substituição, Axioma do infinito, Axiomas de Peano, Axiomas de Zermelo-Fraenkel, Bernard Bolzano, Bertrand Russell, Bioinformática, Cardinal inacessível, Cardinal mensurável, Classe (teoria dos conjuntos), Combinatória, Complementar, Conjunto, Conjunto de partes, Conjunto finito, Conjunto magro, Conjunto universo, Conjunto vazio, Consistência, Construtivismo (matemática), Determinismo, Diagrama de Venn, Diferença simétrica, Edward Nelson, Elemento (matemática), Ernst Zermelo, Fórmula atômica, Felix Klein, Forçamento, Função bijectiva, Função indicadora, Fundamentos da matemática, Geometria algébrica, Georg Cantor, Georg Kreisel, Henri Lebesgue, Hermann Weyl, Hipótese do continuum, Indução transfinita, Infinito, Interseção, ..., John von Neumann, Julius König, Karl Weierstrass, Keith Devlin, Kronecker, Kurt Gödel, Lógica clássica, Lógica difusa, Lógica intuicionista, Lógica matemática, Leopold Kronecker, Lotfali Askar-Zadeh, Ludwig Wittgenstein, Luitzen Egbertus Jan Brouwer, Matemática, Matemática da Grécia Antiga, Matemática indiana, Matthew Foreman, Máquina de Turing, Modelo booliano valorado, Modelo relacional, Mundo ocidental, Número, Número algébrico, Número cardinal, Número natural, Número ordinal, Número real, Ontologia, Operação binária, Orientação a objetos, Oriente, Par ordenado, Paradoxo, Paradoxo de Burali-Forti, Paradoxo de Russell, Paul Bernays, Paul Cohen, Princípio da bivalência, Principia Mathematica, Produto cartesiano, Propriedade de grande cardinal, Relação binária, Reta real, Richard Dedekind, Século V a.C., Século XIX, Século XX, Sistema axiomático, Springer Science+Business Media, Subconjunto, Supremo e ínfimo, Teorema Finito de Ramsey, Teoria da computação, Teoria das categorias, Teoria de conjuntos de Zermelo, Teoria dos conjuntos de Von Neumann-Bernays-Gödel, Teoria dos modelos, Teoria dos números, Teoria hiperaritmética, Teoria ingênua dos conjuntos, Thoralf Skolem, Topologia algébrica, Topologia geral, Trigonometria, União (matemática), Universo construível, Universo de von Neumann, Urelemento, Wilhelm Franz Meyer, Zenão de Eleia. Expandir índice (71 mais) »
Adolf Abraham Halevi Fraenkel
Adolf Abraham Halevi Fraenkel (אברהם הלוי פרנקל.; Munique, — Jerusalém) foi um matemático judeu nascido e criado na Alemanha.
Novo!!: Teoria dos conjuntos e Adolf Abraham Halevi Fraenkel · Veja mais »
Akihiro Kanamori
(Tóquio) é um matemático estadunidense nascido no Japão.
Novo!!: Teoria dos conjuntos e Akihiro Kanamori · Veja mais »
Análise complexa
A análise complexa, também conhecida como a teoria das funções de variável complexa, é o ramo da matemática que investiga as funções de números complexos.
Novo!!: Teoria dos conjuntos e Análise complexa · Veja mais »
Análise real
Integral como região sob a curva. Definição de limite. Análise real é o ramo da análise matemática que estuda o comportamento dos números reais, das sequências e séries de números reais e das funções reais.
Novo!!: Teoria dos conjuntos e Análise real · Veja mais »
Antinomia
Uma antinomia é uma afirmação simultânea de duas proposições (teses, sentenças etc.) contraditórias entre si.
Novo!!: Teoria dos conjuntos e Antinomia · Veja mais »
Aritmética
Tabela de adição (Tabela de Dupla Entrada em português europeu) A aritmética (da palavra grega ἀριθμός, arithmós, "número") é o ramo mais elementar e antigo da matemática, lida com as operações possíveis entre os números; é utilizada por quase todo ser humano: seja em tarefas cotidianas, seja em tarefas científicas ou negociais.
Novo!!: Teoria dos conjuntos e Aritmética · Veja mais »
Arthur Moritz Schoenflies
Arthur Moritz Schoenflies (Gorzów Wielkopolski, — Frankfurt am Main) foi um matemático alemão.
Novo!!: Teoria dos conjuntos e Arthur Moritz Schoenflies · Veja mais »
Axioma da escolha
Na matemática, o axioma da escolha é um axioma da teoria dos conjuntos equivalente à afirmação "o produto de uma coleção não-vazia de conjuntos é não-vazio".
Novo!!: Teoria dos conjuntos e Axioma da escolha · Veja mais »
Axioma da separação
O Axioma da separação (também conhecido como Axioma da compreensão ou Axioma de especificação) é um dos axiomas (ou, mais precisamente, um dos esquemas de axiomas) que fazem parte dos Axiomas de Zermelo-Fraenkel da Teoria dos Conjuntos.
Novo!!: Teoria dos conjuntos e Axioma da separação · Veja mais »
Axioma da substituição
Em teoria dos conjuntos, o axioma da substituição é um esquema de axiomas que garante a existência de um conjunto que é imagem de outro conjunto.
Novo!!: Teoria dos conjuntos e Axioma da substituição · Veja mais »
Axioma do infinito
Na teoria dos conjuntos, a teoria do Axioma do Infinito é aquele que garante a existência de um conjunto infinito.
Novo!!: Teoria dos conjuntos e Axioma do infinito · Veja mais »
Axiomas de Peano
Em lógica matemática, os axiomas de Peano, também conhecidos como os axiomas de Dedekind-Peano ou postulados de Peano, são um conjunto de axiomas para os números naturais apresentado pelo matemático italiano do século XIX Giuseppe Peano.
Novo!!: Teoria dos conjuntos e Axiomas de Peano · Veja mais »
Axiomas de Zermelo-Fraenkel
Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.
Novo!!: Teoria dos conjuntos e Axiomas de Zermelo-Fraenkel · Veja mais »
Bernard Bolzano
Bernard Placidus Johann Nepomuk Bolzano (Praga, Boémia, actual República Checa, — Praga) foi um padre católico, matemático, teólogo e filósofo da antiga Boémia, que pesquisou também problemas ligados ao espaço, à força e à propagação de ondas.
Novo!!: Teoria dos conjuntos e Bernard Bolzano · Veja mais »
Bertrand Russell
Bertrand Arthur William Russell, 3.º Conde Russell OM FRS (Trelleck, País de Gales, 18 de maio de 1872 — Penrhyndeudraeth, País de Gales, 2 de fevereiro de 1970) foi um dos mais influentes matemáticos, filósofos, ensaístas, historiadores e lógicos que viveram no.
Novo!!: Teoria dos conjuntos e Bertrand Russell · Veja mais »
Bioinformática
Mapa do cromossomo X humano (a partir do site NCBI). O mapeamento do genoma humano é uma das maiores conquistas da bioinformática Bioinformática é um campo interdisciplinar que corresponde à aplicação das técnicas da informática, no sentido de análise da informação, nas áreas de estudo da biologia.
Novo!!: Teoria dos conjuntos e Bioinformática · Veja mais »
Cardinal inacessível
Em matemática, especialmente em teoria dos conjuntos, um número cardinal \kappa^ é denominado inacessível se \kappa^ é um cardinal regular, não enumerável e limite forte.
Novo!!: Teoria dos conjuntos e Cardinal inacessível · Veja mais »
Cardinal mensurável
Em matemática, especialmente em teoria dos conjuntos, um cardinal \kappa^ não enumerável é denominado mensurável se existe uma medida \kappa^-aditiva, valorada em \left\ (ou seja, bivalente) e náo trivial sobre o conjunto potência \mathcal\! \left(\kappa \right).
Novo!!: Teoria dos conjuntos e Cardinal mensurável · Veja mais »
Classe (teoria dos conjuntos)
Em teoria dos conjuntos, uma classe (também chamada coleção ou família) é uma coleção (não necessariamente um conjunto, por exemplo a classe de todos os conjuntos) constituída de outros conjuntos (ou outros objetos matemáticos) de um espaço dado.
Novo!!: Teoria dos conjuntos e Classe (teoria dos conjuntos) · Veja mais »
Combinatória
A combinatória é um ramo da matemática que estuda coleções finitas de elementos que satisfazem critérios específicos determinados e se preocupa, em particular, com a "contagem" de elementos nessas coleções (combinatória enumerativa), com decidir se certo objeto "ótimo" existe (combinatória extremal) e com estruturas "algébricas" que esses objetos possam ter (combinatória algébrica).
Novo!!: Teoria dos conjuntos e Combinatória · Veja mais »
Complementar
A área em vermelho é o complementar de ''A'' em ''U'', A^c~~~.
Novo!!: Teoria dos conjuntos e Complementar · Veja mais »
Conjunto
Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.
Novo!!: Teoria dos conjuntos e Conjunto · Veja mais »
Conjunto de partes
A família de todos os subconjuntos de um conjunto dado A é chamado de conjunto de partes (ou conjunto potência) de A, denotado por P(A) ou 2^A.
Novo!!: Teoria dos conjuntos e Conjunto de partes · Veja mais »
Conjunto finito
Intuitivamente, um conjunto é finito quando é possível contar seus elementos e a contagem termina.
Novo!!: Teoria dos conjuntos e Conjunto finito · Veja mais »
Conjunto magro
O conjunto magro ou conjunto de primeira categoria é um conceito de especial importância na análise funcional em áreas da matemática como a topologia geral e a teoria descritiva de conjuntos.
Novo!!: Teoria dos conjuntos e Conjunto magro · Veja mais »
Conjunto universo
O Conjunto Universo, também conhecido como Conjunto Verdade, é uma representação de todos os elementos possíveis em dado conjunto.
Novo!!: Teoria dos conjuntos e Conjunto universo · Veja mais »
Conjunto vazio
Em matemática, mais especificamente em teoria dos conjuntos, o conjunto vazio é o único conjunto que não possui elementos.
Novo!!: Teoria dos conjuntos e Conjunto vazio · Veja mais »
Consistência
Na lógica clássica dedutiva, uma teoria é chamada de consistente se não contém contradição.
Novo!!: Teoria dos conjuntos e Consistência · Veja mais »
Construtivismo (matemática)
Na filosofia da matemática, o construtivismo afirma que é preciso encontrar (ou "construir") um objeto matemático para provar que ele existe.
Novo!!: Teoria dos conjuntos e Construtivismo (matemática) · Veja mais »
Determinismo
Determinismo (do verbo determinar, do latim determinare: a adição do prefixo de -"para fora" - e terminare - terminar, limitar, finalizar.) é a teoria filosófica de que todo acontecimento (inclusive o mental) é explicado pela determinação, ou seja, por relações de causalidade.
Novo!!: Teoria dos conjuntos e Determinismo · Veja mais »
Diagrama de Venn
Cirílico. Designam-se por diagramas de Venn os diagramas usados em matemática para simbolizar graficamente propriedades, axiomas e problemas relativos aos conjuntos e sua teoria.
Novo!!: Teoria dos conjuntos e Diagrama de Venn · Veja mais »
Diferença simétrica
Em matemática, a diferença simétrica de dois conjuntos é o conjunto de elementos que estão em um dos conjuntos, e não em sua interseção.
Novo!!: Teoria dos conjuntos e Diferença simétrica · Veja mais »
Edward Nelson
Edward Nelson (Decatur, Geórgia, —) foi um matemático estadunidense.
Novo!!: Teoria dos conjuntos e Edward Nelson · Veja mais »
Elemento (matemática)
Na matemática, um elemento, ou membro, é um dos objetos distintos que constituem um conjunto.
Novo!!: Teoria dos conjuntos e Elemento (matemática) · Veja mais »
Ernst Zermelo
Ernst Friedrich Ferdinand Zermelo (Berlim, 27 de julho de 1871 — Friburgo, 21 de maio de 1953) foi um matemático e filósofo alemão, cujo trabalho teve influência direta nos fundamentos da matemática.
Novo!!: Teoria dos conjuntos e Ernst Zermelo · Veja mais »
Fórmula atômica
Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas.
Novo!!: Teoria dos conjuntos e Fórmula atômica · Veja mais »
Felix Klein
Felix Christian Klein (Düsseldorf, — Göttingen) foi um matemático alemão.
Novo!!: Teoria dos conjuntos e Felix Klein · Veja mais »
Forçamento
Em teoria dos conjuntos, forçamento (em inglês, forcing) é uma técnica inventada por Paul Cohen para provar resultados de consistência e independência.
Novo!!: Teoria dos conjuntos e Forçamento · Veja mais »
Função bijectiva
Uma função bijetiva, função bijetora, correspondência biunívoca ou bijeção, é uma função injectiva e sobrejectiva (injetora e sobrejetora, como é mais comum em português brasileiro).
Novo!!: Teoria dos conjuntos e Função bijectiva · Veja mais »
Função indicadora
Na matemática, a função indicadora de um conjunto é a função que indica se o elemento pertence ao conjunto, assumindo neste caso o valor 1, e 0 em caso contrário.
Novo!!: Teoria dos conjuntos e Função indicadora · Veja mais »
Fundamentos da matemática
Denomina-se fundamentos da matemática a uma área de estudo que abrange tanto problemas da filosofia da matemática, como da lógica e da matemática.
Novo!!: Teoria dos conjuntos e Fundamentos da matemática · Veja mais »
Geometria algébrica
Esta superfície de Togliatti é uma superfície algébrica de grau cinco A geometria algébrica é uma área da matemática que combina técnicas de álgebra abstrata, especialmente de álgebra comutativa, com a linguagem e os problemas da geometria.
Novo!!: Teoria dos conjuntos e Geometria algébrica · Veja mais »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (São Petersburgo, 3 de março de 1845 – Halle, 6 de janeiro de 1918) foi um matemático alemão nascido no Império Russo.
Novo!!: Teoria dos conjuntos e Georg Cantor · Veja mais »
Georg Kreisel
Georg Kreisel (Graz, – Salzburgo) foi um matemático britânico.
Novo!!: Teoria dos conjuntos e Georg Kreisel · Veja mais »
Henri Lebesgue
Henri Léon Lebesgue Henri Léon Lebesgue (Beauvais, 28 de junho de 1875 — Paris, 26 de julho de 1941) foi um matemático francês.
Novo!!: Teoria dos conjuntos e Henri Lebesgue · Veja mais »
Hermann Weyl
Hermann Klaus Hugo Weyl (Elmshorn, — Zurique) foi um matemático alemão.
Novo!!: Teoria dos conjuntos e Hermann Weyl · Veja mais »
Hipótese do continuum
A hipótese do continuum é uma conjectura proposta por Georg Cantor.
Novo!!: Teoria dos conjuntos e Hipótese do continuum · Veja mais »
Indução transfinita
Em matemática, e em especial na teoria dos conjuntos, a indução transfinita é uma técnica matemática rigorosa que permite provar propriedades para todos números ordinais (ou, de forma mais geral, para qualquer conjunto (ou classe) bem ordenado) a partir de etapas finitas.
Novo!!: Teoria dos conjuntos e Indução transfinita · Veja mais »
Infinito
Ilusão artística de infinito, lembrando a obra de Escher. Infinito (do latim infinitus, símbolo) é a qualidade daquilo que não tem fim.
Novo!!: Teoria dos conjuntos e Infinito · Veja mais »
Interseção
Representação gráfica da interseção entre dois conjuntos Em teoria dos conjuntos, a, é um conjunto de elementos que, simultaneamente, pertencem a dois ou mais conjuntos, representado por ∩. Por exemplo, se o conjunto A possui os elementos e o conjunto B possui os elementos, então interseção do conjunto A com o conjunto B será igual a.
Novo!!: Teoria dos conjuntos e Interseção · Veja mais »
John von Neumann
John von Neumann, nascido Margittai Neumann János Lajos (Budapeste, — Washington, D.C.) foi um matemático húngaro de origem judaica, naturalizado estadunidense.
Novo!!: Teoria dos conjuntos e John von Neumann · Veja mais »
Julius König
Julius König (Kőnig Gyula; Győr, – Budapeste) foi um matemático húngaro.
Novo!!: Teoria dos conjuntos e Julius König · Veja mais »
Karl Weierstrass
Karl Wilhelm Theodor Weierstraß, mais conhecido como Karl Weierstrass (pronúncia Karl Vaiˈɐrʃtras), (Ostenfelde, próximo de Ennigerloh, — Berlim) foi um matemático alemão, professor na Universidade de Berlim.
Novo!!: Teoria dos conjuntos e Karl Weierstrass · Veja mais »
Keith Devlin
Keith J. Devlin é um matemático e escritor científico britânico.
Novo!!: Teoria dos conjuntos e Keith Devlin · Veja mais »
Kronecker
Kronecker pode se referir a.
Novo!!: Teoria dos conjuntos e Kronecker · Veja mais »
Kurt Gödel
Kurt Friedrich Gödel (Brünn, 28 de abril de 1906 — Princeton, 14 de janeiro de 1978) foi um filósofo, matemático e lógico austríaco, naturalizado norte-americano.
Novo!!: Teoria dos conjuntos e Kurt Gödel · Veja mais »
Lógica clássica
Lógica clássica identifica uma classe de Lógica matemática que têm sido mais intensamente estudado e mais amplamente utilizado.
Novo!!: Teoria dos conjuntos e Lógica clássica · Veja mais »
Lógica difusa
A lógica difusa ou lógica fuzzy é a forma de lógica multivalorada, na qual os valores verdade das variáveis podem ser qualquer número real entre 0 (correspondente ao valor falso) e 1 (correspondente ao valor verdadeiro), diferentemente do que se verifica na lógica booliana (também chamada, às vezes, lógica nítida), segundo a qual os valores lógicos podem ser apenas 0 ou 1.
Novo!!: Teoria dos conjuntos e Lógica difusa · Veja mais »
Lógica intuicionista
Lógica intuicionista, ou lógica construtivista, é o sistema de lógica simbólica desenvolvido por Arend Heyting para prover uma base formal para o intuicionismo de Brouwer.
Novo!!: Teoria dos conjuntos e Lógica intuicionista · Veja mais »
Lógica matemática
A lógica matemática é uma subárea da matemática que explora as aplicações da lógica formal para a matemática.
Novo!!: Teoria dos conjuntos e Lógica matemática · Veja mais »
Leopold Kronecker
Leopold Kronecker (Legnica, 7 de dezembro de 1823 — Berlim, 29 de dezembro de 1891) foi um matemático alemão.
Novo!!: Teoria dos conjuntos e Leopold Kronecker · Veja mais »
Lotfali Askar-Zadeh
Lotfali Askar-Zadeh (Lütfi Əsgərzadə, لطفعلی عسکرزاده), mais conhecido como Lotfi A. Zadeh (Bacu, 4 de fevereiro de 1921 - Berkeley, Califórnia 6 de setembro de 2017), foi um matemático, engenheiro eletrônico e cientista da computação estadunidense nascido no Azerbaijão, e professor de ciência da computação na Universidade da Califórnia em Berkeley.
Novo!!: Teoria dos conjuntos e Lotfali Askar-Zadeh · Veja mais »
Ludwig Wittgenstein
Ludwig Joseph Johann Wittgenstein (Viena, 26 de Abril de 1889 — Cambridge, 29 de Abril de 1951) foi um filósofo austríaco, naturalizado britânico.
Novo!!: Teoria dos conjuntos e Ludwig Wittgenstein · Veja mais »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer, mais conhecido como L. E. J. Brouwer (Overschie, 27 de fevereiro de 1881 — Blaricum, 2 de dezembro de 1966), foi um matemático holandês.
Novo!!: Teoria dos conjuntos e Luitzen Egbertus Jan Brouwer · Veja mais »
Matemática
problemas matemáticos Matemática (dos termos gregos: μάθημα, transliterado máthēma, 'ciência', conhecimento' ou 'aprendizagem; e μαθηματικός, transliterado mathēmatikós, 'inclinado a aprender') é a ciência do raciocínio lógico e abstrato, que estuda quantidades (teoria dos números), espaço e medidas (geometria), estruturas, variações e estatística.
Novo!!: Teoria dos conjuntos e Matemática · Veja mais »
Matemática da Grécia Antiga
A Musa Geometria, no Museu do Louvre A matemática grega clássica ou matemática da Grécia Antiga é a matemática escrita em grego dentre ~600 a.C. (época em que viveu Tales de Mileto) até o fechamento da Academia de Platão em 529 d.C. Egípcios, babilônicos e chineses, muito antes do século VI a.C., já eram já capazes de efetuar cálculos e medidas de ordem prática com grande precisão.
Novo!!: Teoria dos conjuntos e Matemática da Grécia Antiga · Veja mais »
Matemática indiana
A matemática indiana surgiu no subcontinente indianoEncyclopædia Britannica (Kim Plofker) 2007, p. 1 a partir de (Hayashi 2005, pp. 360–361) e desenvolveu-se relativamente isolada, sem influência exterior, mas exportando seu conhecimento, até o final do.
Novo!!: Teoria dos conjuntos e Matemática indiana · Veja mais »
Matthew Foreman
Matthew Dean Foreman (Los Alamos, Novo México) é um matemático estadunidense, que trabalha com os fundamentos da matemática.
Novo!!: Teoria dos conjuntos e Matthew Foreman · Veja mais »
Máquina de Turing
Representação artística de uma máquina de Turing A Máquina de Turing é um dispositivo teórico conhecido como máquina universal, que foi concebido pelo matemático britânico Alan Turing (1912-1954), muitos anos antes de existirem os modernos computadores digitais (o artigo de referência foi publicado em 1936).
Novo!!: Teoria dos conjuntos e Máquina de Turing · Veja mais »
Modelo booliano valorado
Na lógica matemática, um modelo booleano valorado é uma generalização da noção Tarskiana de estrutura da teoria dos modelos.
Novo!!: Teoria dos conjuntos e Modelo booliano valorado · Veja mais »
Modelo relacional
O modelo relacional é um modelo de dados representativo (ou de implementação), adequado a ser o modelo subjacente de um Sistema Gerenciador de Banco de Dados (SGBD), que se baseia no princípio de que todos os dados estão armazenados em tabelas (ou, matematicamente falando, relações).
Novo!!: Teoria dos conjuntos e Modelo relacional · Veja mais »
Mundo ocidental
via.
Novo!!: Teoria dos conjuntos e Mundo ocidental · Veja mais »
Número
Número é um objeto abstrato da matemática usado para descrever quantidade, ordem ou medida.
Novo!!: Teoria dos conjuntos e Número · Veja mais »
Número algébrico
Em matemática, um número algébrico é qualquer número real ou complexo que é solução de alguma equação polinomial com coeficientes inteiros.
Novo!!: Teoria dos conjuntos e Número algébrico · Veja mais »
Número cardinal
O cardinal indica o número ou quantidade dos elementos constituintes de um conjunto.
Novo!!: Teoria dos conjuntos e Número cardinal · Veja mais »
Número natural
Um número natural é um número inteiro não negativo \. Em alguns contextos, número natural é definido como um número inteiro positivo, sendo também o zero considerado como um número natural (mesmo não sendo positivo e sim nulo/neutro): \. O conjunto dos números naturais é, comumente, denotado pelo símbolo \mathbb.
Novo!!: Teoria dos conjuntos e Número natural · Veja mais »
Número ordinal
Na teoria dos conjuntos, um número ordinal, ou só ordinal, é um tipo de ordem de um conjunto bem-ordenado.
Novo!!: Teoria dos conjuntos e Número ordinal · Veja mais »
Número real
Um número real é um valor que representa uma quantidade (nula, positiva ou negativa) ao longo de uma linha contínua, ou seja um ponto sobre uma linha reta infinita, chamada de reta numérica ou reta real, onde os pontos correspondentes aos números inteiros são igualmente espaçados.
Novo!!: Teoria dos conjuntos e Número real · Veja mais »
Ontologia
Ontologia (do grego ontos "ente" e -logia, "discurso lógico"; no conjunto, "ciência do ser") é o ramo da filosofia que estuda conceitos como existência, ser, devir e realidade. Inclui as questões de como as entidades são agrupadas em categorias básicas e quais dessas entidades existem no nível mais fundamental. A ontologia é às vezes referida como a ciência do ser e pertence ao maior ramo da filosofia conhecido como metafísica. Os ontologistas frequentemente tentam determinar quais são as categorias ou tipos mais altos e como formam um sistema de categorias que fornece uma classificação abrangente de todas as entidades. As categorias comumente propostas incluem substâncias, propriedades, relações, estados de coisas e eventos. Estas categorias são caracterizadas por conceitos ontológicos fundamentais, como particularidade e universalidade, abstração e concretude, ou possibilidade e necessidade. De especial interesse é o conceito de dependência ontológica, que determina se as entidades de uma categoria existem no nível mais fundamental. As discordâncias dentro da ontologia são muitas vezes sobre se as entidades pertencentes a uma determinada categoria existem e, em caso afirmativo, como se relacionam com outras entidades. Quando usado como substantivo contável, os termos "ontologia" e "ontologias" referem-se não à ciência do ser, mas às teorias dentro da ciência do ser. As teorias ontológicas podem ser divididas em vários tipos de acordo com seus compromissos teóricos. As ontologias monocategóricas sustentam que há apenas uma categoria básica, o que é rejeitado pelas ontologias policategóricas. As ontologias hierárquicas afirmam que algumas entidades existem em um nível mais fundamental e que outras entidades dependem delas. As ontologias planas, por outro lado, negam tal status privilegiado a qualquer entidade.
Novo!!: Teoria dos conjuntos e Ontologia · Veja mais »
Operação binária
Na matemática, uma operação binária ou 2-ária é uma operação com dois operandos.
Novo!!: Teoria dos conjuntos e Operação binária · Veja mais »
Orientação a objetos
Programação Orientada a Objeto (também conhecida pela sua sigla POO) ou Modelagem Orientada ao Objeto, é um modelo/paradigma de projeto e programação de software baseado na abstração digital do mundo real, através da composição e interação entre diversas unidades chamadas de 'objetos' e as classes (representando objetos reais contendo identidade, propriedades e, métodos); baseado em quatro principais componentes da programação: abstração digital, encapsulamento, herança e, polimorfismo.
Novo!!: Teoria dos conjuntos e Orientação a objetos · Veja mais »
Oriente
c. 1876 O Oriente (do latim oriens, de oriri «nascer, surgir») é um dos quatro pontos cardeais, sendo sinônimo de leste (ou este) e levante.
Novo!!: Teoria dos conjuntos e Oriente · Veja mais »
Par ordenado
Em matemática, um par ordenado (a, b) é um par de objetos matemáticos cuja ordem de ocorrência desses objetos é significante.
Novo!!: Teoria dos conjuntos e Par ordenado · Veja mais »
Paradoxo
Um paradoxo é uma declaração aparentemente verdadeira que leva a uma contradição lógica, ou a uma situação que contradiz a intuição comum.
Novo!!: Teoria dos conjuntos e Paradoxo · Veja mais »
Paradoxo de Burali-Forti
O Paradoxo de Burali-Forti, proposto em 1897 pelo matemático italiano Cesare Burali-Forti, diz que não existe um número ordinal maior que todos outros números ordinais.
Novo!!: Teoria dos conjuntos e Paradoxo de Burali-Forti · Veja mais »
Paradoxo de Russell
O Paradoxo de Russell é um paradoxo descoberto por Bertrand Russell em 1901 e que mostra que no sistema do livro de Frege Leis fundamentais da aritmética pode ser derivada uma contradição.
Novo!!: Teoria dos conjuntos e Paradoxo de Russell · Veja mais »
Paul Bernays
Paul Isaac Bernays (Londres, — Zurique) foi um matemático suíço.
Novo!!: Teoria dos conjuntos e Paul Bernays · Veja mais »
Paul Cohen
Paul Cohen pode se referir a.
Novo!!: Teoria dos conjuntos e Paul Cohen · Veja mais »
Princípio da bivalência
Em lógica, a semântica princípio da bivalência ou lei da bivalência afirma que toda sentença declarativa que expressa uma proposição de uma teoria sob análise possui um único valor de verdade: ou verdadeiro ou falso.
Novo!!: Teoria dos conjuntos e Princípio da bivalência · Veja mais »
Principia Mathematica
''Principia Mathematica'' O Principia Mathematica (tradução livre do latim: Princípios Matemáticos) é uma obra de três volumes sobre fundamentos da matemática, escrita por Alfred North Whitehead e seu aluno Bertrand Russell e publicada nos anos de 1910, 1912 e 1913.
Novo!!: Teoria dos conjuntos e Principia Mathematica · Veja mais »
Produto cartesiano
Em matemática, dados dois conjuntos X e Y, o produto cartesiano (ou produto direto) desses dois (escrito como X × Y) é o conjunto de todos os pares ordenados, cujo primeiro termo pertence a X; e o segundo, a Y. O produto cartesiano recebe seu nome de René Descartes, cuja formulação da geometria analítica deu origem a este conceito.
Novo!!: Teoria dos conjuntos e Produto cartesiano · Veja mais »
Propriedade de grande cardinal
Em matemática, especialmente na área da teoria dos conjuntos, uma propriedade de grande cardinal é um certo tipo de propriedade de números cardinais transfinitos.
Novo!!: Teoria dos conjuntos e Propriedade de grande cardinal · Veja mais »
Relação binária
Relação binária Relação bináriaNa matemática e na lógica, uma relação binária ou 2-ária é uma relação entre dois elementos, sendo um conjunto de pares ordenados.
Novo!!: Teoria dos conjuntos e Relação binária · Veja mais »
Reta real
Em matemática, a reta real é simplesmente o conjunto dos números reais R. No entanto, este termo é normalmente aplicado quando R é tratado como um espaço de alguma forma, como um espaço topológico ou um espaço vetorial (ou ambos, ou seja, um espaço linear topológico).
Novo!!: Teoria dos conjuntos e Reta real · Veja mais »
Richard Dedekind
Julius Wilhelm Richard Dedekind (Braunschweig, 6 de outubro de 1831 — Braunschweig, 12 de fevereiro de 1916) foi um matemático alemão que fez contribuições importantes para a álgebra abstrata (especialmente na teoria dos anéis), na fundamentação axiomática dos números naturais, na teoria algébrica dos números e na definição de número real.
Novo!!: Teoria dos conjuntos e Richard Dedekind · Veja mais »
Século V a.C.
Milénios: segundo milénio a.C. - primeiro milénio a.C. - primeiro milénio d.C. Séculos: Século VI a.C. - Século V a.C. - Século IV a.C. Este século viu o estabelecimento de Pataliputra como capital do Reino de Mágada.
Novo!!: Teoria dos conjuntos e Século V a.C. · Veja mais »
Século XIX
323x323px O século XIX começou no dia 1 de janeiro de 1801 e terminou no dia 31 de dezembro de 1900.
Novo!!: Teoria dos conjuntos e Século XIX · Veja mais »
Século XX
O século XX iniciou em 1 de janeiro de 1901 e terminou em 31 de dezembro de 2000.
Novo!!: Teoria dos conjuntos e Século XX · Veja mais »
Sistema axiomático
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.
Novo!!: Teoria dos conjuntos e Sistema axiomático · Veja mais »
Springer Science+Business Media
Springer Science+Business Media ou Springer-Verlag, ou ainda, simplesmente Springer é uma editora mundial baseada na Alemanha, a qual publica livros-texto, livros de referência acadêmica, e periódicos de artigos com revisão por pares (peer-review), com foco em ciência, tecnologia, matemática, e medicina.
Novo!!: Teoria dos conjuntos e Springer Science+Business Media · Veja mais »
Subconjunto
Diagrama de Euler ilustrando o fato de que A é subconjunto de B ou, equivalentemente, que B é superconjunto de A Em teoria dos conjuntos, quando todo elemento de um conjunto A é também elemento de um conjunto B, dizemos que A é um subconjunto de B, denotado A \subseteq B (também dito "A é uma parte de B" ou "A está contido em B").
Novo!!: Teoria dos conjuntos e Subconjunto · Veja mais »
Supremo e ínfimo
Em matemática, definem-se os conceitos de majorante/cota superior, minorante/cota inferior, máximo, mínimo, supremo e ínfimo.
Novo!!: Teoria dos conjuntos e Supremo e ínfimo · Veja mais »
Teorema Finito de Ramsey
Em combinatória, o Teorema de Ramsey diz que serão encontrados cliques monocromáticos em qualquer coloração de arestas de um grafo completo suficientemente grande.
Novo!!: Teoria dos conjuntos e Teorema Finito de Ramsey · Veja mais »
Teoria da computação
A teoria da computação é um subcampo da ciência da computação e matemática que busca determinar quais problemas podem ser computados em um dado modelo de computação.
Novo!!: Teoria dos conjuntos e Teoria da computação · Veja mais »
Teoria das categorias
Na matemática, a teoria das categorias provê uma linguagem interdisciplinar capaz de delinear resultados e construções gerais, separando-os dos específicos a cada área, possibilitando a simplificação e clarificação de demonstrações.
Novo!!: Teoria dos conjuntos e Teoria das categorias · Veja mais »
Teoria de conjuntos de Zermelo
Em matemática, a Teoria de conjuntos de Zermelo, abreviada Z, é a apresentação axiomática da Teoria de conjuntos publicada pela primeira vez por Ernst Zermelo em 1908 no seu artigo Pesquisas sobre os fundamentos da teoria de conjuntos.
Novo!!: Teoria dos conjuntos e Teoria de conjuntos de Zermelo · Veja mais »
Teoria dos conjuntos de Von Neumann-Bernays-Gödel
Em fundamentos da matemática, a teoria dos conjuntos de Von Neumann-Bernays-Gödel (NGB) é uma extensão do sistema ZFC para a teoria axiomática dos conjuntos.
Novo!!: Teoria dos conjuntos e Teoria dos conjuntos de Von Neumann-Bernays-Gödel · Veja mais »
Teoria dos modelos
Na matemática, Teoria de Modelos é o estudo da representação de conceitos matemáticos em termos de teoria de conjuntos, ou o estudo de modelos que apoiam sistemas matemáticos.
Novo!!: Teoria dos conjuntos e Teoria dos modelos · Veja mais »
Teoria dos números
números primos, observamos um intrigante e não totalmente explicado padrão, chamado espiral de Ulam. A teoria dos números é o ramo da matemática pura que estuda propriedades dos números em geral, e em particular dos números inteiros, bem como a larga classe de problemas que surge no seu estudo.
Novo!!: Teoria dos conjuntos e Teoria dos números · Veja mais »
Teoria hiperaritmética
Na Teoria da Computabilidade, a Teoria hiperaritmética é uma generalização da Computabilidade de Turing.
Novo!!: Teoria dos conjuntos e Teoria hiperaritmética · Veja mais »
Teoria ingênua dos conjuntos
Na matemática abstrata, a teoria dos conjuntos foi o primeiro desenvolvimento da teoria dos conjuntos, que foi mais tarde remodelada cuidadosamente como a teoria axiomática dos conjuntos.
Novo!!: Teoria dos conjuntos e Teoria ingênua dos conjuntos · Veja mais »
Thoralf Skolem
Thoralf Albert Skolem (Sandsvaer, 23 de maio de 1887 — Oslo, 23 de março de 1963) foi um matemático norueguês, conhecido principalmente por seu trabalho em lógica matemática e teoria dos conjuntos.
Novo!!: Teoria dos conjuntos e Thoralf Skolem · Veja mais »
Topologia algébrica
Topologia algébrica é ramo da matemática que faz a ligação entre a topologia e a álgebra.
Novo!!: Teoria dos conjuntos e Topologia algébrica · Veja mais »
Topologia geral
Topologia geral é um ramo da matemática que preocupa-se com o estudo da generalização dos conceitos de distância, continuidade e convergência.
Novo!!: Teoria dos conjuntos e Topologia geral · Veja mais »
Trigonometria
Trigonometria (do grego trigōnon "triângulo" + metron "medida") é um ramo da matemática que estuda as relações entre os comprimentos de 2 lados de um triângulo retângulo (triângulo onde um dos ângulos mede 90 graus), para diferentes valores de um dos seus ângulos agudos.
Novo!!: Teoria dos conjuntos e Trigonometria · Veja mais »
União (matemática)
Indicação da união entre os conjuntos A e B Em teoria dos conjuntos, a união de dois ou mais conjuntos é o conjunto dos elementos que pertencem a pelo menos um destes conjuntos.
Novo!!: Teoria dos conjuntos e União (matemática) · Veja mais »
Universo construível
Em matemática, o Universo construtível (ou Universo construtível de Gödel ou Hierarquia construtível), denotado por L, é uma classe de conjuntos definida por recursão transfinita.
Novo!!: Teoria dos conjuntos e Universo construível · Veja mais »
Universo de von Neumann
Na matemática, particularmente na teoria de conjuntos de Zermelo-Fraenkel, o universo de von Neumann, hierarquia de von Neumann dos conjuntos, ou hierarquia cumulativa, abreviado V, é uma classe definida por recursão transfinita: a classe dos conjuntos hereditariamente bem fundados.
Novo!!: Teoria dos conjuntos e Universo de von Neumann · Veja mais »
Urelemento
Em matemática, mais exatamente em teoria dos conjuntos, um urelemento ou ur-elemento (onde ur- é um prefixo alemão com o significado de “primordial&rdquo) é um objeto (concreto ou abstrato) que não é um conjunto, mas que pode ser um elemento de um conjunto.
Novo!!: Teoria dos conjuntos e Urelemento · Veja mais »
Wilhelm Franz Meyer
Friedrich Wilhelm Franz Meyer (Magdeburgo, 2 de setembro de 1856 — Königsberg, 11 de abril de 1934) foi um matemático alemão.
Novo!!: Teoria dos conjuntos e Wilhelm Franz Meyer · Veja mais »
Zenão de Eleia
Zenão de Eleia, (Ζήνωνα της Ελείας; cerca de 490/485 a.C. – 430 a.C.?) foi um filósofo pré-socrático da escola eleática que nasceu em Eleia, hoje Vélia, Itália.
Novo!!: Teoria dos conjuntos e Zenão de Eleia · Veja mais »
Redireciona aqui:
Sinolética, Teoria Básica de Conjuntos, Teoria de conjunto, Teoria de conjuntos, Teoria descritiva dos conjuntos, Teoria dos Conjuntos.
