Logotipo
Unionpédia
Comunicação
Disponível no Google Play
Novo! Faça o download do Unionpédia em seu dispositivo Android™!
Livre
Acesso mais rápido do que o navegador!
 

Subconjunto

Índice 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").

345 relações: Acoplamento tridimensional, Advanced Encryption Standard, Aerodinâmica, Algoritmo apriori, Algoritmo de Kruskal, Amaya (software), Ambiguidade, Amostra (estatística), Amostra aleatória simples, Analiticidade de funções holomórficas, Análise construtiva, Anel (matemática), Anel comutativo, Anel noetheriano, Aprendizagem supervisionada, Argumento de diagonalização de Cantor, Aritmética de segunda ordem, Autismo regressivo, Axioma da escolha, Axioma da extensão, Axioma da potência, Axioma da união, Axiomas de Peano, Axiomas de probabilidade, Álgebra comutativa, Álgebra de Borel, Álgebra de Kleene, Bibliografia latino-americana, BPP, Cadeia de caracteres, Campo aleatório, Campo aleatório de Markov, Campo vetorial, Cardinalidade, Carro clássico, Cálculo de processos, Código de fonte, Ciência observacional, Classe de complexidade, Classificação de uma classe, Clique, Clojure, Clustering, Cobertura (matemática), Coclasse, Cofinalidade, Combinação, Combinação linear, Compaixão, Compatibilidade reversa, ..., Complementar, Complemento (complexidade), Completude (Dedekind), Comportamento em cascata em redes, Computação granular, Computação multipartidária segura, Congruência (geometria), Conjectura de Erdős–Turán para bases aditivas, Conjunto, Conjunto contável, Conjunto convexo, Conjunto de nível, Conjunto de partes, Conjunto de Smith, Conjunto de Vitali, Conjunto denso, Conjunto denso em lugar nenhum, Conjunto dominante, Conjunto errante, Conjunto gerador de um grupo, Conjunto imagem, Conjunto saturado, Conjunto transitivo, Conjuntos definidos, Consequência lógica, Constante de Chaitin, Construção de Cayley-Dickson, Corpo ordenado, Corpo real fechado, Corte Máximo, Cota de Hamming, Critério de Eisenstein, Curva, Curva diferenciável, DALL-E, Décimo problema de Hilbert, Decomposição matricial, Definição de limite (ε, δ), Demonstração de Furstenberg da infinitude dos números primos, Destilação azeotrópica, Detecção de similaridade de conteúdo, Determinante, Diagrama de Hasse, Diagrama de Venn, Diâmetro, Diferença simétrica, Distribuição de probabilidade condicional, Distribuição de probabilidade conjunta, Distribuição marginal, Domínio (matemática), Domínio de Lipschitz, DOS Plus, Dualidade de Alvis-Curtis, Eficiência de Kaldor-Hicks, Elemento (matemática), Elemento minimal, Elemento neutro, Embeddable Linux Kernel Subset, Endomorfismo, Engenharia de radiodifusão, Erro amostral, Espaço amostral, Espaço de Hausdorff, Espaço euclidiano, Espaço hiperconectado, Espaço paracompacto, Espaço sequencialmente compacto, Espaço topológico, Espaço vetorial, Esquema de aproximação de tempo polinomial, Estado quântico, Estrutura causal, Estrutura de interpretação (lógica), Evento (matemática), Evento (teoria das probabilidades), Evolução de Schramm–Loewner, Expressão regular, Extensão de corpo, Família de conjuntos, Fechamento, Fecho de Kleene, Fecho dedutivo, Fibração de Hopf, Forçamento, Função aritmética, Função desprezível, Função inclusão, Função injectiva, Função localmente integrável, Função massa de probabilidade, Função multivalorada, Função sobrejectiva, Função zeta de Hurwitz, Gadget (teoria da complexidade), Geometria algébrica, Geometria analítica, Google Safe Browsing, Grafóide, Grafo bipartido, Gramática Linear, Grande-O, Grau de transcendência, Grupo localmente compacto, Grupo quociente, Guilda (ecologia), Hiperboloide, Hipergrafo, Hotel de Hilbert, Ideal (teoria dos anéis), Ideal primo, Identidade aditiva, Independência algébrica, Independência linear, Integral de Riemann, Integral múltipla, Inteiro (ciência da computação), Interpretação de Herbrand, Involução (matemática), ISO 3166-2:FI, ISO 3166-2:PT, Isomorfismo, Jogos NFT, Língua cingalesa, Língua kuuk thaayorre, Lógica de Árvore de Computação, Lógica de segunda ordem, Lógica de segunda ordem monádica, Lógica multivalorada, Lógica na ciência da computação, Lema de Zorn, Leonhard Euler, Lightning (conector), Limitantes superiores e inferiores, Limite de uma função, Limites superiores e inferiores, Linguagem ômega, Linguagem de especificação, Linguagem indexada, Linguagem livre de contexto, Linguagem recursivamente enumerável, Lista de crateras lunares, Lista de símbolos lógicos, Lista de símbolos matemáticos, Lista de teorias de primeira ordem, Maioria, Majorante (matemática), Matemática, Matriz de Cauchy, Matriz diagonalizável, Máquina oráculo, Média móvel, Método delta, Métrica de Lévy–Prokhorov, Mecânica de estruturas, Medida de Dirac, Medida de Haar, Medida de Hausdorff, Medida de probabilidade, Medida de recurso delimitado, Medida espectral, Medida exterior de Lebesgue, Menor (álgebra linear), Meta-jogos, Minimização de AFD, MLOps, Modelo booliano valorado, Modelo de Potts, Modelo econômico, Modelo relacional, MoSCoW method, Número aleph, Número de Graham, Número de Mersenne, Número inteiro, Número ordinal, Número racional, Número real, Número sequencial combinatório, NP-completo, NP-equivalente, Otimização, OWL, P/polinomial, Palavra aninhada, Partição de um conjunto, PDFSaM, Permutação parcial, PhpMyAdmin, Poliárvore, Ponto limite, População (estatística), PPAD, Princípio da boa ordenação, Princípio maximal de Hausdorff, Problema da árvore de Steiner, Problema da inspeção de rotas, Problema da mochila, Problema da satisfação de restrições, Problema de Suslin, Problema do caixeiro-viajante, Processo de Bernoulli, Processo de Fleming–Viot, Produto cartesiano, Produto semidireto, Programação de conjunto de resposta, Programação em lógica indutiva, Quártica Klein, QuickBASIC, RANSAC, RawTherapee, RE (complexidade), Receptor GABAA, Rede de confiança, Rede sem escala, Redução (complexidade), Relação (matemática), Relação antissimétrica, Relação bem-fundada, Relação bem-ordenada, Relação binária, Relação de congruência, Relação de equivalência, Relação reflexiva, Relação transitiva, Representação de conhecimento e raciocínio, Restrição de função, Richard Dedekind, RQDA, RSS, Símbolos matemáticos, SchoolTool, Sequência de Lucas, Sigma-álgebra, Sistema de Transição, Sistema Pi, Social commerce, Sociologia, Solarpunk, Soma de Riemann, Soma direta, Somas de Riemann, somas de Darboux e outras somas, Soyuz (família de foguetes), SQL, Subgrupo, Subobjeto, Subsequência, Subvariedade, Suporte (matemática), Supremo e ínfimo, Tamanho, Tautologia (lógica), Tempo ocioso do sistema, Teorema da compacidade, Teorema da função inversa, Teorema da impossibilidade de Arrow, Teorema de Dini, Teorema de Hahn-Banach, Teorema de hierarquia de tempo, Teorema de Knaster–Tarski, Teorema de Löwenheim–Skolem, Teorema de Mittag-Leffler, Teorema de Nielsen–Schreier, Teorema de Rice, Teorema de Steinhaus, Teorema de Stokes, Teorema de Weierstrass, Teorema do gradiente, Teorema do ideal primo booliano, Teorema do ponto fixo de Schauder, Teorema Finito de Ramsey, Teorema Fundamental dos Homomorfismos, Teoremas da incompletude de Gödel, Teoria (lógica matemática), Teoria dos conjuntos, Teoria dos conjuntos de Tarski-Grothendieck, Teoria dos Conjuntos Kripke-Platek, Teoria dos jogos, Teoria dos modelos, Teoria ergódica, Teoria ingênua dos conjuntos, Teste de caixa-preta, Tipo (teoria do modelo), Transdutor de estados finitos, Transformada de Laplace bilateral, Triangulação de Delaunay, UCBLogo, Ultrafiltro, Variável aleatória, Verilog, Vizinhança (matemática), What Video Games Have to Teach Us About Learning and Literacy, Wireless Application Protocol, XBL, Xorshift, Zona de amplitude local. Expandir índice (295 mais) »

Acoplamento tridimensional

Na disciplina matemática de teoria dos grafos, um acoplamento tridimensional é uma generalização do acoplamento bipartido (mais conhecido como acoplamento bidimensional) para hipergrafos triuniformes.

Novo!!: Subconjunto e Acoplamento tridimensional · Veja mais »

Advanced Encryption Standard

O padrão de criptografia avançada - advanced encryption standard (AES), também conhecido por seu nome original Rijndael, é uma especificação para a criptografia de dados eletrônicos estabelecida pelo instituto nacional de padrões e tecnologia dos E.U.A. (NIST) em 2001.

Novo!!: Subconjunto e Advanced Encryption Standard · Veja mais »

Aerodinâmica

Aerodinâmica, do grego antigo ἀήρ aer (ar) + δυναμική (dinâmica), é o estudo do movimento do ar, particularmente sua interação com um objeto sólido, como uma asa de avião. A aerodinâmica é um subcampo da mecânica dos fluidos. O termo aerodinâmica é frequentemente usado de forma sinônima com a dinâmica do gás, a diferença é que a "dinâmica do gás" se aplica ao estudo do movimento de todos os gases e não se limita ao ar. O estudo formal da aerodinâmica começou no sentido moderno no século XVIII, embora observações de conceitos fundamentais como o arrasto aerodinâmico haviam sido estudados muito mais cedo. A maioria dos primeiros esforços na aerodinâmica foram direcionados para o vôo mais pesado do que o ar, que foi demonstrado pela primeira vez por Otto Lilienthal em 1891.

Novo!!: Subconjunto e Aerodinâmica · Veja mais »

Algoritmo apriori

O AprioriRakesh Agrawal and Ramakrishnan Srikant.

Novo!!: Subconjunto e Algoritmo apriori · Veja mais »

Algoritmo de Kruskal

O algoritmo de Kruskal é um algoritmo em teoria dos grafos que busca uma árvore geradora mínima para um grafo conexo com pesos.

Novo!!: Subconjunto e Algoritmo de Kruskal · Veja mais »

Amaya (software)

Amaya é um navegador e editor HTML descontinuado de código aberto criado pelo W3C e INRIA.

Novo!!: Subconjunto e Amaya (software) · Veja mais »

Ambiguidade

Ambiguidade é o tipo de significado em que uma expressão, declaração ou resolução não está explicitamente definida, tornando plausíveis várias interpretações.

Novo!!: Subconjunto e Ambiguidade · Veja mais »

Amostra (estatística)

Em estatística e metodologia da pesquisa quantitativa, uma amostra é um conjunto de dados coletados e/ou selecionados de uma população estatística por um procedimento definido.

Novo!!: Subconjunto e Amostra (estatística) · Veja mais »

Amostra aleatória simples

Em estatística, uma amostra aleatória simples é um subconjunto de indivíduos (uma amostra) escolhidos de um conjunto maior (uma população) no qual um subconjunto de indivíduos é escolhido aleatoriamente, todos com a mesma probabilidade.

Novo!!: Subconjunto e Amostra aleatória simples · Veja mais »

Analiticidade de funções holomórficas

Na análise complexa, uma função de valor complexo ƒ de uma variável complexa z.

Novo!!: Subconjunto e Analiticidade de funções holomórficas · Veja mais »

Análise construtiva

Em matemática, a análise construtiva é a análise matemática feita de acordo com os princípios da matemática construtiva.

Novo!!: Subconjunto e Análise construtiva · Veja mais »

Anel (matemática)

curva cúbica em um espaço projetivo. A teoria dos anéis é fundamental na geometria algébrica. Em matemática, um anel é uma estrutura algébrica que consiste em um conjunto associado a duas operações binárias, normalmente chamadas de adição e multiplicação, em que cada operação combina dois elementos para formar um terceiro elemento.

Novo!!: Subconjunto e Anel (matemática) · Veja mais »

Anel comutativo

Em matemática, mais especificamente em álgebra, um anel comutativo é um anel em que a multiplicação é comutativa.

Novo!!: Subconjunto e Anel comutativo · Veja mais »

Anel noetheriano

Em álgebra abstracta, um anel noetheriano é um anel comutativo que satisfaz a condição da cadeia ascendente para ideais.

Novo!!: Subconjunto e Anel noetheriano · Veja mais »

Aprendizagem supervisionada

  O aprendizado supervisionado é a tarefa de aprendizado de máquina que consiste em aprender uma função que mapeia uma entrada para uma saída com base em pares de entrada-saída de exemplo.

Novo!!: Subconjunto e Aprendizagem supervisionada · Veja mais »

Argumento de diagonalização de Cantor

Uma ilustração do argumento da diagonalização de Cantor (na base 2) para a existência de conjuntos incontáveis. A sequência na parte inferior não pode ocorrer em nenhum lugar na enumeração das sequências anteriores. Um conjunto infinito pode ter a mesma cardinalidade como um subconjunto de si próprio, como a representada bijeção ''f''(''x'').

Novo!!: Subconjunto e Argumento de diagonalização de Cantor · Veja mais »

Aritmética de segunda ordem

Na Lógica matemática, aritmética de segunda ordem é uma coleção de sistemas axiomáticos que formalizam os números naturais e seus subconjuntos.

Novo!!: Subconjunto e Aritmética de segunda ordem · Veja mais »

Autismo regressivo

O autismo regressivo ocorre quando uma criança parece desenvolver-se normalmente, mas começa a perder habilidades de fala e sociais, tipicamente entre as idades de 15 a 30 meses, e posteriormente é diagnosticada com autismo.

Novo!!: Subconjunto e Autismo regressivo · 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!!: Subconjunto e Axioma da escolha · Veja mais »

Axioma da extensão

O axioma da extensão, também chamado axioma da extensionalidade ou ainda axioma da unicidade, cumpre, na teoria dos conjuntos de Zermelo-Fraenkel, o papel de estabelecer como as relações de pertinência (\in) e igualdade de conjuntos (.

Novo!!: Subconjunto e Axioma da extensão · Veja mais »

Axioma da potência

Em matemática, o axioma da potência é um dos axiomas de Zermelo-Fraenkel da Teoria Axiomática dos Conjuntos de Zermelo-Fraenkel (ZFC) Na linguagem formal dos axiomas de Zermelo-Fraenkel, lê-se: onde P é o conjunto das partes, ou conjunto potência de A, \mathcal(A).

Novo!!: Subconjunto e Axioma da potência · Veja mais »

Axioma da união

Na teoria dos conjuntos, o axioma da união é aquele que garante a existência de uniões (finitas ou infinitas) de outros conjuntos.

Novo!!: Subconjunto e Axioma da união · 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!!: Subconjunto e Axiomas de Peano · Veja mais »

Axiomas de probabilidade

Os axiomas da probabilidade ou os axiomas de Kolmogorov são uma definição geralmente usada para se referir para as três propriedades de uma série de subconjuntos de S, chamado de \sigma-álgebra (pronuncia-se sigma-álgebra ou campo de Borel), denotado por \mathbb\,, se \mathbb\, satisfaz às propriedades.

Novo!!: Subconjunto e Axiomas de probabilidade · Veja mais »

Álgebra comutativa

Em álgebra abstrata, a álgebra comutativa estuda anéis comutativos e seus ideais e módulos sobre tais anéis.

Novo!!: Subconjunto e Álgebra comutativa · Veja mais »

Álgebra de Borel

Em matemática, uma Álgebra de Borel ou \sigma-álgebra de Borel é qualquer conjunto em um espaço topológico que pode ser formado por abertos através das operações de união enumerável, interseção enumerável e diferença de conjuntos.

Novo!!: Subconjunto e Álgebra de Borel · Veja mais »

Álgebra de Kleene

Em matemática, uma álgebra de Kleene pode se referir a dois conceitos.

Novo!!: Subconjunto e Álgebra de Kleene · Veja mais »

Bibliografia latino-americana

O conceito bibliografía latinoamericana se refere ao conjunto de bases de dados e serviços de informação baseados em revistas científicas de América Latina e o Caribe que veio produzindo a Universidad Nacional Autónoma de México (UNAM) desde a década dos anos setenta.

Novo!!: Subconjunto e Bibliografia latino-americana · Veja mais »

BPP

Na teoria da complexidade computacional, BPP (inglês: Bounded-error Probabilistic Polinomial time, probabilístico de tempo polinomial comprometido à erros) é a classe de problemas de decisão solúveis por uma Máquina de Turing em tempo polinomial, com uma probabilidade de erro de no máximo 1/3 para todas as instâncias.

Novo!!: Subconjunto e BPP · Veja mais »

Cadeia de caracteres

Na programação de computadores, uma cadeia de caracteres ou string é uma sequência de caracteres, geralmente utilizada para representar palavras, frases ou textos de um programa.

Novo!!: Subconjunto e Cadeia de caracteres · Veja mais »

Campo aleatório

Um campo aleatório é uma generalização de um processo estocástico tal que o principal parâmetro não precisa mais ser um valor "tempo" real ou inteiro, podendo assumir valores que são vetores multidimensionais ou pontos em uma superfície.

Novo!!: Subconjunto e Campo aleatório · Veja mais »

Campo aleatório de Markov

No domínio da física e da probabilidade, um campo aleatório de Markov (muitas vezes abreviado como MRF), rede de Markov ou modelo gráfico não-direcionado é um conjunto de variáveis aleatórias que possuem uma propriedade de Markov descrita por um grafo não-direcionado.

Novo!!: Subconjunto e Campo aleatório de Markov · Veja mais »

Campo vetorial

Em matemática um campo vetorial ou campo de vetores é uma construção em cálculo vetorial que associa um vetor a todo o ponto de uma variedade diferenciável (como um subconjunto do espaço euclidiano, por exemplo).

Novo!!: Subconjunto e Campo vetorial · Veja mais »

Cardinalidade

Na matemática, a cardinalidade de um conjunto é uma medida do "número de elementos do conjunto".

Novo!!: Subconjunto e Cardinalidade · Veja mais »

Carro clássico

Um carro clássico é um carro mais antigo, normalmente com 25 anos ou mais, embora as definições variem.

Novo!!: Subconjunto e Carro clássico · Veja mais »

Cálculo de processos

Em ciência da computação, cálculo de processos (process calculus) é uma família diversificada de abordagens para modelar formalmente sistemas concorrentes.

Novo!!: Subconjunto e Cálculo de processos · Veja mais »

Código de fonte

Na teoria da codificação, códigos de fonte (também conhecidos como códigos de eliminação sem taxa) são uma classe de códigos de eliminação com a propriedade de que uma sequência potencialmente ilimitada de símbolos codificados podem ser gerados a partir de um determinado conjunto de símbolos da fonte, de modo que os símbolos da fonte originais podem ser idealmente recuperados de qualquer subconjunto de símbolos da codificação de tamanho igual ou, apenas ligeiramente, maior do que o número de símbolos da fonte.

Novo!!: Subconjunto e Código de fonte · Veja mais »

Ciência observacional

Uma ciência observacional é uma ciência na qual não é possível construir experimentos controlados na área em estudo.

Novo!!: Subconjunto e Ciência observacional · Veja mais »

Classe de complexidade

Na Teoria da Complexidade Computacional, uma Classe de Complexidade é um conjunto de problemas.

Novo!!: Subconjunto e Classe de complexidade · Veja mais »

Classificação de uma classe

No aprendizado de máquina, a classificação de uma classe (OCC, do inglês), também conhecida como classificação de classe única, classificação unária ou modelagem de classe, tenta identificar objetos de uma classe específica entre todos os objetos, aprendendo principalmente a partir de um conjunto de treinamento contendo apenas os objetos dessa classe, embora existam variantes de classificadores de uma classe onde contra-exemplos são usados para refinar ainda mais o limite de classificação.

Novo!!: Subconjunto e Classificação de uma classe · Veja mais »

Clique

Um grafo com 23 cliques de 1-vértice (seus vértices), 42 cliques de 2-vértices (suas arestas), 19 cliques de 3-vértices (os triângulos em azul claro), e 2 cliques de 4-vértices (azul escuro). Seis das arestas e 11 dos triângulos formam cliques maximais. As duas 4-cliques em azul escuro são tanto máximas quanto maximais, e o número de clique do grafo é 4 Na área da matemática da teoria dos grafos, um clique em um grafo não orientado é um subconjunto de seus vértices tais que cada dois vértices do subconjunto são conectados por uma aresta.

Novo!!: Subconjunto e Clique · Veja mais »

Clojure

Clojure é um dialeto da linguagem de programação Lisp criado por Rich Hickey.

Novo!!: Subconjunto e Clojure · Veja mais »

Clustering

O clustering ou análise de agrupamento de dados é o conjunto de técnicas de prospecção de dados (data mining) que visa fazer agrupamentos automáticos de dados segundo o seu grau de semelhança.

Novo!!: Subconjunto e Clustering · Veja mais »

Cobertura (matemática)

Em matemática, particularmente em topologia, uma cobertura de um conjunto X é uma coleção de conjuntos cuja união inclui X como um subconjunto.

Novo!!: Subconjunto e Cobertura (matemática) · Veja mais »

Coclasse

Em teoria dos grupos, se H é um subgrupo de um grupo G e x \in G, o subconjunto de G, definido por Hx.

Novo!!: Subconjunto e Coclasse · Veja mais »

Cofinalidade

Em matemática, especialmente na teoria da ordem e em teoria dos conjuntos, a cofinalidade de um conjunto parcialmente ordenado (A, ≤), cf(A), é o menor dos cardinais dos conjuntos parcialmente ordenados cofinais com (A, ≤).

Novo!!: Subconjunto e Cofinalidade · Veja mais »

Combinação

Uma combinação sem repetição, em análise combinatória, é um subconjunto com s elementos em um conjunto \mathbb, com n elementos.

Novo!!: Subconjunto e Combinação · Veja mais »

Combinação linear

Em matemática, uma combinação linear é uma expressão construída a partir de um conjunto de termos, multiplicando cada termo por uma constante (por exemplo, uma combinação linear de x e y seria qualquer expressão da forma ax + by, onde a e b são constantes).

Novo!!: Subconjunto e Combinação linear · Veja mais »

Compaixão

Compaixão (do termo latino compassione) pode ser descrito como uma compreensão do estado emocional de outra pessoa.

Novo!!: Subconjunto e Compaixão · Veja mais »

Compatibilidade reversa

Em tecnologia, especialmente em informática (independentemente de plataforma), é dito de um produto que este possui compatibilidade reversa, compatibilidade descendente ou retrocompatibilidade quando é capaz de assumir o lugar de um produto mais antigo, interagindo com outros produtos que foram desenhados para funcionar com a versão anterior.

Novo!!: Subconjunto e Compatibilidade reversa · Veja mais »

Complementar

A área em vermelho é o complementar de ''A'' em ''U'', A^c~~~.

Novo!!: Subconjunto e Complementar · Veja mais »

Complemento (complexidade)

Na teoria da complexidade computacional, o complemento de um problema de decisão é o problema de decisão resultante do reverso das respostas sim e não.Igualmente, se definimos problemas de decisão como um conjunto de cadeias finitas, então o complemento deste conjunto sobre um domínio fixo é seu problema-complemento.

Novo!!: Subconjunto e Complemento (complexidade) · Veja mais »

Completude (Dedekind)

Completude, na teoria da ordem, é a propriedade que diz que, se um conjunto for dividido em duas partes de modo que os elementos de uma parte são sempre menores que os da outra parte, então existe um ponto que faz a fronteira entre as partes.

Novo!!: Subconjunto e Completude (Dedekind) · Veja mais »

Comportamento em cascata em redes

As cascatas de informação correspondem a tomadas de decisões em sequência.

Novo!!: Subconjunto e Comportamento em cascata em redes · Veja mais »

Computação granular

Computação granular (GrC) é um paradigma de computação emergente de processamento de informações.

Novo!!: Subconjunto e Computação granular · Veja mais »

Computação multipartidária segura

A computação segura de várias partes (também conhecida como computação segura, computação de várias partes (MPC) ou computação de preservação de privacidade) é um subcampo da criptografia com o objetivo de criar métodos para as partes computarem conjuntamente uma função sobre suas entradas, mantendo as entradas privadas.

Novo!!: Subconjunto e Computação multipartidária segura · Veja mais »

Congruência (geometria)

A congruência é um conceito geométrico.

Novo!!: Subconjunto e Congruência (geometria) · Veja mais »

Conjectura de Erdős–Turán para bases aditivas

A Conjectura de Erdős–Turán é um antigo problema em aberto em teoria aditiva dos números (não confundir com a Conjectura de Erdős para progressões aritméticas) proposto por Paul Erdős e Pál Turán em 1941.

Novo!!: Subconjunto e Conjectura de Erdős–Turán para bases aditivas · Veja mais »

Conjunto

Conjunto é um conceito-chave primitivo do ramo matemático da Teoria dos Conjuntos.

Novo!!: Subconjunto e Conjunto · Veja mais »

Conjunto contável

Na matemática, um conjunto contável é um conjunto de mesma cardinalidade (número de elementos) de um subconjunto qualquer do conjunto dos números naturais.

Novo!!: Subconjunto e Conjunto contável · Veja mais »

Conjunto convexo

Em um espaço euclidiano, uma região convexa é uma região onde, para cada par de pontos dentro da região, cada ponto no segmento de reta que une o par também está dentro da região.

Novo!!: Subconjunto e Conjunto convexo · Veja mais »

Conjunto de nível

Seja f:D\subseteq \mathbb^n\to \mathbb um campo escalar e seja \alpha\in\mathbb.

Novo!!: Subconjunto e Conjunto de nível · 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!!: Subconjunto e Conjunto de partes · Veja mais »

Conjunto de Smith

Em sistemas de votação, o conjunto de Smith, em homenagem a John H. Smith, mas também conhecido como o ciclo superior, é o menor conjunto não vazio de candidatos em uma eleição especial de tal forma que cada membro derrota todos os candidatos fora do set em uma eleição aos pares.

Novo!!: Subconjunto e Conjunto de Smith · Veja mais »

Conjunto de Vitali

Na matemática, um conjunto de Vitali é um subconjunto dos números reais, que pode ser construído, mas cuja existência é consequência do axioma da escolha, e que serve como contra-exemplo para várias propriedades ou como bloco construtor de vários paradoxos.

Novo!!: Subconjunto e Conjunto de Vitali · Veja mais »

Conjunto denso

Em topologia, um subconjunto S de um espaço topológico X diz-se denso em X, se o fecho de S é igual a X, isto é, todo ponto de X é um ponto limite de S, ou equivalentemente, S é denso em X se qualquer vizinhança de qualquer ponto de X contiver um elemento de S.

Novo!!: Subconjunto e Conjunto denso · Veja mais »

Conjunto denso em lugar nenhum

Em topologia, um subconjunto S de um espaço topológico X é dito denso em lugar nenhum (ou ainda, nunca denso) se o interior do fecho de S é vazio.

Novo!!: Subconjunto e Conjunto denso em lugar nenhum · Veja mais »

Conjunto dominante

Dominating sets (red vertices). Em teoria dos grafos, um conjunto dominante para um grafo G.

Novo!!: Subconjunto e Conjunto dominante · Veja mais »

Conjunto errante

Nos ramos da matemática e da teoria dos sistemas dinâmicos, o conceito de conjunto errante formaliza a ideia de movimento em tais sistemas.

Novo!!: Subconjunto e Conjunto errante · Veja mais »

Conjunto gerador de um grupo

Na álgebra abstrata, um conjunto gerador de um grupo é um subconjunto que não está contido em nenhum subgrupo próprio do grupo.

Novo!!: Subconjunto e Conjunto gerador de um grupo · Veja mais »

Conjunto imagem

A imagem do conjunto X é o conjunto A,B,D que é subconjunto de Y. elemento do conjunto X. Em matemática, o conjunto imagem (conhecido também como campo de valores) de uma função f: X \to Y é o conjunto de todos os elementos de que são imagem de algum elemento de X. Costuma ser representado por \operatorname(f) ou \operatorname(f).

Novo!!: Subconjunto e Conjunto imagem · Veja mais »

Conjunto saturado

Em matemática, e em particular em topologia, um subconjunto de um espaço topológico (X, τ) é saturado se é a interseção de subconjuntos abertos de X. No T1 espaço todo conjunto é saturado.

Novo!!: Subconjunto e Conjunto saturado · Veja mais »

Conjunto transitivo

Na teoria dos conjuntos, um conjunto A é transitivo se, e somente se,.

Novo!!: Subconjunto e Conjunto transitivo · Veja mais »

Conjuntos definidos

Na lógica matemática, um conjunto definido é uma relação n-ária sobre o domínio de uma estrutura cujos elementos são precisamente aqueles elementos que satisfaçam alguma fórmula na língua dessa estrutura.

Novo!!: Subconjunto e Conjuntos definidos · Veja mais »

Consequência lógica

Consequência lógica é um conceito fundamental na lógica.

Novo!!: Subconjunto e Consequência lógica · Veja mais »

Constante de Chaitin

Em ciência da computação, na sub-área de teoria da informação algorítmica, a constante de Chaitin (número Ômega de Chaitin) ou probabilidade de parada é um número real que informalmente representa a probabilidade de que um programa construído de forma aleatória irá parar.

Novo!!: Subconjunto e Constante de Chaitin · Veja mais »

Construção de Cayley-Dickson

Em matemática, a construção de Cayley-Dickson, nomeada por Arthur Cayley e Leonard Eugene Dickson, produz uma sequência de álgebras sobre o campo dos números reais, cada um com o dobro da dimensão do anterior.

Novo!!: Subconjunto e Construção de Cayley-Dickson · Veja mais »

Corpo ordenado

Em matemática, um corpo ordenado é um corpo no qual existe uma relação de ordem total, e em que as operações binárias do corpo são compatíveis com essa relação de ordem.

Novo!!: Subconjunto e Corpo ordenado · Veja mais »

Corpo real fechado

Corpo real fechado, em álgebra abstrata, é um tipo de corpo que tem, em comum com os reais, a propriedade de que menos um não é o quadrado de algum elemento, nem a soma de quadrados, e, além disto, é um corpo maximal no sentido de que a única forma de aumentar este corpo e continuar mantendo esta propriedade é através de elementos transcendentes.

Novo!!: Subconjunto e Corpo real fechado · Veja mais »

Corte Máximo

Para um grafo, um corte máximo é um corte cujo tamanho é de pelo menos o tamanho de qualquer outro corte.

Novo!!: Subconjunto e Corte Máximo · Veja mais »

Cota de Hamming

Em matemática e ciência da computação, na área de teoria de códigos, a Cota de Hamming é uma limitação sobre os parâmetros de um código de blocos arbitrário: ela também é conhecida pelo nome de cota do empacotamento de esferas ou a cota do volume em uma interpretação em termos do empacotamento de esferas a métrica de Hamming no espaço de todas as palavras possíveis.

Novo!!: Subconjunto e Cota de Hamming · Veja mais »

Critério de Eisenstein

Em matemática, o critério de Eisenstein fornece uma condição suficiente para que um polinômio com coeficientes inteiros seja irredutível sobre os números racionais, isto é, para que seja impossível fatorá-lo como o produto de polinômios não constantes com coeficientes racionais.

Novo!!: Subconjunto e Critério de Eisenstein · Veja mais »

Curva

Uma espiral, um exemplo simples de curva. Em matemática, uma curva ou linha curva é, em termos gerais, um objeto semelhante a uma linha reta, mas que não é obrigatoriamente retilíneo.

Novo!!: Subconjunto e Curva · Veja mais »

Curva diferenciável

Geometria diferencial de curvas é o campo da geometria que trabalha com curvas suaves no plano e no espaço euclidiano através de métodos de cálculo diferencial e integral.

Novo!!: Subconjunto e Curva diferenciável · Veja mais »

DALL-E

DALL-E (estilizado DALL·E) é um programa de inteligência artificial que cria imagens a partir de descrições textuais.

Novo!!: Subconjunto e DALL-E · Veja mais »

Décimo problema de Hilbert

O Décimo Problema de Hilbert é um dos 23 problemas propostos pelo matemático alemão David Hilbert em 1900.

Novo!!: Subconjunto e Décimo problema de Hilbert · Veja mais »

Decomposição matricial

Na análise numérica, diferentes decomposições são usadas para implementar algoritmos matriciais eficientes.

Novo!!: Subconjunto e Decomposição matricial · Veja mais »

Definição de limite (ε, δ)

Sempre que um ponto ''x'' está dentro de unidades δ de ''c'', ''f(x)'' está dentro de ε unidades de ''L'' No cálculo, a definição de limite (ε, δ) ("definição de limite epsilon-delta") ou definição formal de limite é uma formalização da definição de limite.

Novo!!: Subconjunto e Definição de limite (ε, δ) · Veja mais »

Demonstração de Furstenberg da infinitude dos números primos

O teorema de Euclides, que assegura a existência de uma infinidade de números primos, é um resultado fundamental da teoria elementar dos números e possui inúmeras demonstrações.

Novo!!: Subconjunto e Demonstração de Furstenberg da infinitude dos números primos · Veja mais »

Destilação azeotrópica

Diagrama de fase (à esquerda) e diagrama de fluxo de processo (à direita) de um aparelho para a destilação azeotrópica com "agente de separação de material". Neste caso, o diagrama de fase inclui uma zona onde os componentes não são miscíveis entre si, de modo a seguir a condensação do azeótropo, sendo possível separar os componentes líquidos através de decantação. Em química, destilação azeotrópica é qualquer uma de uma variedade de técnicas de processos de separação na destilação utilizadas para quando a mistura contendo os componentes que precisam ser separados forma um azeótropo (uma mistura azeotrópica) ou apresentam baixa volatilidade relativa.

Novo!!: Subconjunto e Destilação azeotrópica · Veja mais »

Detecção de similaridade de conteúdo

A detecção de plágio ou detecção de similaridade de conteúdo é o processo de localização de ocorrências de plágio e/ou violação de direitos autorais em uma obra ou documento.

Novo!!: Subconjunto e Detecção de similaridade de conteúdo · Veja mais »

Determinante

Em matemática, determinante é uma função matricial que associa a cada matriz quadrada um escalar, ou seja, é uma função que transforma uma matriz quadrada em um número real.

Novo!!: Subconjunto e Determinante · Veja mais »

Diagrama de Hasse

)))) em Diagrama de Hasse. Em teoria da ordem, um ramo da matemática que estuda várias clases de relações binárias, um diagrama de Hasse (alemão) é um tipo de diagrama matemático utilizado para representar um conjunto parcialmente ordenado finito, na forma de um grafo de sua redução transitiva.

Novo!!: Subconjunto e Diagrama de Hasse · 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!!: Subconjunto e Diagrama de Venn · Veja mais »

Diâmetro

centro ou origem ''O'' Em geometria, um diâmetro de uma circunferência é qualquer segmento de reta que passa pelo centro do círculo e cujas extremidades estão sobre o círculo.

Novo!!: Subconjunto e Diâmetro · 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!!: Subconjunto e Diferença simétrica · Veja mais »

Distribuição de probabilidade condicional

Na teoria da probabilidade e estatística, dadas duas variáveis aleatórias X e Y distribuídas conjuntamente, a distribuição de probabilidade condicional de Y dado X é a distribuição de probabilidade de Y quando X é um determinado valor conhecido.

Novo!!: Subconjunto e Distribuição de probabilidade condicional · Veja mais »

Distribuição de probabilidade conjunta

No estudo de probabilidade, dado ao menos duas variáveis aleatórias X, Y,..., que são definidas em um espaço de probabilidade, a distribuição de probabilidade conjunta para X, Y,...

Novo!!: Subconjunto e Distribuição de probabilidade conjunta · Veja mais »

Distribuição marginal

Em teoria das probabilidades e estatística, a distribuição marginal de um subconjunto de uma coleção de variáveis aleatórias é a distribuição de probabilidade das variáveis contidas no subconjunto.

Novo!!: Subconjunto e Distribuição marginal · Veja mais »

Domínio (matemática)

Na matemática, e mais especificamente na teoria ingênua dos conjuntos, o domínio de definição (ou simplesmente o domínio) de uma função é o conjunto de valores de "entrada" ou argumento para os quais a função é definida.

Novo!!: Subconjunto e Domínio (matemática) · Veja mais »

Domínio de Lipschitz

Na matemática, o domínio de Lipschitz (ou domínio com fronteira de Lipschitz) é um domínio no espaço Euclidiano cujas fronteiras são "suficientemente regulares" no sentido que pode ser considerada como se fosse o gráfico de uma função Lipschitz contínua.

Novo!!: Subconjunto e Domínio de Lipschitz · Veja mais »

DOS Plus

DOS Plus (também denominado DOS+) é um sistema operacional em disco desenvolvido pela Digital Research, e lançado em 1985.

Novo!!: Subconjunto e DOS Plus · Veja mais »

Dualidade de Alvis-Curtis

Em matemática, a dualidade de Alvis-Curtis é uma operação de dualidade nos caracteres de um grupo redutivo sobre um corpo finito, introduzido por Charles W. Curtis em 1980.

Novo!!: Subconjunto e Dualidade de Alvis-Curtis · Veja mais »

Eficiência de Kaldor-Hicks

Uma melhoria de Kaldor-Hicks (Kaldor–Hicks improvement), assim designada devido aos autores Nicholas Kaldor e John Hicks, também conhecida como critério de Kaldor-Hicks, é uma forma de julgar re-alocações económicas de recursos entre pessoas que capta algum do apelo intuitivo da melhoria de Pareto, mas que tem critérios menos rigorosos e, por isso, é aplicável a circunstâncias mais amplas.

Novo!!: Subconjunto e Eficiência de Kaldor-Hicks · Veja mais »

Elemento (matemática)

Na matemática, um elemento, ou membro, é um dos objetos distintos que constituem um conjunto.

Novo!!: Subconjunto e Elemento (matemática) · Veja mais »

Elemento minimal

Na figura acima, dado o conjunto A, os elementos '''e''', '''h''' e '''j''' são maximais de A, e os elementos '''a''', '''c''' e '''e''' são minimais. Os elementos maximal e minimal não precisam ser únicos no conjunto. O elemento '''e''' da figura é maximal e minimal ao mesmo tempo. Elemento minimal de um conjunto é um elemento que não é maior que nenhum outro elemento do conjunto.

Novo!!: Subconjunto e Elemento minimal · Veja mais »

Elemento neutro

Em matemática, um elemento neutro (ou identidade), é qualquer elemento cuja utilização numa operação binária bem definida não causa alteração de identidade no outro elemento com o qual entra em operação — por essa razão simples a justificar a sua neutralidade operacional.

Novo!!: Subconjunto e Elemento neutro · Veja mais »

Embeddable Linux Kernel Subset

O Embeddable Linux Kernel Subset (ELKS) é um sistema operacional Unix-like o kernel que pode ser executado em microprocessadores compatíveis com Intel 8086.

Novo!!: Subconjunto e Embeddable Linux Kernel Subset · Veja mais »

Endomorfismo

Projeção ortogonal sobre uma reta ''m'' é um operador linear no plano. Este é um exemplo de um endomorfismo que não é um automorfismo. Em matemática, um endomorfismo é um morfismo (ou homomorfismo) de um objeto matemático nele mesmo.

Novo!!: Subconjunto e Endomorfismo · Veja mais »

Engenharia de radiodifusão

Engenharia de radiodifusão ou transmissão é o campo da engenharia elétrica e, agora, até certo ponto, da engenharia de computação e da tecnologia da informação, que lida com a transmissão de rádio e televisão.

Novo!!: Subconjunto e Engenharia de radiodifusão · Veja mais »

Erro amostral

Em estatística, o erro amostral ou variabilidade amostral ocorre quando as características estatísticas de uma população são estimadas a partir de um subconjunto, ou amostra, daquela população.

Novo!!: Subconjunto e Erro amostral · Veja mais »

Espaço amostral

Em teoria das probabilidades, o espaço amostral ou espaço amostral universal, geralmente denotado S, E, Ω ou U (de "universo"), de um experimento aleatório é o conjunto de todos os resultados possíveis do experimento.

Novo!!: Subconjunto e Espaço amostral · Veja mais »

Espaço de Hausdorff

Um espaço de Hausdorff (ou espaço separado) é um espaço topológico no qual quaisquer dois pontos distintos têm vizinhanças disjuntas.

Novo!!: Subconjunto e Espaço de Hausdorff · Veja mais »

Espaço euclidiano

Espaço euclidiano é um espaço vetorial real de dimensão finita munido de um produto interno.

Novo!!: Subconjunto e Espaço euclidiano · Veja mais »

Espaço hiperconectado

Na topologia, um espaço topológico é hiperconectado se não é a união de dois subconjuntos propriamente entrelaçados.

Novo!!: Subconjunto e Espaço hiperconectado · Veja mais »

Espaço paracompacto

Em matemática, em especial na análise funcional e topologia, um espaço paracompacto é um espaço topológico no qual toda cobertura aberta admite um refinamento localmente finito.

Novo!!: Subconjunto e Espaço paracompacto · Veja mais »

Espaço sequencialmente compacto

Em topologia, um espaço topológico diz-se sequencialmente compacto se qualquer sequência nesse espaço possui uma subsequência convergente.

Novo!!: Subconjunto e Espaço sequencialmente compacto · Veja mais »

Espaço topológico

Espaços topológicos são estruturas que permitem a formalização de conceitos tais como convergência, conexidade e continuidade.

Novo!!: Subconjunto e Espaço topológico · Veja mais »

Espaço vetorial

Um espaço vetorial (também chamado de espaço linear) é uma coleção de objetos chamada vetores, que podem ser somados um a outro e multiplicados ("escalonados") por números, denominados escalares.

Novo!!: Subconjunto e Espaço vetorial · Veja mais »

Esquema de aproximação de tempo polinomial

Em ciência da computação, um esquema de aproximação de tempo polinomial (PTAS) é um tipo de algoritmo de aproximação para problemas de otimização (na maioria das vezes, problemas de otimização NP-difíceis).

Novo!!: Subconjunto e Esquema de aproximação de tempo polinomial · Veja mais »

Estado quântico

Um estado quântico é qualquer estado possível em que um sistema mecânico quântico possa se encontrar.

Novo!!: Subconjunto e Estado quântico · Veja mais »

Estrutura causal

Na física matemática, a estrutura causal de uma variedade Lorentziana descreve as relações causais entre pontos na variedade.

Novo!!: Subconjunto e Estrutura causal · Veja mais »

Estrutura de interpretação (lógica)

Na lógica, uma estrutura (ou estrutura de interpretação) é um objeto que dá significado semântico ou interpretação aos símbolos definidos pela assinatura de uma linguagem.

Novo!!: Subconjunto e Estrutura de interpretação (lógica) · Veja mais »

Evento (matemática)

Um evento é um subconjunto do espaço amostral, ou seja, uma coleção de resultados possíveis, que pode ser igual ou menor do que o espaço amostral como um todo.

Novo!!: Subconjunto e Evento (matemática) · Veja mais »

Evento (teoria das probabilidades)

Em teoria das probabilidades, um evento é um conjunto de resultados (um subconjunto do espaço amostral) ao qual é associado um valor de probabilidade.

Novo!!: Subconjunto e Evento (teoria das probabilidades) · Veja mais »

Evolução de Schramm–Loewner

Em teoria das probabilidades, a evolução de Schramm-Loewner com parâmetro \kappa (ESL_k), também conhecida como evolução estocástica de Loewner, é uma família de curvas planas aleatórias, tendo sido provado que são o limite escalar de uma variedade de modelos de reticulados bidimensionais em mecânica estatística.

Novo!!: Subconjunto e Evolução de Schramm–Loewner · Veja mais »

Expressão regular

Em ciência da computação, uma expressão regular (do inglês regular expression, abreviado regex ou regexp) provê uma forma concisa e flexível de identificar cadeias de caracteres de interesse, como caracteres particulares, palavras ou padrões de caracteres.

Novo!!: Subconjunto e Expressão regular · Veja mais »

Extensão de corpo

Em álgebra abstrata, as extensões de corpos são o principal objeto de estudo da teoria dos corpos.

Novo!!: Subconjunto e Extensão de corpo · Veja mais »

Família de conjuntos

Na teoria dos conjuntos e ramos relacionados da matemática, uma coleção \mathcal de subconjuntos de um determinado conjunto S é chamada de uma família de subconjuntos de S, ou uma família de conjuntos sobre S. Mais geralmente, uma família de conjuntos é um conjunto de conjuntos.

Novo!!: Subconjunto e Família de conjuntos · Veja mais »

Fechamento

Em matemática, um conjunto é fechado em relação a uma dada operação quando o resultado dessa operação em elementos desse conjunto é ainda um elemento desse conjunto.

Novo!!: Subconjunto e Fechamento · Veja mais »

Fecho de Kleene

Na lógica matemática e na ciência da computação, o fecho de Kleene, estrela de Kleene ou operador de Kleene, é uma operação unária aplicada a conjuntos.

Novo!!: Subconjunto e Fecho de Kleene · Veja mais »

Fecho dedutivo

Fecho dedutivo é uma propriedade de um conjunto de objetos (normalmente sentenças lógicas).

Novo!!: Subconjunto e Fecho dedutivo · Veja mais »

Fibração de Hopf

No campo matemático da topologia, a fibração de Hopf (também conhecida como fibrado de Hopf ou mapa de Hopf) descreve uma 3-esfera (uma hiperesfera no espaço quadri-dimensional) em termos de círculos e uma esfera ordinária.

Novo!!: Subconjunto e Fibração de Hopf · 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!!: Subconjunto e Forçamento · Veja mais »

Função aritmética

Em teoria dos números, uma função aritmética é uma função f(n) de valor real ou complexa definida sobre o conjunto dos números naturais (i.e. inteiros positivos) que "expressam alguma propriedade aritmética de n.". Um exemplo de uma função aritmética é o caráter não-principal (mod 4) definido por \end\right.

Novo!!: Subconjunto e Função aritmética · Veja mais »

Função desprezível

Em matemática, uma função desprezível é uma função \mu:\mathbb\to\mathbb de modo que para cada inteiro positivo c existe um inteiro Nc tal que para todo x > Nc, Da mesma forma, também podemos usar a seguinte definição: uma função \mu:\mathbb\to\mathbb é desprezível, se para cada polinômio positivo poly(·) existe um número inteiro Npoly > 0 tal que para todo x > Npoly.

Novo!!: Subconjunto e Função desprezível · Veja mais »

Função inclusão

Em matemática, a função inclusão é uma função que dá como imagem de cada objecto o próprio objecto.

Novo!!: Subconjunto e Função inclusão · Veja mais »

Função injectiva

Na matemática, uma função injectiva (ou injetora) é uma função que preserva a distinção: nunca aponta elementos distintos de seu domínio para o mesmo elemento de seu contradomínio.

Novo!!: Subconjunto e Função injectiva · Veja mais »

Função localmente integrável

Em matemática, uma função é dita localmente integrável em um subconjunto E\, de seu domínio se for integrável em cada subconjunto pré-compacto de E\,.

Novo!!: Subconjunto e Função localmente integrável · Veja mais »

Função massa de probabilidade

Na teoria de probabilidade e em estatística, a função massa de probabilidade (FMP) é uma função que associa um valor de probabilidade à cada possível ocorrência de uma variável aleatória discreta.

Novo!!: Subconjunto e Função massa de probabilidade · Veja mais »

Função multivalorada

Em matemática, uma função multivalorada (forma abreviada: multifunção; outros nomes: função polivalente, função de conjunto valorizado, mapa de conjunto valorizado, mapa ponto para conjunto, mapa multi-valorada, multi-mapa, correspondência, portadora, multívoca, polídroma, multiaplicação) é uma relação binária (isto é, cada entrada é associada com pelo menos uma saída) em que pelo menos uma entrada é associada a várias (duas ou mais) saídas.

Novo!!: Subconjunto e Função multivalorada · Veja mais »

Função sobrejectiva

Em matemática, uma função f de um conjunto X para um conjunto Y é sobrejetiva (ou sobrejectiva ou sobrejetora), se para todo elemento y no contradomínio Y de f houver pelo menos um elemento x no domínio X de f tal que f (x).

Novo!!: Subconjunto e Função sobrejectiva · Veja mais »

Função zeta de Hurwitz

Função zeta de Hurwitz em q.

Novo!!: Subconjunto e Função zeta de Hurwitz · Veja mais »

Gadget (teoria da complexidade)

Na teoria da complexidade computacional, um gadget é um subconjunto de uma instância de um problema que simula o comportamento de uma das unidades fundamentais de um problema computacional diferente.

Novo!!: Subconjunto e Gadget (teoria da complexidade) · 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!!: Subconjunto e Geometria algébrica · Veja mais »

Geometria analítica

Sistema cartesiano de coordenadas Representação do plano-''xy'' com a inscrição dos vetores unitários '''''i''''' e '''''j''''' Na matemática clássica, a geometria analítica, também chamada geometria de coordenadas e de geometria cartesiana, é o estudo da geometria por meio de um sistema de coordenadas e dos princípios da álgebra e da análise.

Novo!!: Subconjunto e Geometria analítica · Veja mais »

Google Safe Browsing

A Navegação Segura do Google é uma lista negra de serviço fornecido pelo Google que fornece listas de URLs para recursos da web que contêm malware ou phishing .

Novo!!: Subconjunto e Google Safe Browsing · Veja mais »

Grafóide

Um grafóide é um conjunto de sentenças da forma "X é irrelevante para Y dado que conhecemos Z", onde X, Y e Z são conjuntos de variáveis.

Novo!!: Subconjunto e Grafóide · Veja mais »

Grafo bipartido

No campo da matemática da teoria dos grafos, um grafo bipartido ou bigrafo é um grafo cujos vértices podem ser divididos em dois conjuntos disjuntos U e V tais que toda aresta conecta um vértice em U a um vértice em V; ou seja, U e V são conjuntos independentes.

Novo!!: Subconjunto e Grafo bipartido · Veja mais »

Gramática Linear

Em ciência da computação, uma gramática linear é uma gramática livre-do-contexto que tem no máximo um símbolo não-terminal no lado direito de suas produções.

Novo!!: Subconjunto e Gramática Linear · Veja mais »

Grande-O

''g''(''x'') sempre que ''x'' ≥ ''x''0. Na matemática, a notação O-grande descreve o comportamento limitante de uma função quando o argumento tende a um valor específico ou para o infinito, normalmente, em termos de funções mais simples.

Novo!!: Subconjunto e Grande-O · Veja mais »

Grau de transcendência

Em álgebra abstrata, o grau de transcendência de uma extensão de corpo L / K é uma certa medida bastante grosseira do "tamanho" da extensão.

Novo!!: Subconjunto e Grau de transcendência · Veja mais »

Grupo localmente compacto

Um grupo localmente compacto, na matemática, é um grupo topológico G que é localmente compacto como um espaço topológico.

Novo!!: Subconjunto e Grupo localmente compacto · Veja mais »

Grupo quociente

Em matemática, o grupo quociente G/N pode ser entendido, de forma intuitiva, ao se considerar em um grupo G e um seu subconjunto N como se os elementos de N fossem igualados ao elemento neutro.

Novo!!: Subconjunto e Grupo quociente · Veja mais »

Guilda (ecologia)

Guilda, guilde ou guilda ecológica é geralmente definida como qualquer conjunto de espécies que subsistem de um mesmo tipo de recurso, explorando-o de forma similar.

Novo!!: Subconjunto e Guilda (ecologia) · Veja mais »

Hiperboloide

Na geometria, um hiperboloide de revolução, às vezes chamado de hiperboloide circular, é uma superfície que pode ser gerada pela rotação de uma hipérbole em torno de um de seus principais eixos.

Novo!!: Subconjunto e Hiperboloide · Veja mais »

Hipergrafo

Em teoria dos grafos, um hipergrafo é uma generalização de um grafo, com suas arestas ligando quaisquer quantidades positivas de vértices.

Novo!!: Subconjunto e Hipergrafo · Veja mais »

Hotel de Hilbert

O paradoxo do Hotel de Hilbert é um experimento mental matemático sobre conjuntos infinitos apresentado pelo matemático alemão David Hilbert (1862-1943).

Novo!!: Subconjunto e Hotel de Hilbert · Veja mais »

Ideal (teoria dos anéis)

Em teoria dos anéis, um ramo da álgebra abstrata, um ideal é um subconjunto especial de um anel.

Novo!!: Subconjunto e Ideal (teoria dos anéis) · Veja mais »

Ideal primo

Em álgebra, um ideal primo é um subconjunto de um anel que tem várias propriedades em comum com as de um número primo do anel dos inteiros.

Novo!!: Subconjunto e Ideal primo · Veja mais »

Identidade aditiva

Em matemática, a identidade aditiva de um conjunto que está equipado com a operação de adição é um elemento que quando adicionado a qualquer elemento x do conjunto, resulta em x.  Uma das mais conhecidas identidades aditivas é o número 0, mas identidades aditivas ocorrem em outras estruturas matemáticas onde a adição é definida, como em grupos e anéis.

Novo!!: Subconjunto e Identidade aditiva · Veja mais »

Independência algébrica

Em álgebra abstrata, um subconjunto S de um corpo L é algebricamente independente sobre um subcorpo K se os elementos de S não satisfazem nenhuma equação polinômica não-trivial com coeficientes em K. Isto significa que para toda série finita α1,..., αn de elementos de S, não sendo dois idênticas, e todo polinômio distinto de zero P(x1,..., xn) com coeficientes em K, temos Em particular, um conjunto de um elemento é algebricamente independente sobre K se e somente se α é transcendente sobre K. Em geral, todos os elementos de um conjunto algebricamente independente sobre K são necessariamente transcendentes sobre K, mas isso está longe de ser uma condição suficiente.

Novo!!: Subconjunto e Independência algébrica · Veja mais »

Independência linear

Em álgebra linear, um conjunto S de vectores diz-se linearmente independente se nenhum dos seus elementos for combinação linear dos outros.

Novo!!: Subconjunto e Independência linear · Veja mais »

Integral de Riemann

No ramo da matemática conhecido como análise real, a integral de Riemann, criada por Bernhard Riemann, foi a primeira definição rigorosa de uma integral de uma função em um intervalo.

Novo!!: Subconjunto e Integral de Riemann · Veja mais »

Integral múltipla

A integral múltipla é uma integral definida para funções de múltiplas variáveis.

Novo!!: Subconjunto e Integral múltipla · Veja mais »

Inteiro (ciência da computação)

Em ciência da computação, um inteiro é um dado do tipo integral, um tipo de dado que representa algum subconjunto finito dos inteiros matemáticos.

Novo!!: Subconjunto e Inteiro (ciência da computação) · Veja mais »

Interpretação de Herbrand

Na lógica matemática, uma Interpretação de Herbrand é uma interpretação em que todas as constantes e símbolos de função são atribuídos significados muitos simples.

Novo!!: Subconjunto e Interpretação de Herbrand · Veja mais »

Involução (matemática)

Uma involução é uma função f:X\to X que, quando aplicada duas vezes, nos traz de volta ao ponto de partida Em matemática, uma involução, ou uma função involutiva, é uma função que é a sua própria inversa, para todo no domínio de.

Novo!!: Subconjunto e Involução (matemática) · Veja mais »

ISO 3166-2:FI

ISO 3166-2:FI é o subconjunto de códigos definido em ISO 3166-2, parte do padrão ISO 3166 publicado pela Organização Internacional para Padronização (ISO), para os nomes das principais subdivisões da Finlândia.

Novo!!: Subconjunto e ISO 3166-2:FI · Veja mais »

ISO 3166-2:PT

ISO 3166-2:PT é o subconjunto de códigos definidos no ISO 3166-2, parte do padrão ISO 3166 publicado pela Organização Internacional para Padronização (ISO), para os nomes das principais subdivisões de Portugal.

Novo!!: Subconjunto e ISO 3166-2:PT · Veja mais »

Isomorfismo

Na álgebra abstrata, um isomorfismo é um homomorfismo bijetivo.

Novo!!: Subconjunto e Isomorfismo · Veja mais »

Jogos NFT

Jogos NFT são jogos eletrônicos com uma arquitetura que operam completamente ou parcialmente sobre uma rede de criptomoedas, possibilitando que os jogadores tenham posse sobre os objetos virtuais contidos no jogo.

Novo!!: Subconjunto e Jogos NFT · Veja mais »

Língua cingalesa

O cingalês (සිංහල, transl. siṃhala), também conhecido como sinhala ou singhala, é a língua oficial do Sri Lanka (antigo Ceilão).

Novo!!: Subconjunto e Língua cingalesa · Veja mais »

Língua kuuk thaayorre

Kuuk Thaayorre (Thayore) é uma língua Paman falada num assentamento Pormpuraaw em Queensland, no oeste da Península do Cabo York, Austrália pelo povo Thaayorr.

Novo!!: Subconjunto e Língua kuuk thaayorre · Veja mais »

Lógica de Árvore de Computação

Lógica de Árvore de Computação (LAC) é uma ramificação-temporal da Lógica, significando que seu modelo de tempo é como a estrutura árvore no qual o futuro não é determinado.

Novo!!: Subconjunto e Lógica de Árvore de Computação · Veja mais »

Lógica de segunda ordem

Na lógica matemática, a lógica de segunda ordem é uma extensão da lógica de primeira ordem, onde a própria lógica de primeira ordem é uma extensão de lógica proposicional.

Novo!!: Subconjunto e Lógica de segunda ordem · Veja mais »

Lógica de segunda ordem monádica

Na lógica, o calculo monádico de predicados (também referido como lógica de primeira ordem monádica) é um fragmento da lógica de primeira ordem na qual, todos os simbolos de relações da assinatura são monádicas (isso é, só podem receber um argumento), e não existem símbolos de funções.

Novo!!: Subconjunto e Lógica de segunda ordem monádica · Veja mais »

Lógica multivalorada

Em lógica, a lógica multivalorada (ou lógica plurivalente) é um cálculo proposicional em que há mais de dois valores verdade.

Novo!!: Subconjunto e Lógica multivalorada · Veja mais »

Lógica na ciência da computação

A lógica na ciência da computação cobre a sobreposição entre o campo da lógica e o da ciência da computação.

Novo!!: Subconjunto e Lógica na ciência da computação · Veja mais »

Lema de Zorn

O Lema de Zorn é um axioma da Teoria dos Conjuntos, normalmente apresentado como: Se, em um conjunto não-vazio e parcialmente ordenado, todo subconjunto totalmente ordenado tem uma quota superior, então o conjunto tem um elemento maximal.

Novo!!: Subconjunto e Lema de Zorn · Veja mais »

Leonhard Euler

Leonhard Paul Euler (Basileia, São Petersburgo) foi um matemático e físico suíço de língua alemã que passou a maior parte de sua vida na Rússia e na Alemanha.

Novo!!: Subconjunto e Leonhard Euler · Veja mais »

Lightning (conector)

Lightning é um conector elétrico desenvolvido para carregamento e transferências de dados, proprietário da Apple Inc..

Novo!!: Subconjunto e Lightning (conector) · Veja mais »

Limitantes superiores e inferiores

Em Matemática especialmente em Teoria da ordem, o limitante superior (cota superior em Análise Real) de um Subconjunto de um Conjunto parcialmente ordenado (K, ≤) é um elemento de K que é maior ou igual de cada elemento de S. O termo limitante inferior é definido dubiamente como um elemento de K que é menor ou igual de cada elemento de S. Um conjunto com o limite superior é dito limitado por cima por aquele limite, um conjunto com um limite inferior é dito limitado inferiormente para conjuntos que tem limites superior (respectivamente inferior). .

Novo!!: Subconjunto e Limitantes superiores e inferiores · Veja mais »

Limite de uma função

Embora a função não seja definida em zero, quando x torna-se mais e mais próximo a zero, torna-se arbitrariamente próximo a 1.

Novo!!: Subconjunto e Limite de uma função · Veja mais »

Limites superiores e inferiores

Em Matemática especialmente em Teoria da ordem, o limitante superior de um Subconjunto de um Conjunto parcialmente ordenado (K, ≤) é um elemento de K que é maior ou igual de cada elemento de S. O termo limitante inferior é definido dubiamente como um elemento de K que é menor ou igual de cada elemento de S. Um conjunto com o limite superior é dito limitado por cima por aquele limite, um conjunto com um limite inferior é dito limitado inferiormente para conjuntos que tem limites superior (respectivamente inferior). .

Novo!!: Subconjunto e Limites superiores e inferiores · Veja mais »

Linguagem ômega

Uma linguagem-ω é um conjunto de sequências de tamanho infinito de símbolos.

Novo!!: Subconjunto e Linguagem ômega · Veja mais »

Linguagem de especificação

Uma linguagem de especificação é uma linguagem formal usada na ciência da computação.

Novo!!: Subconjunto e Linguagem de especificação · Veja mais »

Linguagem indexada

Linguagens indexadas são uma classe de linguagens formais descoberta por Alfred Aho; elas são descritas por gramáticas indexadas e podem ser reconhecidas por autômatos com pilhas aninhados.

Novo!!: Subconjunto e Linguagem indexada · Veja mais »

Linguagem livre de contexto

Na teoria de linguagens formais, uma linguagem livre de contexto (LLC) é uma linguagem gerada por alguma gramática livre de contexto (GLC).

Novo!!: Subconjunto e Linguagem livre de contexto · Veja mais »

Linguagem recursivamente enumerável

Em matemática, lógica e ciência da computação, uma linguagem recursivamente enumerável é um tipo de Linguagem formal que também é chamada de linguagem Turing-reconhecível.

Novo!!: Subconjunto e Linguagem recursivamente enumerável · Veja mais »

Lista de crateras lunares

Este é um subconjunto de lista de crateras lunares.

Novo!!: Subconjunto e Lista de crateras lunares · Veja mais »

Lista de símbolos lógicos

Na lógica, é comum usar um conjunto de símbolos para representar uma expressão lógica.

Novo!!: Subconjunto e Lista de símbolos lógicos · Veja mais »

Lista de símbolos matemáticos

Sem descrição

Novo!!: Subconjunto e Lista de símbolos matemáticos · Veja mais »

Lista de teorias de primeira ordem

Na lógica, uma teoria de primeira ordem é um conjunto de fórmulas que fazem sentido em uma linguagem de primeira ordem.

Novo!!: Subconjunto e Lista de teorias de primeira ordem · Veja mais »

Maioria

Maioria é um subconjunto de um grupo cujo número é superior à metade do grupo inteiro.

Novo!!: Subconjunto e Maioria · Veja mais »

Majorante (matemática)

Seja E um conjunto ordenado e F um subconjunto de E, um majorante/minorante de F é um elemento de E tal que todos os elementos de F sejam menores/maiores que esse elemento de E.

Novo!!: Subconjunto e Majorante (matemática) · 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!!: Subconjunto e Matemática · Veja mais »

Matriz de Cauchy

Em matemática, uma matriz de Cauchy, nomeada em homenagem a Augustin-Louis Cauchy, é uma matriz m \times n com elementos a_ na forma a_.

Novo!!: Subconjunto e Matriz de Cauchy · Veja mais »

Matriz diagonalizável

Em álgebra linear, uma matriz quadrada A é chamada de diagonalizável se é semelhante a uma matriz diagonal, isto é, se existe uma matriz invertível P tal que P−1AP seja uma matriz diagonal.

Novo!!: Subconjunto e Matriz diagonalizável · Veja mais »

Máquina oráculo

Em teoria da computação, uma máquina oráculo é uma máquina abstrata usada para estudar problemas de decisão.

Novo!!: Subconjunto e Máquina oráculo · Veja mais »

Média móvel

Exemplo de médias móveis plotadas em sob preços de ativos Em Estatística, uma média móvel (MM) é um estimador calculado a partir de amostras sequenciais da população.

Novo!!: Subconjunto e Média móvel · Veja mais »

Método delta

Em Inferência estatística, o Método Delta é uma técnica utilizada para aproximar um vetor aleatório através de uma expansão de Taylor.

Novo!!: Subconjunto e Método delta · Veja mais »

Métrica de Lévy–Prokhorov

Em matemática, a métrica de Lévy–Prokhorov, algumas vezes chamada apenas de métrica de Prokhorov, é uma métrica, isto é, uma definição de distância, sobre a coleção de medidas de probabilidade em um dado espaço métrico.

Novo!!: Subconjunto e Métrica de Lévy–Prokhorov · Veja mais »

Mecânica de estruturas

A mecânica estrutural ou mecânica de estruturas é o cálculo de deformações, deflexões e forças ou tensões internas (equivalentes de tensão) dentro de estruturas, seja para projeto ou para avaliação de desempenho de estruturas existentes.

Novo!!: Subconjunto e Mecânica de estruturas · Veja mais »

Medida de Dirac

Um diagrama mostrando todos os subconjuntos possíveis para um conjunto de 3 pontos \x,y,z\. A medida de Dirac \delta_x designa um tamanho de 1 para todos os conjuntos na metade superior esquerda do diagrama e 0 para todos os conjuntos na metade inferior direita. Em matemática, uma medida de Dirac designa um tamanho a um conjunto baseado somente em se ele contém um ponto fixo x ou não.

Novo!!: Subconjunto e Medida de Dirac · Veja mais »

Medida de Haar

Em análise matemática, a medida de Haar é uma forma de atribuir um volume invariante para subconjuntos de grupos localmente compactos e em seguida definir uma integral para funções nestes grupos.

Novo!!: Subconjunto e Medida de Haar · Veja mais »

Medida de Hausdorff

Em matemática, a medida de Hausdorff é um tipo de medida exterior cujo nome se deve ao matemático alemão Felix Hausdorff e que associa a cada subconjunto do espaço euclidiano \mathbb^n um número real estendido não negativo.

Novo!!: Subconjunto e Medida de Hausdorff · Veja mais »

Medida de probabilidade

Em matemática, uma medida de probabilidade é uma função real definida em um conjunto de eventos em um espaço de probabilidade que satisfaz propriedades de medida, tal como a aditividade contável.

Novo!!: Subconjunto e Medida de probabilidade · Veja mais »

Medida de recurso delimitado

A medida de recurso delimitado de Lutz é uma generalização da Medida de Lebesgue para classes de complexidade.

Novo!!: Subconjunto e Medida de recurso delimitado · Veja mais »

Medida espectral

Na matemática, particularmente em análise funcional a Medida espectral é uma função definida em certos subconjuntos de um conjunto fixo no qual todos os valores possíveis são operadores autoadjuntos no espaço de Hilbert.

Novo!!: Subconjunto e Medida espectral · Veja mais »

Medida exterior de Lebesgue

Em matemática, a medida exterior de Lebesgue é uma função que associa a cada subconjunto de \mathbb^n um número real estendido não negativo que está relacionado com o "volume" ocupado por ele.

Novo!!: Subconjunto e Medida exterior de Lebesgue · Veja mais »

Menor (álgebra linear)

Em álgebra linear, um menor de uma matriz A é o determinante de alguma matriz quadrada, obtida a partir de A pela remoção de uma ou mais de suas linhas ou colunas.

Novo!!: Subconjunto e Menor (álgebra linear) · Veja mais »

Meta-jogos

Meta-jogo (em inglês: "Metagame"), Hiper-jogo, ou jogo sobre o jogo, é uma abordagem para um jogo que transcende ou opera fora das regras prescritas do jogo, usa fatores externos para afetar o jogo ou vai além dos supostos limites ou ambiente estabelecidos pelo jogo.

Novo!!: Subconjunto e Meta-jogos · Veja mais »

Minimização de AFD

Em ciência da computação, mais especificamente no ramo da teoria dos autômatos, Minimização de AFD é o processo de transformação de um dado autômato finito determinístico (AFD) em outro equivalente que tenha um número mínimo de estados.

Novo!!: Subconjunto e Minimização de AFD · Veja mais »

MLOps

O MLOps ou ML Ops é um paradigma que visa implantar e manter modelos de aprendizado de máquina em produção de forma confiável e eficaz.

Novo!!: Subconjunto e MLOps · 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!!: Subconjunto e Modelo booliano valorado · Veja mais »

Modelo de Potts

Em mecânica estatística, o modelo de Potts, uma generalização do modelo de Ising, é um modelo de ''spins'' em interação em um reticulado cristalino.

Novo!!: Subconjunto e Modelo de Potts · Veja mais »

Modelo econômico

Pode-se entender um modelo econômico como uma representação (ver modelo científico) ou proposta (ver constructo social) mais amplamente, como um conceito que já seja proposicional ou metodológico a respeito de algum processo ou fenômeno econômico. Como em outras disciplinas, os modelos são, em geral, representações ideais ou simplificadas, que ajudam ao entendimento de sistemas reais mais complexos.

Novo!!: Subconjunto e Modelo econômico · 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!!: Subconjunto e Modelo relacional · Veja mais »

MoSCoW method

O método Moscow é uma técnica de priorização usada em gerenciamento, análise de negócios, gerenciamento de projetos e desenvolvimento de software para chegar a um entendimento comum com as partes interessadas sobre a importância que atribuem à entrega de cada requisito.

Novo!!: Subconjunto e MoSCoW method · Veja mais »

Número aleph

O número dos números naturais é \aleph_0 Na teoria dos conjuntos, os números alephs ou números álefes são uma sequência de números usados para representar os cardinais (ou tamanho) de conjuntos infinitos.

Novo!!: Subconjunto e Número aleph · Veja mais »

Número de Graham

coplanar. O subgrafo é mostrado abaixo do cubo. Note-se que esse cubo que não contem tal subgrafo se, por exemplo, a borda inferior no presente subgrafo for substituída por uma borda azul - provando assim que via exemplo contrário, N*>3. O número de Graham, em homenagem a Ronald Graham, é um número muito grande que é um limite superior sobre a solução para um determinado problema na teoria de Ramsey.

Novo!!: Subconjunto e Número de Graham · Veja mais »

Número de Mersenne

Número de Mersenne é todo número natural da forma M_n.

Novo!!: Subconjunto e Número de Mersenne · Veja mais »

Número inteiro

Um número inteiro é um número que pode ser escrito sem um componente fracional.

Novo!!: Subconjunto e Número inteiro · 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!!: Subconjunto e Número ordinal · Veja mais »

Número racional

Em matemática, um número racional é todo número que pode ser representado por uma fração \frac de dois números inteiros, um numerador a e um denominador não nulo b. Como b pode ser igual a 1, todo número inteiro também é um número racional.

Novo!!: Subconjunto e Número racional · 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!!: Subconjunto e Número real · Veja mais »

Número sequencial combinatório

Na matemática, o número sequencial combinatório (CSN) de uma dada combinação refere-se a posição desta no universo de combinações possíveis de um subconjunto de tamanho r em um conjunto n estabelecido.

Novo!!: Subconjunto e Número sequencial combinatório · Veja mais »

NP-completo

Na teoria da complexidade computacional, a classe de complexidade é o subconjunto dos problemas NP de tal modo que todo problema em NP se pode reduzir, com uma redução de tempo polinomial, a um dos problemas NP-completo.

Novo!!: Subconjunto e NP-completo · Veja mais »

NP-equivalente

Em complexidade computacional, a classe de complexidade NP-equivalente é a classe de problemas que são tanto NP-fácil quanto NP-difícil.

Novo!!: Subconjunto e NP-equivalente · Veja mais »

Otimização

máximo global em (''x, y, z'').

Novo!!: Subconjunto e Otimização · Veja mais »

OWL

A OWL (Ontology Web Language) é uma linguagem para definir e instanciar ontologias na World Wide Web.

Novo!!: Subconjunto e OWL · Veja mais »

P/polinomial

Na Teoria da complexidade computacional, P/poly é a classe de complexidade das linguagens reconhecidas em tempo polinomial por uma máquina de Turing com um polynomial-bounded advice function.

Novo!!: Subconjunto e P/polinomial · Veja mais »

Palavra aninhada

Em ciência da computação, mais especificamente em teoria do autômato e teoria de linguagem formal, palavras aninhadas são um conceito proposto por Alur e Madhusudan como uma generalização conjunta de palavras, tradicionalmente usada para modelagem de estruturas linearmente ordenadas e de árvores ordenadas sem classificação, como também utilizadas para modelagem de estruturas hierárquicas.

Novo!!: Subconjunto e Palavra aninhada · Veja mais »

Partição de um conjunto

Em matemática, dada uma família de índices I\subseteq\mathbb, dizemos que a família P.

Novo!!: Subconjunto e Partição de um conjunto · Veja mais »

PDFSaM

PDFSaM ou PDF Split and Merge é um conjunto de ferramentas de software livre multiplataforma para manipular documentos em PDF.

Novo!!: Subconjunto e PDFSaM · Veja mais »

Permutação parcial

Na matemática combinatória, a permutação parcial em um conjunto finito S é uma bijeção entre dois subconjuntos específicos de S. Ou seja, é definida por dois subconjuntos U e V de tamanhos iguais e com mapeamento um-para-um de U para V. De forma equivalente, é uma função parcial em S, que pode ser estendida para uma permutação.

Novo!!: Subconjunto e Permutação parcial · Veja mais »

PhpMyAdmin

phpMyAdmin é um aplicativo web livre e de código aberto desenvolvido em PHP para administração do MySQL pela Internet.

Novo!!: Subconjunto e PhpMyAdmin · Veja mais »

Poliárvore

Na teoria dos grafos, uma poli-árvore é um grafo direcionado com no máximo um caminho não-direcionado entre quaisquer outros dois vértices.

Novo!!: Subconjunto e Poliárvore · Veja mais »

Ponto limite

Em matemática, um ponto limite ou ponto de acumulação é um ponto em um conjunto que pode ser aproximado tão bem quanto se queira por infinitos outros pontos do conjunto.

Novo!!: Subconjunto e Ponto limite · Veja mais »

População (estatística)

Em estatística, uma população é um conjunto de itens ou eventos semelhantes que interessa para alguma questão ou experimento.

Novo!!: Subconjunto e População (estatística) · Veja mais »

PPAD

Em ciência da computação, PPAD ("Polinômio de Paridade de Argumentos em Grafos Direcionados") é uma classe de complexidade introduzida por Christos Papadimitriou, em 1994.

Novo!!: Subconjunto e PPAD · Veja mais »

Princípio da boa ordenação

O Princípio da boa ordenação ou princípio da boa ordem diz que todo subconjunto não-vazio formado por números naturais possui um menor elemento.

Novo!!: Subconjunto e Princípio da boa ordenação · Veja mais »

Princípio maximal de Hausdorff

O princípio maximal de Hausdorff, em matemática, é uma forma alternativa e anterior ao Lema de Zorn demonstrada pelo matemático alemão Felix Hausdorff em 1914.

Novo!!: Subconjunto e Princípio maximal de Hausdorff · Veja mais »

Problema da árvore de Steiner

Na Combinatória, o problema da árvore de Steiner, problema da autoestrada, ou problema da árvore mínima de Steiner, denominado em referência a Jakob Steiner, é um termo genérico para uma classe de problemas na otimização combinatória.

Novo!!: Subconjunto e Problema da árvore de Steiner · Veja mais »

Problema da inspeção de rotas

Em teoria dos grafos, um ramo da matemática, o problema do carteiro chinês (PCC), circuito do carteiro ou problema da inspeção de rotas consiste em encontrar um caminho mais curto ou circuito fechado que visite cada aresta de um grafo (conectado) não-direcionado.

Novo!!: Subconjunto e Problema da inspeção de rotas · Veja mais »

Problema da mochila

Problema da mochila: Como maximizar o valor com um peso máximo? O problema da mochila (em inglês, Knapsack problem) é um problema de optimização combinatória.

Novo!!: Subconjunto e Problema da mochila · Veja mais »

Problema da satisfação de restrições

O problema da satisfação de restrições do inglês constraint satisfaction problems (CSPs) são problemas matemáticos definidos como um conjunto de objetos cujo estado dos mesmos deve satisfazer uma série de restrições.

Novo!!: Subconjunto e Problema da satisfação de restrições · Veja mais »

Problema de Suslin

Em matemática, o Problema de Suslin é uma questão referente a conjuntos totalmente ordenados enunciada por Mikhail Yakovlevich Suslin em 1920.

Novo!!: Subconjunto e Problema de Suslin · Veja mais »

Problema do caixeiro-viajante

O problema do caixeiro-viajante (PCV) é um problema que tenta determinar a menor rota para percorrer uma série de cidades (visitando uma única vez cada uma delas), retornando à cidade de origem.

Novo!!: Subconjunto e Problema do caixeiro-viajante · Veja mais »

Processo de Bernoulli

Em teoria das probabilidades e estatística, um processo de Bernoulli é uma sequência finita ou infinita de variáveis aleatórias binárias, sendo então um processo estocástico de tempo discreto, que assume apenas dois valores, canonicamente 0 e 1.

Novo!!: Subconjunto e Processo de Bernoulli · Veja mais »

Processo de Fleming–Viot

Em teoria das probabilidades, um processo de Fleming–Viot (processo F–V) é um membro de um subconjunto particular de processos de Markov com valores em medidas de probabilidade em espaços métricos compactos, conforme definido no artigo de 1979 de Wendell Fleming e Michel Viot.

Novo!!: Subconjunto e Processo de Fleming–Viot · 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!!: Subconjunto e Produto cartesiano · Veja mais »

Produto semidireto

Em matemática, especificamente na teoria dos grupos, um produto semidireto é uma generalização de um produto direto.

Novo!!: Subconjunto e Produto semidireto · Veja mais »

Programação de conjunto de resposta

Programação de Conjunto de Resposta (ASP, da expressão em inglês Answer set programming) é uma forma de programação declarativa orientada a problemas de busca difíceis (principalmente NP-difícil).

Novo!!: Subconjunto e Programação de conjunto de resposta · Veja mais »

Programação em lógica indutiva

Programação em lógica indutiva (ILP) é uma subárea de aprendizado de máquina que utiliza lógica de programação como uma representação uniforme para exemplos, conhecimentos prévios e hipóteses.

Novo!!: Subconjunto e Programação em lógica indutiva · Veja mais »

Quártica Klein

Na geometria hiperbólica, a quártica Klein (nomeado por Felix Klein) é uma superfície de Riemann compacta do gênero com o grupo de automorfismo de ordem mais alta possível para esse gênero, com ordem de automorfismos de preservação de orientação e automorfismos se a orientação puder ser revertida.

Novo!!: Subconjunto e Quártica Klein · Veja mais »

QuickBASIC

Microsoft QuickBASIC (ou QB ou incorretamente "QBasic", que é outro sistema), acrónimo de Quick Beginner's All-purpose Symbolic Instruction Code, é um IDE (''Integrated Development Environment'') e compilador para a linguagem de programação BASIC, desenvolvida pela Microsoft.

Novo!!: Subconjunto e QuickBASIC · Veja mais »

RANSAC

RANSAC é uma abreviatura de "RANdom SAmple Consensus".

Novo!!: Subconjunto e RANSAC · Veja mais »

RawTherapee

RawTherapee é um programa multi-plataforma de processamento de imagem raw, lançado sob a licença GNU General Public License Versão 3.

Novo!!: Subconjunto e RawTherapee · Veja mais »

RE (complexidade)

Em Teoria da Computabilidade e na Teoria da Complexidade Computacional, RE (recursivamente enumerável) é uma classe de problemas de decisão onde uma resposta "sim" pode ser verificada por uma máquina de Turing em uma quantidade finita de tempo.

Novo!!: Subconjunto e RE (complexidade) · Veja mais »

Receptor GABAA

url.

Novo!!: Subconjunto e Receptor GABAA · Veja mais »

Rede de confiança

Diagrama esquemático de uma rede de confiança Em criptografia, uma rede de confiança é um conceito utilizado em PGP, GnuPG, e outros sistemas compatíveis com OpenPGP para estabelecer a autenticidade da ligação entre uma chave pública e o seu proprietário.

Novo!!: Subconjunto e Rede de confiança · Veja mais »

Rede sem escala

As redes livres de escala são redes complexas cujo grau de distribuição segue a lei de potência, em que a maioria dos nodos(vértices) tem poucas ligações, contrastando com a existência de alguns nodos que apresentam um elevado número de ligações, ou seja um nodo com Grau(ligações) alto tende a ligar-se a outro nodo de Grau alto.

Novo!!: Subconjunto e Rede sem escala · Veja mais »

Redução (complexidade)

Em teoria da computação e complexidade, uma redução é uma transformação de um problema em outro.

Novo!!: Subconjunto e Redução (complexidade) · Veja mais »

Relação (matemática)

Em matemática, uma relação é uma correspondência (ou associação) entre elementos de dois conjuntos não vazios.

Novo!!: Subconjunto e Relação (matemática) · Veja mais »

Relação antissimétrica

Em matemática, uma relação antissimétrica é uma relação binária R em um conjunto X quando não há um par de elementos distintos de X, cada um deles relacionado por R ao outro.

Novo!!: Subconjunto e Relação antissimétrica · Veja mais »

Relação bem-fundada

Em matemática, uma relação binária R\subseteq X\times X é uma relação bem-fundada numa classe X, se e somente se, todo subconjunto não vazio de X, tiver um elemento R-minimal; ou seja, para todo subconjunto não vazio S de X, existe um elemento m de S tal que para todo elemento s de S, o par (s,m) não está em R. Em outras palavras, todo subconjunto não vazio de X possui um elemento m tal que para todo s, s \not\in m. Desta forma, evitamos situações de loop.

Novo!!: Subconjunto e Relação bem-fundada · Veja mais »

Relação bem-ordenada

Na matemática, uma relação bem-ordenada (ou boa-ordenação) em um conjunto S é uma ordenação total em S com a propriedade de que todo subconjunto não-vazio de S possui um elemento mínimo na ordenação.

Novo!!: Subconjunto e Relação bem-ordenada · 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!!: Subconjunto e Relação binária · Veja mais »

Relação de congruência

Na álgebra abstrata, uma relação de congruência (ou simplesmente congruência) é uma relação de equivalência em uma estrutura algébrica (como um grupo, anel ou espaço vetorial) que é compatível com a estrutura no sentido de que operações algébricas feitas com elementos equivalentes produzirão elementos equivalentes.

Novo!!: Subconjunto e Relação de congruência · Veja mais »

Relação de equivalência

As 52 relações de equivalência em um conjunto de 5 elementos representadas por matrizes lógicas 5 × 5 (campos coloridos, incluindo aqueles em cinza claro, representam os uns; campos brancos por zeros.) Os índices de linha e coluna de células não brancas são os elementos relacionados, enquanto as cores diferentes, exceto cinza claro, indicam as classes de equivalência (cada célula cinza claro é sua própria classe de equivalência). Na matemática, uma relação de equivalência é uma relação binária que é reflexiva, simétrica e transitiva.

Novo!!: Subconjunto e Relação de equivalência · Veja mais »

Relação reflexiva

Na matemática, uma relação reflexiva é uma relação binária R sobre um conjunto X em que cada elemento de X está relacionado a si mesmo.

Novo!!: Subconjunto e Relação reflexiva · Veja mais »

Relação transitiva

Na matemática, relação transitiva é a que se estabelece entre três elementos de um mesmo conjunto de tal forma que se o primeiro tem relação com o segundo e este tem relação com um terceiro, então o primeiro elemento tem relação com o terceiro.

Novo!!: Subconjunto e Relação transitiva · Veja mais »

Representação de conhecimento e raciocínio

Representação de conhecimento e raciocínio é o campo da inteligência artificial (IA) dedicado a representar informações sobre o mundo em uma forma que um sistema computacional pode usar para resolver tarefas complexas, como diagnosticar uma condição médica ou ter um diálogo em uma linguagem natural.

Novo!!: Subconjunto e Representação de conhecimento e raciocínio · Veja mais »

Restrição de função

Em matemática, A restrição de função f é uma função cujo domínio é restrito a um subconjunto do domínio da função original.

Novo!!: Subconjunto e Restrição de função · 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!!: Subconjunto e Richard Dedekind · Veja mais »

RQDA

RQDA é um pacote para linguagem R para análise de dados qualitativos assistida por computador ou CAQDAS.

Novo!!: Subconjunto e RQDA · Veja mais »

RSS

O RSS (abreviação de Rich Site Summary ou Really Simple Syndication) é um formato de texto para distribuição de informações em tempo real pela internet; é uma forma simplificada e resumida de apresentar o conteúdo do site usando linguagem XML, no qual um subconjunto de "dialetos" XML que servem para agregar conteúdo podem ser acessados mediante programas ou sites agregadores.

Novo!!: Subconjunto e RSS · Veja mais »

Símbolos matemáticos

Os símbolos matemáticos, como o nome já diz: ‘‘símbolo’’, são sinais matemáticos, utilizados em cálculos e fórmulas matemáticas.

Novo!!: Subconjunto e Símbolos matemáticos · Veja mais »

SchoolTool

SchoolTool é um sistema de informações estudantil livre, licenciado sob a GNU GPL, para escolas ao redor do mundo.

Novo!!: Subconjunto e SchoolTool · Veja mais »

Sequência de Lucas

Em matemática, as sequências de Lucas U_n(P,Q) e V_n(P,Q) são certas sequências de inteiros que satisfazem a relação de recorrência x_n.

Novo!!: Subconjunto e Sequência de Lucas · Veja mais »

Sigma-álgebra

Em matemática, uma σ-álgebra (pronunciada sigma-álgebra) sobre um conjunto X é uma coleção de subconjuntos de X, incluindo o conjunto vazio, e que é fechada sobre operações contáveis de união, interseção e complemento de conjuntos.

Novo!!: Subconjunto e Sigma-álgebra · Veja mais »

Sistema de Transição

Na teoria da ciência da computação, um sistema de transição é um conceito utilizado no estudo da computação.

Novo!!: Subconjunto e Sistema de Transição · Veja mais »

Sistema Pi

Em um conjunto Ω, em matemática, um sistema Pi (ou sistema π) é um conjunto P de determinados subconjuntos de Ω, tal que.

Novo!!: Subconjunto e Sistema Pi · Veja mais »

Social commerce

Social commerce, ou Comércio Social em português, é um subconjunto do e-commerce que envolve o uso de redes sociais virtuais, essa última que permite a interação social, e onde os usuários auxiliam outros na compra e venda de produtos e serviços on-line.

Novo!!: Subconjunto e Social commerce · Veja mais »

Sociologia

Sociologia é a ciência social que estuda a sociedade, padrões de relações sociais, interação social e cultura da vida cotidiana.

Novo!!: Subconjunto e Sociologia · Veja mais »

Solarpunk

Solarpunk é um movimento artístico que contempla as possibilidades de futuro da humanidade, caso os grandes desafios contemporâneos sejam resolvidos.

Novo!!: Subconjunto e Solarpunk · Veja mais »

Soma de Riemann

métodos do somatório de Riemann para aproximação da área sob curvas. Métodos '''à direita''' e '''à esquerda''' fazem a aproximação usando os pontos finais à direita e à esquerda de cada subintervalo, respectivamente. Métodos '''máximo''' e '''mínimo''' fazem a aproximação usando o maior e menor valores de pontos finais de cada subintervalo, respectivamente. Os valores das somas convergem como os subintervalos da metade superior à esquerda a baixo à direita. Na matemática, a soma de Riemann é uma aproximação obtida pela expressão \sum_^nf(x_^)\cdot\Delta x. É nomeada em homenagem ao matemático alemão Bernhard Riemann.

Novo!!: Subconjunto e Soma de Riemann · Veja mais »

Soma direta

O conceito de soma direta é recorrente em álgebra, se aplicando a diversas estruturas algébricas, como grupos, anéis e espaços vetoriais.

Novo!!: Subconjunto e Soma direta · Veja mais »

Somas de Riemann, somas de Darboux e outras somas

São vários os tipos de somas que podem contribuir para a definição da integral de Riemann de uma função real de variável real, definida num intervalo fechado.

Novo!!: Subconjunto e Somas de Riemann, somas de Darboux e outras somas · Veja mais »

Soyuz (família de foguetes)

Um foguete '''Soyuz-U''' na plataforma de lançamento. Soyuz, em russo Союз, (União) - é uma família de veículos de lançamento descartáveis desenvolvidos pelo OKB-1 na União Soviética desde a década de 1960, e fabricado no TsSKB-Progress, em Samara, na Rússia.

Novo!!: Subconjunto e Soyuz (família de foguetes) · Veja mais »

SQL

Structured Query Language (SQL), lit.

Novo!!: Subconjunto e SQL · Veja mais »

Subgrupo

Em teoria dos grupos, um subgrupo de um grupo G é um subconjunto H de G que também seja um grupo para a mesma operação.

Novo!!: Subconjunto e Subgrupo · Veja mais »

Subobjeto

Na teoria das categorias, um ramo da matemática, um subobjeto é, grosso modo, um objeto que está dentro de outro objeto da mesma categoria.

Novo!!: Subconjunto e Subobjeto · Veja mais »

Subsequência

Em matemática, uma subseqüência, subsequência ou subsucessão de uma seqüência é uma restrição da seqüência a um subconjunto infinito \mathbb'.

Novo!!: Subconjunto e Subsequência · Veja mais »

Subvariedade

Em matemática, a subvariedade de uma variedade M é um subconjunto S que possui ele próprio a estrutura de uma variedade, e para o qual a função inclusão S → M satisfaz certas propriedades.

Novo!!: Subconjunto e Subvariedade · Veja mais »

Suporte (matemática)

compacto. referências esboço-matemática Categoria:Análise real Categoria:Topologia.

Novo!!: Subconjunto e Suporte (matemática) · 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!!: Subconjunto e Supremo e ínfimo · Veja mais »

Tamanho

O tamanho em geral é a magnitude ou as dimensões de uma coisa.

Novo!!: Subconjunto e Tamanho · Veja mais »

Tautologia (lógica)

Na lógica proposicional, uma tautologia (do grego ταυτολογία) é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis proposicionais.

Novo!!: Subconjunto e Tautologia (lógica) · Veja mais »

Tempo ocioso do sistema

Nos sistemas operacionais Windows NT, o Tempo ocioso do sistema ou System Idle Process,  contém um ou mais threads de kernel que são executados quando nenhum outro thread executável pode ser agendado em uma CPU.

Novo!!: Subconjunto e Tempo ocioso do sistema · Veja mais »

Teorema da compacidade

O Teorema da Compacidade assegura que um conjunto \Gamma \,\! qualquer formado por fórmulas bem formadas de um cálculo de predicados de primeira ordem é satisfazível se, e somente se, todo subconjunto finito \Gamma_0 \,\! de \Gamma \,\! também é satisfazível.

Novo!!: Subconjunto e Teorema da compacidade · Veja mais »

Teorema da função inversa

O teorema da função inversa é um importante resultado da análise real que estabelece a existência, ainda que localmente, de um função inversa para uma aplicação continuamente diferenciável.

Novo!!: Subconjunto e Teorema da função inversa · Veja mais »

Teorema da impossibilidade de Arrow

O Teorema da impossibilidade de Arrow é um teorema atribuído ao economista estadunidense Kenneth Arrow, geralmente aplicável aos sistemas de votação.

Novo!!: Subconjunto e Teorema da impossibilidade de Arrow · Veja mais »

Teorema de Dini

O Teorema de Dini, nomeado assim em homenagem ao ilustre matemático italiano do século XIX, Ulisse Dini, é um importantíssimo resultado de Análise real que caracteriza a convergência de sequências de funções dentro de um compacto de \mathbb, i.e., um fechado e limitado.

Novo!!: Subconjunto e Teorema de Dini · Veja mais »

Teorema de Hahn-Banach

O Teorema de Hahn-Banach é um dos principais resultados da Análise Funcional na Matemática.

Novo!!: Subconjunto e Teorema de Hahn-Banach · Veja mais »

Teorema de hierarquia de tempo

Na teoria da complexidade computacional, os teoremas de hierarquia de tempo são importantes declarações sobre a limitação de tempo de computação de máquinas de Turing.

Novo!!: Subconjunto e Teorema de hierarquia de tempo · Veja mais »

Teorema de Knaster–Tarski

O Teorema de Knaster–Tarski, por Bronisław Knaster e Alfred Tarski, é um resultado matemático em teoria da ordem sobre reticulados que diz o seguinte: O teorema determina ainda a forma geral do máximo e do mínimo do conjunto de pontos fixos de f. O teorema na sua forma mais geral, foi originalmente enunciado por Tarski; e assim o teorema é muitas vezes conhecido como teorema do ponto fixo de Tarski.

Novo!!: Subconjunto e Teorema de Knaster–Tarski · Veja mais »

Teorema de Löwenheim–Skolem

Na lógica matemática, o teorema Löwenheim-Skolem, assim denominado em referência a Leopold Löwenheim e Thoralf Skolem, afirma que, se uma teoria de primeira ordem contável tem um modelo infinito, então para cada número cardinal infinito κ, existe um modelo de tamanho κ.

Novo!!: Subconjunto e Teorema de Löwenheim–Skolem · Veja mais »

Teorema de Mittag-Leffler

Na análise complexa, o teorema de Mittag-Leffler diz respeito à existência de funções meromorfas com polos prescritos.

Novo!!: Subconjunto e Teorema de Mittag-Leffler · Veja mais »

Teorema de Nielsen–Schreier

O Teorema de Nielsen-Schreier é um importante resultado da Teoria dos Grupos que demonstra que todo subgrupo de um grupo livre é livre sobre algum conjunto.

Novo!!: Subconjunto e Teorema de Nielsen–Schreier · Veja mais »

Teorema de Rice

Na teoria da computação, o teorema de Rice afirma que, para qualquer propriedade não-trivial de funções parciais, não existe um método geral e eficaz para decidir se um algoritmo calcula uma função parcial com essa propriedade.

Novo!!: Subconjunto e Teorema de Rice · Veja mais »

Teorema de Steinhaus

Em matemática, o teorema de Steinhaus é um importante resultada da teoria da medida.

Novo!!: Subconjunto e Teorema de Steinhaus · Veja mais »

Teorema de Stokes

Ilustração do teorema de Stokes. O Teorema de Stokes, na geometria diferencial, é uma afirmação sobre a integração de formas diferenciais que generaliza diversos teoremas do cálculo vetorial.

Novo!!: Subconjunto e Teorema de Stokes · Veja mais »

Teorema de Weierstrass

Em matemática, o Teorema de Weierstrass ou Teorema dos Extremos afirma que qualquer função contínua de um intervalo em \mathbb\, é limitada e que, além disso, tem um máximo e um mínimo nesse intervalo.

Novo!!: Subconjunto e Teorema de Weierstrass · Veja mais »

Teorema do gradiente

O teorema do gradiente, também conhecido como teorema fundamental do cálculo, para integrais de linha, diz que a integral de linha através do campo gradiente pode ser estimada calculando-se o campo escalar original nos pontos finais da curva.

Novo!!: Subconjunto e Teorema do gradiente · Veja mais »

Teorema do ideal primo booliano

Em matemática, um teorema do ideal primo garante a existência de certos tipos de subconjuntos numa álgebra dada.

Novo!!: Subconjunto e Teorema do ideal primo booliano · Veja mais »

Teorema do ponto fixo de Schauder

O Teorema do ponto fixo de Schauder é uma generalização do teorema do ponto fixo de Brouwer.

Novo!!: Subconjunto e Teorema do ponto fixo de Schauder · 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!!: Subconjunto e Teorema Finito de Ramsey · Veja mais »

Teorema Fundamental dos Homomorfismos

Em álgebra abstrata, o teorema fundamental dos homomorfismos, também conhecido como teorema homomórfico fundamental, relaciona a estrutura de dois objetos, entre os quais existe um homomorfismo, e o núcleo e a imagem do homomorfismo.

Novo!!: Subconjunto e Teorema Fundamental dos Homomorfismos · Veja mais »

Teoremas da incompletude de Gödel

Os teoremas da incompletude de Gödel são dois teoremas da lógica matemática que estabelecem limitações inerentes a quase todos os sistemas axiomáticos, exceto aos mais triviais.

Novo!!: Subconjunto e Teoremas da incompletude de Gödel · Veja mais »

Teoria (lógica matemática)

Em lógica matemática, uma teoria (também chamada de teoria formal) é um conjunto de sentenças em uma linguagem formal.

Novo!!: Subconjunto e Teoria (lógica matemática) · Veja mais »

Teoria dos conjuntos

conjuntos. Teoria dos conjuntos ou de conjuntos é o ramo da lógica matemática que estuda conjuntos, que (informalmente) são coleções de elementos.

Novo!!: Subconjunto e Teoria dos conjuntos · Veja mais »

Teoria dos conjuntos de Tarski-Grothendieck

A teoria dos conjuntos de Tarski-Grothendieck (TG, assim denominada em referência aos matemáticos Alfred Tarski e Alexander Grothendieck) é uma teoria dos conjuntos axiomática.

Novo!!: Subconjunto e Teoria dos conjuntos de Tarski-Grothendieck · Veja mais »

Teoria dos Conjuntos Kripke-Platek

Os Axiomas de Kripke-Platek da Teoria dos Conjuntos (KP), pronunciado, é um sistema da teoria axiomática dos conjuntos, baseado nas ideias de Saul Kripke (1964) e Richard Platek (1966).

Novo!!: Subconjunto e Teoria dos Conjuntos Kripke-Platek · Veja mais »

Teoria dos jogos

Teoria dos jogos ou Teoria de jogos é um ramo da matemática aplicada que estuda situações estratégicas onde jogadores escolhem diferentes ações na tentativa de melhorar seu retorno.

Novo!!: Subconjunto e Teoria dos jogos · 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!!: Subconjunto e Teoria dos modelos · Veja mais »

Teoria ergódica

A teoria ergódica (do grego έργον (ergon), "trabalho" e όδος (hodos), "caminho") é um ramo da matemática que estuda sistemas dinâmicos com uma medida invariante e problemas relacionados.

Novo!!: Subconjunto e Teoria ergódica · 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!!: Subconjunto e Teoria ingênua dos conjuntos · Veja mais »

Teste de caixa-preta

Teste de caixa-preta é um teste de software para verificar a saída dos dados usando entradas de vários tipos.

Novo!!: Subconjunto e Teste de caixa-preta · Veja mais »

Tipo (teoria do modelo)

Na teoria do modelo e áreas relacionadas da matemática, um tipo é um objeto que, falando livremente, descreve como um elemento (real ou possível) ou elementos em uma estrutura matemática podem se comportar.

Novo!!: Subconjunto e Tipo (teoria do modelo) · Veja mais »

Transdutor de estados finitos

Transdutor de estados finitos é um máquina de estados finitos com duas fitas: uma fita de entrada e uma fita de saída.

Novo!!: Subconjunto e Transdutor de estados finitos · Veja mais »

Transformada de Laplace bilateral

Em matemática, a transformada de Laplace bilateral é uma transformada integral bastante relacionada com a transformada de Fourier, a transformada de Mellin e a transformada de Laplace.

Novo!!: Subconjunto e Transformada de Laplace bilateral · Veja mais »

Triangulação de Delaunay

Em matemática, uma Triangulação de Delaunay para um conjunto de pontos P no plano é uma triangulação DT(P) onde nenhum ponto em P está dentro da circunferência formada por qualquer triângulo na DT(P).

Novo!!: Subconjunto e Triangulação de Delaunay · Veja mais »

UCBLogo

UCBLogo, também conhecido como Berkeley Logo, é bastante próximo de uma linguagem de programação Logo padrão, com suas facilidades para manipular listas, arquivos, entrada e saída e recursão em scripts, podendo ser utilizado para ensinar a maior parte dos conceitos científicos, como o professor Brian Harvey, da Universidade da Califórnia em Berkeley fez em sua trilogia Computer Science Logo StyleComputer Science Logo Style, Brian Harvey, MIT Press (3 volumes) ISBN 0-262-58148-5, ISBN 0-262-58149-3, ISBN 0-262-58150-7.

Novo!!: Subconjunto e UCBLogo · Veja mais »

Ultrafiltro

Em matemática, especialmente na Teoria da ordem e na Teoria de conjuntos, um ultrafiltro é um filtro próprio maximal, ou seja, um filtro próprio que não está estritamente contido num outro filtro próprio.

Novo!!: Subconjunto e Ultrafiltro · Veja mais »

Variável aleatória

Uma variável aleatória é uma variável quantitativa, cujo resultado (valor) depende de fatores aleatórios.

Novo!!: Subconjunto e Variável aleatória · Veja mais »

Verilog

Verilog, cuja padronização atual é a IEEE (1364 – 2005), é uma linguagem de descrição de equipamento físico (Hardware Description Language — HDL) usada para modelar sistemas eletrônicos ao nível de circuito.

Novo!!: Subconjunto e Verilog · Veja mais »

Vizinhança (matemática)

Un conjunto V no plano é a vizinhança do ponto p se um pequeno disco em redor de p está contido em V. Um polígono não é vizinhança de nenhum dos seus vértices. Um conjunto S no plano e uma vizinhança uniforme V de S. Em topologia, um subconjunto V de um espaço topológico X diz-se uma vizinhança do ponto x\in X se existir um aberto A tal que x\in A\subseteq V. Por outras palavras, V é uma vizinhança de x se x estiver no interior de V.

Novo!!: Subconjunto e Vizinhança (matemática) · Veja mais »

What Video Games Have to Teach Us About Learning and Literacy

What Video Games Have to Teach Us About Learning and Literacy é um livro de James Paul Gee que enfoca os princípios de aprendizagem em videogames e como esses princípios podem ser aplicados às salas de aula do 1º,2º e 3º ciclo.

Novo!!: Subconjunto e What Video Games Have to Teach Us About Learning and Literacy · Veja mais »

Wireless Application Protocol

Acessando a página "Wikipedia" da versão inglesa da tecnologia WAP. WAP (sigla para Wireless Application Protocol; em português, Protocolo para Aplicações sem Fio) é um padrão internacional para aplicações que utilizam comunicações de dados digitais sem fio (Internet móvel), como por exemplo o acesso à Internet a partir de um telefone móvel.

Novo!!: Subconjunto e Wireless Application Protocol · Veja mais »

XBL

XBL (XML Binding Language) é uma linguagem de marcação baseada em XML, usada para declarar o comportamento e aparência de widgets XUL e elementos XML.

Novo!!: Subconjunto e XBL · Veja mais »

Xorshift

Os geradores de números aleatórios Xorshift, também chamados de geradores de registro de deslocamento, são uma classe de geradores de números pseudoaleatórios inventados por George Marsaglia.

Novo!!: Subconjunto e Xorshift · Veja mais »

Zona de amplitude local

Zona de amplitude local (em alemão Teilzone) em bioestratigrafia// Simpson, John (ed.)..

Novo!!: Subconjunto e Zona de amplitude local · Veja mais »

Redireciona aqui:

Inclusão de conjuntos, Subconjunto próprio, Superconjunto, Superconjunto próprio.

CessanteEntrada
Ei! Agora estamos em Facebook! »