Acesso mais rápido do que o navegador!
206 relações: Absorção (lógica), Alain de Lille, Ambiguidade, Análise dimensional, Análise funcional, Análise numérica, Axioma, Axioma da escolha, Axioma do conjunto vazio, Axiomas de Hilbert, Axiomas de Zermelo-Fraenkel, Ângulo reto, Ética (Espinoza), Último teorema de Fermat, B-spline, Beleza da matemática, Big bang frio, Binómio de Newton, Buckingham (desambiguação), Catraca (símbolo), Cálculo proposicional implicacional, Circunferência, Cláusula de Horn, Combinatória, Comprovação científica, Congruência triangular, Conjectura da bolha dupla, Conjectura da colmeia, Conjectura de Collatz, Conjectura de Gudkov, Convexidade (economia), Coq, Corolário, Críticas ao marxismo, Demonstração de Furstenberg da infinitude dos números primos, Derivação formal, Desigualdade de Chebyshev, Desigualdade de Weyl, Desigualdade triangular, Dialeteísmo, Dilema construtivo, Dilema destrutivo, Divisão euclidiana, Dupla negação, E8, Eliminação bicondicional, Eliminação da disjunção, Epistemologia, Erica Klarreich, Esferas de Dandelin, ..., Especificação formal, Exportação (lógica), Falso (lógica), Física, Fórmula bem formada, Geometria, Geometria afim, Geometria analítica, Geometria euclidiana, Geometria projetiva, Gottlob Frege, Grigori Perelman, Hipócrates de Quio, História da lógica, Ibn Mu'adh al-Jayyani, Implicação material (regra de inferência), Incerteza de medição, Indução estrutural, Introdução bicondicional, Isabelle, Jacques Charles François Sturm, Jingrun Chen, Lógica modal, Lógica proposicional, Lei da reciprocidade quadrática, Lei de inércia de Sylvester, Lei do terceiro excluído, Lei dos grandes números, Lema (desambiguação), Lema (matemática), Lema de Bhaskara, Lema de Borel-Cantelli, Lema do Incentro-Exincentro, Lema dos cinco, Lev Pontryagin, LeYa, Lista de teoremas matemáticos, Lista de teorias de primeira ordem, Magnetismo, Matemática, Matemática da Grécia Antiga, Matriz triangular, Método dedutivo, Método delta, Modelagem computacional, Modelo econômico, Modus ponens, Nazifascismo, O Cão Amarelo, Objeto formal, Objeto matemático, Operador adjunto, Os Elementos, Papo de Alexandria, Paradoxo do bêbado, Paridade do zero, Paul Erdős, Pesquisa, Ponto fixo, Princípio da não-contradição, Problema (filosofia), Propulsor, Prova direta, Prova matemática, Provas conforme O Livro, Raio de convergência, Raiz quadrada de dois, Regra de Cramer, Resíduo quadrático, Resolução do último teorema de Fermat, Rigor, Royal Society, Ruína do jogador, Símbolo (formal), Símbolos de Christoffel, Se e somente se, Secularização, Sem perda de generalidade, Sentença (lógica matemática), Sexteto de Soddy, Sistema axiomático, Sistema de equações lineares, Sistema de Steiner, Sistema dedutivo, Sistema formal, Tales de Mileto, Teorema chinês do resto, Teorema CPT, Teorema da aproximação universal, Teorema da borboleta, Teorema da coloração do caminho, Teorema da continuidade de Kolmogorov, Teorema da convergência monótona, Teorema da extensão de Kolmogorov, Teorema da impossibilidade de Arrow, Teorema da representação de Riesz, Teorema das barras cruzadas, Teorema de Abel–Ruffini, Teorema de Banach-Steinhaus, Teorema de Bolzano-Weierstrass, Teorema de Burlet, Teorema de Carnot, Teorema de Ceva, Teorema de Dirichlet sobre progressões aritméticas, Teorema de Earnshaw, Teorema de Egorov, Teorema de Erdős–Wintner, Teorema de Euclides, Teorema de Fermat-Lagrange, Teorema de Hilbert-Schmidt, Teorema de Kutta Joukowski, Teorema de Liouville, Teorema de Masreliez, Teorema de Mordell-Weil, Teorema de Papo, Teorema de Picard-Lindelöf, Teorema de Pitágoras, Teorema de Pitot, Teorema de Ptolomeu, Teorema de Rouché-Capelli, Teorema de Shimura-Taniyama-Weil, Teorema de Steiner, Teorema de Stewart, Teorema de Stokes, Teorema de Tales (círculo), Teorema de Tales (interseção), Teorema de Taylor, Teorema de Thévenin, Teorema de Thue, Teorema de transporte de Reynolds, Teorema de Varignon (geometria), Teorema de Varignon (mecânica), Teorema de Zeckendorf, Teorema do ponto fixo de Kakutani, Teorema do ponto fixo de Schauder, Teorema do trabalho-energia, Teorema dos ângulos externos, Teorema dos zeros de Hilbert, Teorema fundamental da aritmética, Teorema fundamental da álgebra, Teorema π de Vaschy-Buckingham, Teoremas da incompletude de Gödel, Teoremas de Papo-Guldino, Teoria, Teoria (lógica matemática), Teoria de tranças, Teoria dos números, Tese de Church-Turing, Teste da raiz, Teste de primalidade de Miller-Rabin, Transposição (lógica), Trigonometria, Verdade, Verdade lógica, William Lane Craig, Wolfgang Pauli. Expandir índice (156 mais) »
Absorção (lógica)
Absorção é uma forma lógica de argumento válido e uma regra de inferencia da lógica proposicional.
Novo!!: Teorema e Absorção (lógica) · Veja mais »
Alain de Lille
Alain de Lille (também em latim: Alanus ab Insulis, Alanis ab Insulis, ou Alanus de Insulis) (Lille, 1128 – Cister, 1202) foi um teólogo e poeta francês.
Novo!!: Teorema e Alain de Lille · 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!!: Teorema e Ambiguidade · Veja mais »
Análise dimensional
A análise dimensional tem sua grande utilidade na previsão, verificação e resolução de equações que relacionam as grandezas físicas garantindo sua integridade e homogeneidade.
Novo!!: Teorema e Análise dimensional · Veja mais »
Análise funcional
A análise funcional é o ramo da matemática, e mais especificamente da análise, que trata do estudo de espaços de funções.
Novo!!: Teorema e Análise funcional · Veja mais »
Análise numérica
''Clay tablet'' Babilônio YBC 7289(c. 1800–1600 BCE) http://www.math.ubc.ca/~cass/Euclid/ybc/ybc.html com anotações. (Imagem por Bill Casselman) A análise numérica é o estudo de algoritmos de aproximação para a solução de problemas matemáticos.
Novo!!: Teorema e Análise numérica · Veja mais »
Axioma
Na lógica tradicional, um axioma ou postulado é uma sentença ou proposição que não é provada ou demonstrada e é considerada como óbvia ou como um consenso inicial necessário para a construção ou aceitação de uma teoria.
Novo!!: Teorema e Axioma · 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!!: Teorema e Axioma da escolha · Veja mais »
Axioma do conjunto vazio
Em teoria axiomática dos conjuntos, o axioma do conjunto vazio é um postulado lógico para garantir, formalmente, a existência de um conjunto sem elementos.
Novo!!: Teorema e Axioma do conjunto vazio · Veja mais »
Axiomas de Hilbert
Os axiomas de Hilbert são um conjunto de 20 (originalmente 21) premissas propostas por David Hilbert em 1899 no seu livro Grundlagen der Geometrie (tr. Fundamentos da Geometria), como a fundação de um tratamento moderno da geometria euclidiana.
Novo!!: Teorema e Axiomas de Hilbert · Veja mais »
Axiomas de Zermelo-Fraenkel
Na matemática, a teoria dos conjuntos de Zermelo-Fraenkel com o axioma da escolha, nomeada em homenagem aos matemáticos Ernst Zermelo e Abraham Fraenkel e comumente abreviada como ZFC, é um dos muitos sistemas axiomáticos que foram propostos no início do século XX para promover uma teoria dos conjuntos sem os paradoxos da teoria ingênua dos conjuntos, como o paradoxo de Russell.
Novo!!: Teorema e Axiomas de Zermelo-Fraenkel · Veja mais »
Ângulo reto
Um ângulo reto é igual a 90 graus Um segmento de linha (AB) desenhado para formar ângulos retos com uma linha (CD) Na geometria e trigonometria, um ângulo reto é um ângulo de exatamente 90° (graus), correspondendo a um quarto de volta.
Novo!!: Teorema e Ângulo reto · Veja mais »
Ética (Espinoza)
A Ética ou Ética demonstrada à maneira dos geômetras (em latim: Ethica, ordine geometrico demonstrata), geralmente referida apenas como Ética de Espinoza, é considerada a principal obra do filósofo holandês de origem portuguesa Baruch Espinoza.
Novo!!: Teorema e Ética (Espinoza) · Veja mais »
Último teorema de Fermat
O Último Teorema de Fermat é um famoso teorema matemático conjecturado pelo matemático francês Pierre de Fermat em 1637.
Novo!!: Teorema e Último teorema de Fermat · Veja mais »
B-spline
No subcampo da matemática da análise numérica, uma B-spline é uma função spline que tem o mínimo suporte em relação a um determinado grau, suavidade, e partição do domínio.
Novo!!: Teorema e B-spline · Veja mais »
Beleza da matemática
Beleza Matemática é o termo que descreve o prazer estético que alguns matemáticos dizem derivar do seu trabalho, e da Matemática em geral.
Novo!!: Teorema e Beleza da matemática · Veja mais »
Big bang frio
Big Bang Frio é uma designação usada em Cosmologia para denotar uma temperatura de zero absoluto no começo do Universo, ao invés de um Big Bang (quente).
Novo!!: Teorema e Big bang frio · Veja mais »
Binómio de Newton
Em matemática, permite escrever na forma canônica o polinómio correspondente à potência de um binómio.
Novo!!: Teorema e Binómio de Newton · Veja mais »
Buckingham (desambiguação)
Sem descrição
Novo!!: Teorema e Buckingham (desambiguação) · Veja mais »
Catraca (símbolo)
Na lógica matemática e ciência da computação, o símbolo \vdash recebe o nome de catraca, pela sua semelhança a uma catraca observada de cima.
Novo!!: Teorema e Catraca (símbolo) · Veja mais »
Cálculo proposicional implicacional
Na lógica matemática, o cálculo proposicional implicacional é um fragmento do cálculo proposicional clássico (bivalente) que usa somente um conectivo, chamado de implicação ou condicional.
Novo!!: Teorema e Cálculo proposicional implicacional · Veja mais »
Circunferência
Na geometria euclidiana, uma circunferência é o lugar geométrico dos pontos de um plano que equidistam de um ponto fixo.
Novo!!: Teorema e Circunferência · Veja mais »
Cláusula de Horn
Em lógica, uma cláusula de Horn é uma cláusula (disjunção de literais) com no máximo um literal positivo.
Novo!!: Teorema e Cláusula de Horn · Veja mais »
Combinatória
A combinatória é um ramo da matemática que estuda coleções finitas de elementos que satisfazem critérios específicos determinados e se preocupa, em particular, com a "contagem" de elementos nessas coleções (combinatória enumerativa), com decidir se certo objeto "ótimo" existe (combinatória extremal) e com estruturas "algébricas" que esses objetos possam ter (combinatória algébrica).
Novo!!: Teorema e Combinatória · Veja mais »
Comprovação científica
A comprovação científica é o conjunto de processos e métodos teóricos e práticos, conhecidos como Método Científico, que são realizados para averiguar sistematicamente a verdade e formar a certeza de que um determinado fato ou fenômeno de qualquer natureza é real, mensurável e passível de averiguação a qualquer momento pelos processos e instrumentos de controle, teóricos e práticos através de provas científicas.
Novo!!: Teorema e Comprovação científica · Veja mais »
Congruência triangular
Casos de congruência de triângulos (ou simplesmente, congruência triangular) são critérios creditados a Tales de Mileto, dados a dois ou mais triângulos para estabelecer que estes são congruentes (podendo dizer que são idênticos, ou seja, com todas as medidas iguais).
Novo!!: Teorema e Congruência triangular · Veja mais »
Conjectura da bolha dupla
Uma bolha dupla Na teoria matemática das superfícies mínimas, a conjectura da bolha dupla afirma que a forma que envolve e separa dois volumes dados e tem a mínima área de superfície possível é uma bolha dupla padrão - duas superfícies esféricas encontrando-se em ângulos de 2/3π em um círculo comum.
Novo!!: Teorema e Conjectura da bolha dupla · Veja mais »
Conjectura da colmeia
Um retículo hexagonal regular. A conjectura da colmeia é um teorema matemático que afirma que uma malha hexagonal (retículo em forma de favo de colmeia de abelhas) é a melhor maneira de dividir uma superfície em regiões de igual área e com o mínimo perímetro total.
Novo!!: Teorema e Conjectura da colmeia · Veja mais »
Conjectura de Collatz
A conjectura de Collatz é uma conjectura matemática que recebeu este nome em referência ao matemático alemão Lothar Collatz, que foi o primeiro a propô-la, em 1937.
Novo!!: Teorema e Conjectura de Collatz · Veja mais »
Conjectura de Gudkov
Na geometria algébrica, a conjectura de Gudkov (nomeada após D. A. Gudkov) era uma conjectura, e é agora um teorema, que afirma que "uma curva-M de grau par 2d obedece p – n ≡ d2 (mod 8)", onde p é o número de ovais positivas, e n o número de ovais negativas da curva-M. Ela foi provada pelos trabalhos combinados de Vladimir Arnold e Vladimir Rokhlin.
Novo!!: Teorema e Conjectura de Gudkov · Veja mais »
Convexidade (economia)
Convexidade é um conceito estudado em microeconomia, na Teoria do consumidor, e diz o seguinte: as médias são preferíveis ao invés dos extremos.
Novo!!: Teorema e Convexidade (economia) · Veja mais »
Coq
Na ciência da computação, Coq é provador de teoremas interativo.
Novo!!: Teorema e Coq · Veja mais »
Corolário
Um corolário (do latim tardio corollarĭum) é uma afirmação deduzida de uma verdade já demonstrada.
Novo!!: Teorema e Corolário · Veja mais »
Críticas ao marxismo
Críticas ao marxismo vieram de várias ideologias políticas e disciplinas acadêmicas.
Novo!!: Teorema e Críticas ao marxismo · 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!!: Teorema e Demonstração de Furstenberg da infinitude dos números primos · Veja mais »
Derivação formal
Em lógica, uma derivação formal (ou prova formal) é uma sequência finita de sentenças onde cada sentença pode ser um axioma ou então pode ser obtida como consequência direta de sentenças anteriores na sequência utilizando-se uma regra de inferência.
Novo!!: Teorema e Derivação formal · Veja mais »
Desigualdade de Chebyshev
Em matemática, a desigualdade de Chebyshev, também conhecida por desigualdade de Bienaymé-Chebyshev, é um resultado da teoria da medida com grandes aplicações na teoria das probabilidades.
Novo!!: Teorema e Desigualdade de Chebyshev · Veja mais »
Desigualdade de Weyl
Em álgebra linear, Desigualdade de Weyl é um teorema sobre como os autovalores de um matriz hermitiana são perturbados.
Novo!!: Teorema e Desigualdade de Weyl · Veja mais »
Desigualdade triangular
A desigualdade triangular tem origem na geometria euclidiana e refere-se ao teorema que afirma que, num triângulo, o comprimento de um dos lados é sempre inferior à soma dos comprimentos dos outros dois lados.
Novo!!: Teorema e Desigualdade triangular · Veja mais »
Dialeteísmo
Dialetheismo é a noção de que algumas declarações podem ser ambas verdadeira e falsa simultaneamente.
Novo!!: Teorema e Dialeteísmo · Veja mais »
Dilema construtivo
Dilema construtivo é uma regra de inferência válida da lógica proposicional.
Novo!!: Teorema e Dilema construtivo · Veja mais »
Dilema destrutivo
Dilema destrutivo, é uma regra de inferência válida da lógica proposicional.
Novo!!: Teorema e Dilema destrutivo · Veja mais »
Divisão euclidiana
Na aritmética, a divisão euclidiana (ou divisão com resto) é o processo de dividir um inteiro (o dividendo) por outro (o divisor), de forma que produza um quociente e um resto menor que o divisor.
Novo!!: Teorema e Divisão euclidiana · Veja mais »
Dupla negação
Na lógica proposicional, a dupla negação é o teorema que afirma que "Se uma declaração é verdadeira, então não é o caso que a declaração não é verdadeira".
Novo!!: Teorema e Dupla negação · Veja mais »
E8
Em matemática, E8 é uma forma simples da Álgebra de Lie de 248 dimensões, a mesma notação é algumas vezes usada para as suas raízes.
Novo!!: Teorema e E8 · Veja mais »
Eliminação bicondicional
Eliminação bicondicional são duas regras de inferência validas da lógica proposicional.
Novo!!: Teorema e Eliminação bicondicional · Veja mais »
Eliminação da disjunção
Na lógica proposicional, eliminação da disjunção (as vezes chamado prova por casos ou análise de casos), é a forma de argumento válido e regra de inferência que permite a eliminação de um argumento disjunctivo de uma prova lógica.
Novo!!: Teorema e Eliminação da disjunção · Veja mais »
Epistemologia
Epistemologia (do grego ἐπιστήμη, transl. episteme: conhecimento certo, ciência; λόγος, transl. logos: discurso, estudo), em sentido estrito, refere-se ao ramo da filosofia que se ocupa do conhecimento científico; é o estudo crítico dos princípios, das hipóteses e dos resultados das diversas ciências, com a finalidade de determinar seus fundamentos lógicos, seu valor e sua importância objetiva.
Novo!!: Teorema e Epistemologia · Veja mais »
Erica Klarreich
Erica Gail Klarreich (1972) é uma matemática, jornalista e divulgadora da ciência americana.
Novo!!: Teorema e Erica Klarreich · Veja mais »
Esferas de Dandelin
right Na geometria, uma secção cônica não degenerada formada pela intersecção de um plano com um cone possui uma ou duas Esferas de Dandelin caracterizadas por.
Novo!!: Teorema e Esferas de Dandelin · Veja mais »
Especificação formal
Uma especificação formal é uma descrição matemática de software ou de hardware que pode ser utilizada para desenvolver uma implementação dos mesmos.
Novo!!: Teorema e Especificação formal · Veja mais »
Exportação (lógica)
Exportação é uma regra de substituição válida na lógica proposicional.
Novo!!: Teorema e Exportação (lógica) · Veja mais »
Falso (lógica)
Na lógica, falso ou não verdade é um valor verdade ou um conectivo lógico nulário.
Novo!!: Teorema e Falso (lógica) · Veja mais »
Física
Física (do grego antigo: φύσις physis "natureza") é a ciência que estuda a natureza e seus fenômenos em seus aspectos gerais.
Novo!!: Teorema e Física · Veja mais »
Fórmula bem formada
formulações sem sentido ou fórmulas bem formadas. Uma linguagem formal pode ser interpretada como sendo o conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e não-teoremas. Em lógica matemática, uma fórmula bem formada, abreviadamente fbf, é uma expressão (por exemplo, uma sequência finita de símbolos de determinado alfabeto) que é parte de uma Linguagem formal.
Novo!!: Teorema e Fórmula bem formada · Veja mais »
Geometria
projetiva (P.Oxy. I 29) mostrando um fragmento dos Elementos de Euclides A geometria (γεωμετρία; geo- "terra", -metria "medida") é um ramo da matemática preocupado com questões de forma, tamanho e posição relativa de figuras e com as propriedades dos espaços.
Novo!!: Teorema e Geometria · Veja mais »
Geometria afim
Geometria afim é a geometria que não está envolvida em quaisquer noções de origem, extensão ou ângulo, mas com as noções de subtração dos pontos, gerando um vetor.
Novo!!: Teorema e Geometria afim · 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!!: Teorema e Geometria analítica · Veja mais »
Geometria euclidiana
Na matemática, geometria euclidiana é a geometria, em duas e três dimensões, baseada nos postulados de Euclides de Alexandria.
Novo!!: Teorema e Geometria euclidiana · Veja mais »
Geometria projetiva
Geometria projetiva ou projectiva, é o estudo das propriedades descritivas das figuras geométricas.
Novo!!: Teorema e Geometria projetiva · Veja mais »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (Wismar, — Bad Kleinen) foi um matemático, lógico e filósofo alemão.
Novo!!: Teorema e Gottlob Frege · Veja mais »
Grigori Perelman
Grigori Yakovlevich Perelman (Григорий Яковлевич; Перельман, transliteração Grigori Iakovlevič Perel'man; Leningrado) é um matemático russo, conhecido por ter apresentado uma demonstração da conjectura da Geometrização de Thurston, que tem como um caso particular a Conjectura de Poincaré, que era um dos sete maiores problemas da Matemática.
Novo!!: Teorema e Grigori Perelman · Veja mais »
Hipócrates de Quio
Hipócrates de Quio (ca. — ca.) foi um matemático geômetra, nascido na ilha de Quio, no arquipélago de Dodecaneso, Grécia.
Novo!!: Teorema e Hipócrates de Quio · Veja mais »
História da lógica
A história da lógica documenta o desenvolvimento da lógica em várias culturas e tradições.
Novo!!: Teorema e História da lógica · Veja mais »
Ibn Mu'adh al-Jayyani
Abd'Allah Muhammad Ibrahim al-Yayyani, de nome completo Abu Abd Allah Muhammad ibn Ibrahim ibn Muhammad ibn Mu'ad al-Sa'bani al-Yayyani, conhecido como Ibn Mu'adh al-Jayyani, Ibn al-Sammak ou Ibn Muad de Jaén (Jaén,? - Jaén 1093) foi um matemático do Al-Andalus, que se destacou especialmente pelas suas pesquisas e contribuições para a trigonometria, à qual desligou dos estudos da astronomia.
Novo!!: Teorema e Ibn Mu'adh al-Jayyani · Veja mais »
Implicação material (regra de inferência)
Na lógica proposicional, implicação material é uma regra de substituição válida que permite que uma sentença condicional seja substituída por uma disjunção em que o antecedente é negado.
Novo!!: Teorema e Implicação material (regra de inferência) · Veja mais »
Incerteza de medição
A incerteza é um parâmetro que indica a qualidade de uma medida de uma forma quantitativa.
Novo!!: Teorema e Incerteza de medição · Veja mais »
Indução estrutural
A indução estrutural é um método de demonstração que é usado na lógica matemática (por exemplo, para provar teoremas), em ciência da computação, em teoria dos grafos, e alguns outros campos da matemática.
Novo!!: Teorema e Indução estrutural · Veja mais »
Introdução bicondicional
Em lógica proposicional, introdução bicondicional é uma regra de inferência válida.
Novo!!: Teorema e Introdução bicondicional · Veja mais »
Isabelle
Isabelle é um programa de computador utilizado para processar fórmulas matemáticas.
Novo!!: Teorema e Isabelle · Veja mais »
Jacques Charles François Sturm
Jacques Charles François Sturm (Genebra, 29 de setembro de 1803 — Paris, 15 de dezembro de 1855) foi um matemático francês, de origem alemã.
Novo!!: Teorema e Jacques Charles François Sturm · Veja mais »
Jingrun Chen
Jingrun Chen (22 de maio de 1933 – 19 de março de 1996) foi um matemático chinês que fez contribuições fundamentais à teoria dos números.
Novo!!: Teorema e Jingrun Chen · Veja mais »
Lógica modal
A lógica modal se refere a qualquer sistema de lógica formal que procure lidar com modalidades (tratar de modos quanto a tempo, possibilidade, probabilidade, etc.). Tradicionalmente, as modalidades mais comuns são possibilidade e necessidade.
Novo!!: Teorema e Lógica modal · Veja mais »
Lógica proposicional
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atômicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como teoremas do sistema formal.
Novo!!: Teorema e Lógica proposicional · Veja mais »
Lei da reciprocidade quadrática
Em matemática, dentro da teoria dos números a lei da reciprocidade quadrática designa o teorema que relaciona a possibilidade de serem solucionadas duas congruências de segundo grau relacionadas: onde p e q são números primos ímpares.
Novo!!: Teorema e Lei da reciprocidade quadrática · Veja mais »
Lei de inércia de Sylvester
Em álgebra linear, a lei de inércia de Sylvester é um teorema que descreve invariantes de matrizes quadrada simétricas com elementos reais e formas quadráticas reais.
Novo!!: Teorema e Lei de inércia de Sylvester · Veja mais »
Lei do terceiro excluído
Em lógica, a lei do terceiro excluído (em latim, principium tertii exclusi ou tertium non datur) é a terceira de três clássicas Leis do Pensamento.
Novo!!: Teorema e Lei do terceiro excluído · Veja mais »
Lei dos grandes números
A lei dos grandes números (LGN) é um teorema fundamental da teoria da probabilidade, que descreve o resultado da realização da mesma experiência repetidas vezes.
Novo!!: Teorema e Lei dos grandes números · Veja mais »
Lema (desambiguação)
Lema pode se referir a.
Novo!!: Teorema e Lema (desambiguação) · Veja mais »
Lema (matemática)
Na Matemática, um lema é um teorema que é utilizado como um passo intermediário para provar outro teorema mais importante que lhe sucede.
Novo!!: Teorema e Lema (matemática) · Veja mais »
Lema de Bhaskara
Lema de Bhaskara é uma identidade matemática usada como lema matemático durante o método chakravala.
Novo!!: Teorema e Lema de Bhaskara · Veja mais »
Lema de Borel-Cantelli
Em teoria das probabilidades, o lema de Borel–Cantelli é um teorema sobre sequências de eventos.
Novo!!: Teorema e Lema de Borel-Cantelli · Veja mais »
Lema do Incentro-Exincentro
Em geometria, o lema do incentro-exincentro é o teorema de que o segmento de reta entre o incentro e qualquer exincentro de um triângulo, ou entre dois exincentros, é o diâmetro de uma circunferência (uma circunferência incentro-exincentro ou exincentro-exincentro) que passa por dois vértices do triângulo e que tem centro sobre a circunferência circunscrita.
Novo!!: Teorema e Lema do Incentro-Exincentro · Veja mais »
Lema dos cinco
Em matemática, especialmente álgebra homológica e outras aplicações da teoria das categorias abelianas, o lema dos cinco é um lema importante e amplamente utilizado sobre diagramas comutativos.
Novo!!: Teorema e Lema dos cinco · Veja mais »
Lev Pontryagin
Lev Semenovich Pontryagin (Лев Семёнович Понтрягин; Moscou, — Moscou) foi um matemático russo, considerado um dos maiores matemáticos do século XX.
Novo!!: Teorema e Lev Pontryagin · Veja mais »
LeYa
A LeYa é um grupo editorial multinacional português, presidido por Miguel Pais do Amaral.
Novo!!: Teorema e LeYa · Veja mais »
Lista de teoremas matemáticos
Esta é uma lista (incompleta) de teoremas matemáticos.
Novo!!: Teorema e Lista de teoremas 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!!: Teorema e Lista de teorias de primeira ordem · Veja mais »
Magnetismo
Símbolo internacional de alerta quanto à presença de magnetismo intenso. informações digitais encontram-se magneticamente gravadas na mídia circular, que gira em alta velocidade. O movimento da cabeça de leitura sobre a mídia é obtido mediante forças magnéticas que agem em bobinas imersas entre dois fortes ímãs, na parte anterior esquerda do disco (parte metálica com cobertura preta). Em física e demais ciências naturais, magnetismo é a denominação associada ao fenômeno ou conjunto de fenômenos relacionados à atração ou repulsão observada entre determinados objetos materiais - particularmente intensas aos sentidos nos materiais ditos ímãs ou nos materiais ditos ferromagnéticos - e ainda, em perspectiva moderna, entre tais materiais e condutores de correntes elétricas - especificamente entre tais materiais e portadores de carga elétrica em movimento - ou ainda a uma das parcelas da interação total (Força de Lorentz) que estabelecem entre si os portadores de carga elétrica quando em movimento - explicitamente a parcela que mostra-se nula na ausência de movimento de um dos dois, ou de ambos, no referencial adotado.
Novo!!: Teorema e Magnetismo · 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!!: Teorema e Matemática · Veja mais »
Matemática da Grécia Antiga
A Musa Geometria, no Museu do Louvre A matemática grega clássica ou matemática da Grécia Antiga é a matemática escrita em grego dentre ~600 a.C. (época em que viveu Tales de Mileto) até o fechamento da Academia de Platão em 529 d.C. Egípcios, babilônicos e chineses, muito antes do século VI a.C., já eram já capazes de efetuar cálculos e medidas de ordem prática com grande precisão.
Novo!!: Teorema e Matemática da Grécia Antiga · Veja mais »
Matriz triangular
Em matemática, no ramo da álgebra linear, uma '''matriz''' é triangular quando os elementos acima ou abaixo da diagonal principal são zero, sendo chamada matriz triangular inferior e matriz triangular superior, respectivamente.
Novo!!: Teorema e Matriz triangular · Veja mais »
Método dedutivo
Método dedutivo o raciocínio dedutivo é a maneira de tirar inferências dedutivas.
Novo!!: Teorema e Método dedutivo · 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!!: Teorema e Método delta · Veja mais »
Modelagem computacional
Modelagem computacional é uma área de conhecimento multidisciplinar que trata da aplicação de modelos matemáticos e técnicas da computação à análise, compreensão e estudo da fenomenologia de problemas complexos em áreas tão abrangentes quanto as engenharias, ciências exatas, biológicas, humanas, economia e ciências ambientais.
Novo!!: Teorema e Modelagem computacional · 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!!: Teorema e Modelo econômico · Veja mais »
Modus ponens
Na lógica proposicional, modus ponendo ponens (em latim significa "a maneira que afirma afirmando", muitas vezes abreviado para MP ou modus ponens) ou a eliminação da implicação é uma válida e simples forma de argumento e regra de inferência.
Novo!!: Teorema e Modus ponens · Veja mais »
Nazifascismo
Benito Mussolini e Adolf Hitler em 1940 Nazifascismo é um termo de conjunção entre o fascismo italiano, doutrina totalitária desenvolvida por Benito Mussolini a partir do final da primeira guerra mundial em 1919 e tendo se mobilizado politicamente em 1917 associado ao nazismo alemão, em muitos aspectos emulando a primeira, que, embora tendo nascido em 1920, é amplamente utilizado na Alemanha Nazi apenas uma década mais tarde sob regime de Adolf Hitler e do Partido Nacional-Socialista dos Trabalhadores Alemães.
Novo!!: Teorema e Nazifascismo · Veja mais »
O Cão Amarelo
O Cão Amarelo (Yellow Dog, em inglês) é um romance do escritor britânico Martin Amis publicado pela primeira vez em 2003 no Reino Unido pela Jonathan Cape.
Novo!!: Teorema e O Cão Amarelo · Veja mais »
Objeto formal
Em fundamentos da matemática, filosofia da matemática e filosofia da lógica,formalismo é uma teoria que sustenta afirmações matemáticas e lógicas e pode ser considerada como afirmações sobre as consequências de certas regras de manipulação de strings.
Novo!!: Teorema e Objeto formal · Veja mais »
Objeto matemático
Um objeto matemático é um conceito abstrato que surge na matemática.
Novo!!: Teorema e Objeto matemático · Veja mais »
Operador adjunto
Em matemática e, em especial, em análise funcional, um operador linear em um espaço de Hilbert pode possuir um operador adjunto.
Novo!!: Teorema e Operador adjunto · Veja mais »
Os Elementos
frontispício da primeira edição de Sir Henry Billingsley em língua inglesa dos ''Elementos'' de Euclides, de 1570 Os Elementos é um tratado matemático e geométrico consistindo de 13 livros escrito pelo matemático grego Euclides em Alexandria por volta de 300 a.C..
Novo!!: Teorema e Os Elementos · Veja mais »
Papo de Alexandria
Papo de Alexandria,Machado, José Pedro, Dicionário Onomástico Etimológico da Língua Portuguesa, verbete "Papo".
Novo!!: Teorema e Papo de Alexandria · Veja mais »
Paradoxo do bêbado
O paradoxo do bêbado (drinker paradox), também conhecido como princípio do bêbado (drinker's principle), é um teorema da Lógica clássica de predicados normalmente exposto, em linguagem natural, como: Existe alguém no bar, tal que, se ele estiver bebendo, todos estarão bebendo. Parece contraintuitivo que 1) haja uma pessoa que está causando aos outros que bebam, ou 2) haja uma pessoa que a noite inteira seja sempre a última a beber. A primeira objeção vem de se confundir os enunciados formais SE…ENTÃO com causalidade (veja que correlação não implica causalidade). O enunciado formal do teorema é atemporal, eliminando a segunda objeção porque a pessoa para a qual o enunciado se verifica em um instante não é necessariamente a mesma pessoa para a qual ele se verifica para qualquer outro instante. O teorema na verdade é o seguinte: onde D é um predicado arbitrário e P é um conjunto arbitrário. O paradoxo foi popularizado pelo lógico matemático Raymond Smullyan, que o chamou de "princípio do bêbado" em seu livro de 1978, What Is the Name of this Book? (Em Português: “Qual é o nome deste livro?”).
Novo!!: Teorema e Paradoxo do bêbado · Veja mais »
Paridade do zero
Os pratos da balança contêm zero objetos, divididos em dois grupos iguais. A expressão paridade do zero refere-se ao fato de o número zero ser considerado um número par.
Novo!!: Teorema e Paridade do zero · Veja mais »
Paul Erdős
Paul Erdős (Erdős Pál; Budapeste, — Varsóvia) foi um matemático húngaro, considerado um gênio.
Novo!!: Teorema e Paul Erdős · Veja mais »
Pesquisa
Uma pesquisa ou investigação é um processo sistemático para a construção do conhecimento humano, gerando novos conhecimentos, podendo também desenvolver, colaborar, reproduzir, refutar, ampliar, detalhar, atualizar, algum conhecimento preexistente, servindo basicamente tanto para o indivíduo ou grupo de indivíduos que a realiza quanto para a sociedade na qual esta se desenvolve.
Novo!!: Teorema e Pesquisa · Veja mais »
Ponto fixo
Em matemática, define-se ponto fixo como o ponto que não é alterado por uma aplicação.
Novo!!: Teorema e Ponto fixo · Veja mais »
Princípio da não-contradição
Na Lógica clássica, o princípio da não-contradição (ou o princípio da contradição, ou a lei da não-contradição, ou a lei da contradição), afirma que duas afirmações contraditórias não podem ser verdadeiras ao mesmo tempo, exemplo: As duas proposições "A é B" e "A não é B" são mutuamente exclusivas, dito de outra forma: "nada pode ser e não ser simultaneamente" O princípio da não-contradição foi (primeiramente) formulado por Aristóteles e diz-nos que uma proposição verdadeira não pode ser falsa e uma proposição falsa não pode ser verdadeira.
Novo!!: Teorema e Princípio da não-contradição · Veja mais »
Problema (filosofia)
Problema para a filosofia é, em geral, qualquer situação que inclua a possibilidade de uma alternativa.
Novo!!: Teorema e Problema (filosofia) · Veja mais »
Propulsor
O propulsor é um equipamento que, feita em sua maior parte por materiais metálicos, é usado mormente em veículos de locomoção, para gerar o seu empuxo.
Novo!!: Teorema e Propulsor · Veja mais »
Prova direta
Na matemática e lógica, uma prova direta é uma forma de mostrar que certa afirmação é falsa ou verdadeira através de uma combinação de axiomas, lemas e teoremas já estabelecidos.
Novo!!: Teorema e Prova direta · Veja mais »
Prova matemática
Prova do teorema de Euclides. Em matemática, uma prova é uma demonstração de que, dados certos axiomas, algum enunciado de interesse é necessariamente verdadeiro.
Novo!!: Teorema e Prova matemática · Veja mais »
Provas conforme O Livro
Provas conforme O Livro é um livro de provas matemáticas por Martin Aigner e Günter Matthias Ziegler.
Novo!!: Teorema e Provas conforme O Livro · Veja mais »
Raio de convergência
Na teoria das Séries de Taylor, o raio de convergência pode ser zero, um número positivo ou ainda infinito.
Novo!!: Teorema e Raio de convergência · Veja mais »
Raiz quadrada de dois
A hipotenusa de um triângulo retângulo cujos catetos medem 1 tem comprimento raiz quadrada de dois A raiz quadrada de dois, denotada \sqrt, é o único número real positivo cujo quadrado (ou seja, o resultado de sua multiplicação por si próprio) é dois: \sqrt \times \sqrt.
Novo!!: Teorema e Raiz quadrada de dois · Veja mais »
Regra de Cramer
Regra de Cramer para os inteiros A regra de Cramer é um teorema em álgebra linear, que dá a solução de um sistema de equações lineares em termos de determinantes.
Novo!!: Teorema e Regra de Cramer · Veja mais »
Resíduo quadrático
Na teoria dos números, um inteiro q é chamado de resíduo quadrático módulo n se for congruente a um quadrado perfeito módulo n; ou seja, se existe um inteiro x tal que: Caso contrário, q é chamado de não-resíduo quadrático módulo n. Originalmente um conceito matemático abstrato do ramo da teoria dos números conhecido como aritmética modular, os resíduos quadráticos são agora usados em aplicações que vão desde a engenharia acústica até a criptografia e a fatoração de grandes números.
Novo!!: Teorema e Resíduo quadrático · Veja mais »
Resolução do último teorema de Fermat
O Último Teorema de Fermat afirma que não existe nenhum conjunto de inteiros positivos x, y, z e n com n maior que 2 que satisfaça x^n+y^n.
Novo!!: Teorema e Resolução do último teorema de Fermat · Veja mais »
Rigor
Rigor ou rigorosidade, tem diversos significados em relação à vida intelectual e discurso.
Novo!!: Teorema e Rigor · Veja mais »
Royal Society
Sede da ''Royal Society'' em Londres A Royal Society, formalmente The Royal Society of London for Improving Natural Knowledge, é uma sociedade científica e a academia nacional de ciências do Reino Unido.
Novo!!: Teorema e Royal Society · Veja mais »
Ruína do jogador
O termo ruína do jogador é um conceito estatístico, mais comumente expresso como o fato de que um jogador que joga um jogo de valor esperado negativo acabará eventualmente falindo, independentemente do seu sistema de apostas.
Novo!!: Teorema e Ruína do jogador · Veja mais »
Símbolo (formal)
cadeias de símbolos podem ser divididos em disparates e fórmulas bem formadas. Uma linguagem formal pode ser pensada como sendo idêntica ao conjunto de suas fórmulas bem formadas. O conjunto de fórmulas bem formadas pode ser dividido em teoremas e "não teoremas". Símbolo lógico é um conceito fundamental em lógica, embora o termo "símbolo" normalmente seja utilizado em alguns momentos com a ideia de ser simbolizado; e em outros momentos para as marcas em um pedaço de papel ou quadro negro, que estão sendo usados para expressar essa ideia na linguagem formal.
Novo!!: Teorema e Símbolo (formal) · Veja mais »
Símbolos de Christoffel
Em matemática e física, os símbolos de Christoffel, assim nomeados por Elwin Bruno Christoffel (1829–1900), são expressões em coordenadas espaciais para a conexão de Levi-Civita derivada do tensor métrico.
Novo!!: Teorema e Símbolos de Christoffel · Veja mais »
Se e somente se
Se e somente se, ou se e só se (abreviado, sse), em matemática, lógica e filosofia, é uma forma de expressão para um teorema: Se A então B, e se B então A; ou A se e somente se B. O correspondente símbolo lógico é \Leftrightarrow.
Novo!!: Teorema e Se e somente se · Veja mais »
Secularização
Na sociologia, a secularização é um conceito multifacetado que geralmente denota "uma transição de um nível religioso para um mais mundano".
Novo!!: Teorema e Secularização · Veja mais »
Sem perda de generalidade
Sem perda de generalidade (também abreviado para SPDG; menos comumente escrito como sem qualquer perda de generalidade) é uma expressão frequentemente usada em matemática.
Novo!!: Teorema e Sem perda de generalidade · Veja mais »
Sentença (lógica matemática)
Em lógica matemática, uma sentença de uma lógica de predicados é uma fórmula bem formada com valor booleano e sem variáveis livres.
Novo!!: Teorema e Sentença (lógica matemática) · Veja mais »
Sexteto de Soddy
Em geometria, um sexteto de Soddy é um colar de seis esferas (mostradas em verde na Figura 1), cada uma das quais é tangente à duas de suas vizinhas do colar e também a três esferas mutualmente tangentes dadas.
Novo!!: Teorema e Sexteto de Soddy · Veja mais »
Sistema axiomático
Na matemática, um sistema axiomático, é qualquer conjunto de axiomas que podem ser ligados em conjunção para logicamente derivar teoremas.
Novo!!: Teorema e Sistema axiomático · Veja mais »
Sistema de equações lineares
Em Matemática, um sistema de equações lineares (abreviadamente, sistema linear) é um conjunto finito de equações lineares aplicadas num mesmo conjunto, igualmente finito, de variáveis.
Novo!!: Teorema e Sistema de equações lineares · Veja mais »
Sistema de Steiner
O Sistema de Steiner foi criado por Jakob Steiner em 1887.
Novo!!: Teorema e Sistema de Steiner · Veja mais »
Sistema dedutivo
Um sistema dedutivo (também chamado de aparato dedutivo de um sistema formal) é constituído de axiomas e regras de inferência que podem ser usadas para derivar os teoremas do sistema.
Novo!!: Teorema e Sistema dedutivo · Veja mais »
Sistema formal
Um sistema formal ou sistema lógico é, por assim dizer, qualquer sistema de pensamento abstrato bem definido, em um modelo matemático.
Novo!!: Teorema e Sistema formal · Veja mais »
Tales de Mileto
Tales de Mileto (em grego:; Mileto, c. 624 a.C. — Mileto, c. 546 a.C.) foi um filósofo pré-socrático, astrônomo, matemático, engenheiro e comerciante da Grécia Antiga, fundador da Escola Jônica.
Novo!!: Teorema e Tales de Mileto · Veja mais »
Teorema chinês do resto
Na Teoria dos números, o Teorema Chinês do Resto define que um sistema de congruências lineares, de módulos coprimos entre si, admite uma solução simultânea referente ao produto dos módulos calculados no sistema.
Novo!!: Teorema e Teorema chinês do resto · Veja mais »
Teorema CPT
O teorema CPT é o princípio segundo o qual os sistemas físicos são invariantes para transformações que envolvem, concomitantemente, as operações de inversão da carga C, inversão de paridade P e inversão do tempo T.Charlie Freund e Nick Morris, Curiosities of Antimatter É uma simetria de qualquer interação que, sob as três transformações todas as leis físicas terão de ser invariantes.
Novo!!: Teorema e Teorema CPT · Veja mais »
Teorema da aproximação universal
Na teoria matemática de redes neurais artificiais, o teorema da aproximação universal declara que uma rede neural pré-alimentada com uma única camada oculta que contém um número finito de neurônios (i.é., um conjunto multicamada de perceptron) pode aproximar funções contínuas em subconjuntos compactos de '''R'''n, com pressupostos mínimos de função de ativação.
Novo!!: Teorema e Teorema da aproximação universal · Veja mais »
Teorema da borboleta
Figura geométrica semelhante a uma borboleta. O teorema da borboleta é um resultado clássico na geometria euclidiana, que pode ser formulado da seguinte maneira: Seja M o ponto médio de uma corda PQ de um círculo, através do qual outras duas cordas AB e CD são desenhadas; AD e BC cruzam a corda PQ em X e Y respectivamente.
Novo!!: Teorema e Teorema da borboleta · Veja mais »
Teorema da coloração do caminho
Em teoria dos grafos o teorema da coloração do caminho, conhecido até recentemente como a conjectura da coloração do caminho, lida com instruções sincronizadas. O problema envolve se, usando essas instruções, pode-se alcançar ou localizar um objeto ou o destino de qualquer outro ponto dentro de uma rede (que pode ser uma representação das ruas de uma cidade ou de um labirinto).
Novo!!: Teorema e Teorema da coloração do caminho · Veja mais »
Teorema da continuidade de Kolmogorov
Em matemática, o teorema da continuidade de Kolmogorov é um teorema que garante que um processo estocástico que satisfaz certas condições quanto aos momentos de seus incrementos seja contínuo (ou, mais precisamente, tenha uma "versão contínua"), Recebe este nome em homenagem ao matemático soviético Andrei Kolmogorov.
Novo!!: Teorema e Teorema da continuidade de Kolmogorov · Veja mais »
Teorema da convergência monótona
Em matemática, o teorema da convergência monótona é um dos principais teoremas a respeito da integral de Lebesgue.
Novo!!: Teorema e Teorema da convergência monótona · Veja mais »
Teorema da extensão de Kolmogorov
Em matemática, o teorema da extensão de Kolmogorov (também conhecido como teorema da existência de Kolmogorov ou teorema da consistência de Kolmogorov) é um teorema que garante que uma coleção adequadamente "consistente" de distribuições de dimensões finitas definirá um processo estocástico.
Novo!!: Teorema e Teorema da extensão de Kolmogorov · 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!!: Teorema e Teorema da impossibilidade de Arrow · Veja mais »
Teorema da representação de Riesz
Em matemática, existem diversos teoremas que recebem o nome de teorema da representação de Riesz.
Novo!!: Teorema e Teorema da representação de Riesz · Veja mais »
Teorema das barras cruzadas
O teorema das barras cruzadas é um teorema de geometria que se enuncia da seguinte forma.
Novo!!: Teorema e Teorema das barras cruzadas · Veja mais »
Teorema de Abel–Ruffini
O Teorema de Abel-Ruffini é um teorema criado pelos matemáticos Paolo Ruffini (demonstração em 1799, contendo um pequeno erro) e Niels Henrik Abel (demonstração final em 1824).
Novo!!: Teorema e Teorema de Abel–Ruffini · Veja mais »
Teorema de Banach-Steinhaus
Em matemática, o teorema de Banach-Steinhaus, também conhecido como princípio da limitação uniforme é um importante resultado da análise funcional.
Novo!!: Teorema e Teorema de Banach-Steinhaus · Veja mais »
Teorema de Bolzano-Weierstrass
O teorema de Bolzano-Weierstrass estabelece que um conjunto do \mathbb^n\, é sequencialmente compacto se e somente se é fechado e limitado.
Novo!!: Teorema e Teorema de Bolzano-Weierstrass · Veja mais »
Teorema de Burlet
O teorema de Burlet é um resultado na geometria euclidiana, que pode ser formulado da seguinte maneira: O Teorema de Burlet nos dá a área em função dos segmentos em que o círculo interno divide um lado e meio do ângulo oposto.
Novo!!: Teorema e Teorema de Burlet · Veja mais »
Teorema de Carnot
Máquina de Carnot: Um pistão realiza trabalho para o exterior conforme o gás no seu interior expande isotermicamente. O Teorema de Carnot, enunciado em 1824 por Sadi Carnot em seu artigo Sur la puissance motrice do feu (Sobre a potência motriz do fogo), é um teorema que impõe um limite à eficiência de uma máquina térmica ideal, na qual não existe o efeito de atrito entre peças constituintes nem emissão de energia na forma de som, entre outros.
Novo!!: Teorema e Teorema de Carnot · Veja mais »
Teorema de Ceva
150px O teorema de Ceva é um teorema de geometria elementar, que estabelece uma condição necessária e suficiente para que três cevianas sejam concorrentes.
Novo!!: Teorema e Teorema de Ceva · Veja mais »
Teorema de Dirichlet sobre progressões aritméticas
O teorema de Dirichlet sobre progressões aritméticas é um resultado da teoria analítica dos números demonstrado pelo matemático Johann Dirichlet.
Novo!!: Teorema e Teorema de Dirichlet sobre progressões aritméticas · Veja mais »
Teorema de Earnshaw
O teorema de Earnshaw afirma que um conjunto de cargas pontuais não pode se manter em um estado de equilíbrio mecânico estacionário exclusivamente pela interação eletrostática das cargas.
Novo!!: Teorema e Teorema de Earnshaw · Veja mais »
Teorema de Egorov
Em matemática, o teorema de Egorov é um dos principais teoremas da teoria da medida.
Novo!!: Teorema e Teorema de Egorov · Veja mais »
Teorema de Erdős–Wintner
O Teorema de Erdős–Wintner é um teorema da Teoria Probabilística dos Números assim nomeado por ter sido provado por Paul Erdős e Aurel Wintner.
Novo!!: Teorema e Teorema de Erdős–Wintner · Veja mais »
Teorema de Euclides
O teorema de Euclides é um resultado fundamental estabelecido em teoria de números que garante a existência de uma infinidade de números primos.
Novo!!: Teorema e Teorema de Euclides · Veja mais »
Teorema de Fermat-Lagrange
O teorema de Fermat-Lagrange é um teorema enunciado por Fermat e demonstrado por Lagrange no século XVIII e de forma mais elegante por Euler en 1815.
Novo!!: Teorema e Teorema de Fermat-Lagrange · Veja mais »
Teorema de Hilbert-Schmidt
Em matemática, sobretudo na análise funcional o teorema de Hilbert-Schmidt é um teorema central na caracterização de operadores lineares compactos auto-adjuntos em espaços de Hilbert.
Novo!!: Teorema e Teorema de Hilbert-Schmidt · Veja mais »
Teorema de Kutta Joukowski
O Teorema de Kutta-Joukowski é um teorema fundamental da aerodinâmica.
Novo!!: Teorema e Teorema de Kutta Joukowski · Veja mais »
Teorema de Liouville
O teorema de Liouville é um teorema de análise complexa que diz que uma função complexa inteira e limitada é constante.
Novo!!: Teorema e Teorema de Liouville · Veja mais »
Teorema de Masreliez
O teorema de Masreliez é um algoritmo recursivo frequentemente utilizado nas estatísticas robustas e os métodos matemáticos de filtros de Kalman estendido e é nomeada após o físico Johan Masreliez, o seu autor.
Novo!!: Teorema e Teorema de Masreliez · Veja mais »
Teorema de Mordell-Weil
O teorema de Mordell-Weil é um teorema matemático realizado por André Weil em 1928.
Novo!!: Teorema e Teorema de Mordell-Weil · Veja mais »
Teorema de Papo
concorrentes e se '''BX''', '''cb''' e '''YC''' são concorrentes, então as retas '''Bc''', '''XY''' e '''bC''' serão também concorrentes O teorema de Papo, mais conhecido como teorema de Pappus, atribuído a Papo (ou Pappus) de Alexandria, é um teorema de geometria projetiva do plano sobre o alinhamento de três pontos: Dado um conjunto de pontos colineares A, B, C, e um outro conjunto de pontos colineares a, b, c, os pontos de intersecção x, y, z dos pares de retas Ab-aB, Ac-aC e Bc - bC também serão colineares. A dualidade desse teorema afirma que: Dado um conjunto de linhas concorrentes A, B, C, e um outro conjunto de linhas concorrentes a, b, c, então as linhas x, y, z definidas pelos pares de pontos resultantes dos pares de intersecção (A∩b, a∩B), (A∩c, a∩C) e (B∩c, b∩C) são concorrentes. A generalização deste teorema é o teorema de Pascal, que foi descoberto por Blaise Pascal, quando tinha 16 anos de idade.
Novo!!: Teorema e Teorema de Papo · Veja mais »
Teorema de Picard-Lindelöf
Em matemática, sobretudo na teoria das equações diferenciais ordinárias, o teorema de Picard-Lindelöf estabelece condições suficientes para a existência e unicidade de soluções em uma vizinhança de t_0\, para o problema de valor inicial:\begin &\fracy(t).
Novo!!: Teorema e Teorema de Picard-Lindelöf · Veja mais »
Teorema de Pitágoras
área do quadrado construído sobre a hipotenusa (''c''). Na matemática, o teorema de Pitágoras é uma relação matemática entre os comprimentos dos lados de qualquer triângulo retângulo.
Novo!!: Teorema e Teorema de Pitágoras · Veja mais »
Teorema de Pitot
\endalign ''PA''.
Novo!!: Teorema e Teorema de Pitot · Veja mais »
Teorema de Ptolomeu
O teorema de Ptolomeu refere-se a qualquer quadrilátero inscritível por uma circunferência, e pode ser enunciado da seguinte forma: "O produto das diagonais é igual a soma dos produtos dos lados opostos".
Novo!!: Teorema e Teorema de Ptolomeu · Veja mais »
Teorema de Rouché-Capelli
O teorema de Rouché–Capelli é um teorema em álgebra linear que determina o número de soluções para um sistema de equações lineares, dada a classificação de sua matriz aumentada e matriz de coeficientes.
Novo!!: Teorema e Teorema de Rouché-Capelli · Veja mais »
Teorema de Shimura-Taniyama-Weil
O teorema de Shimura-Taniyama-Weil ou teorema da modularidade, anteriormente conhecido como conjectura de Shimura-Taniyama, é um teorema matemático que estabelece uma importante relação entre as formas modulares, certas funções holomórficas estudadas pela teoria dos números e as curvas elípticas, que são objetos da geometria algébrica.
Novo!!: Teorema e Teorema de Shimura-Taniyama-Weil · Veja mais »
Teorema de Steiner
O teorema de Steiner ou teorema dos eixos paralelos é um teorema que permite calcular o momento de inércia de um sólido rígido relativo a um eixo de rotação que passa por um ponto O, quando são conhecidos o momento de inércia relativo a um eixo paralelo ao anterior e que passa pelo centro de massa do sólido e a distância entre os eixos.
Novo!!: Teorema e Teorema de Steiner · Veja mais »
Teorema de Stewart
Em geometria, o teorema de Stewart produz uma relação entre o tamanho dos lados de um triângulo e o tamanho de uma ceviana do triângulo.
Novo!!: Teorema e Teorema de Stewart · 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!!: Teorema e Teorema de Stokes · Veja mais »
Teorema de Tales (círculo)
Este teorema de Tales é um caso especial do teorema do ângulo inscrito.
Novo!!: Teorema e Teorema de Tales (círculo) · Veja mais »
Teorema de Tales (interseção)
Mandarino, Denis - Desenho Geométrico, construções com régua e compasso. Ed. Plêiade, São Paulo, 2007, p. 31. O teorema de Tales é um teorema da geometria que afirma que, num plano, a interseção de retas paralelas, por retas transversais, formam segmentos proporcionais.
Novo!!: Teorema e Teorema de Tales (interseção) · Veja mais »
Teorema de Taylor
Em cálculo, o Teorema de Taylor, recebe seu nome do matemático britânico Brook Taylor, quem o enunciou em 1712.
Novo!!: Teorema e Teorema de Taylor · Veja mais »
Teorema de Thévenin
O teorema de Thévenin estabelece que qualquer circuito linear visto de um ponto pode ser representado por uma fonte de tensão (igual à tensão do ponto em circuito aberto) em série com uma impedância (igual à impedância do circuito vista deste ponto).
Novo!!: Teorema e Teorema de Thévenin · Veja mais »
Teorema de Thue
O Teorema de Thue é um teorema matemático que foi descoberto primariamente por Axel Thue em 1909.
Novo!!: Teorema e Teorema de Thue · Veja mais »
Teorema de transporte de Reynolds
O teorema de transporte de Reynolds é o teorema fundamental utilizado na formulação das leis básicas da dinâmica dos fluidos, que são a equação da conservação de massa (ou equação da continuidade), as equações de conservação de quantidade de movimento e a equação de conservação de energia.
Novo!!: Teorema e Teorema de transporte de Reynolds · Veja mais »
Teorema de Varignon (geometria)
Teorema de Varignon é um teorema demonstrado pelo matemático Pierre Varignon, que estabelece que a figura definida pelos pontos médios de qualquer quadrilátero é sempre um paralelogramo, de lados paralelos às suas diagonais em que a área do paralelogramo corresponde sempre à metade da área do quadrilátero.
Novo!!: Teorema e Teorema de Varignon (geometria) · Veja mais »
Teorema de Varignon (mecânica)
O teorema de Varignon é um teorema que foi descoberto pelo matemático neerlandês Simon Stevin em princípios do século XVII, mas que deve sua atual forma ao matemático francês Pierre Varignon (1654-1722), que o enunciou em 1687 em seu tratado Nouvelle mécanique.
Novo!!: Teorema e Teorema de Varignon (mecânica) · Veja mais »
Teorema de Zeckendorf
O teorema de Zeckendorf, em homenagem ao matemático belga Édouard Zeckendorf, é um teorema sobre a representação de inteiros como somas de números de Fibonacci.
Novo!!: Teorema e Teorema de Zeckendorf · Veja mais »
Teorema do ponto fixo de Kakutani
Em análise matemática, o teorema do ponto fixo de Kakutani é um dos teoremas que garantem a existência de ponto fixo sob determinadas condições.
Novo!!: Teorema e Teorema do ponto fixo de Kakutani · 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!!: Teorema e Teorema do ponto fixo de Schauder · Veja mais »
Teorema do trabalho-energia
O teorema do trabalho-energia é um teorema da mecânica clássica, segundo o qual o trabalho W realizado sobre um corpo de massa m por uma força F é igual à variação da energia cinética desse corpo: W.
Novo!!: Teorema e Teorema do trabalho-energia · Veja mais »
Teorema dos ângulos externos
O teorema dos ângulos externos de um triângulo é um teorema de geometria que diz que o ângulo externo de um triângulo é maior que os dois ângulos internos não adjacentes a ele ou ainda que o ângulo externo de um triângulo é igual à soma dos dois ângulos internos não adjacentes a ele.
Novo!!: Teorema e Teorema dos ângulos externos · Veja mais »
Teorema dos zeros de Hilbert
O Hilbert Nullstellensatz (em alemão: "teorema dos zeros") é um teorema em Geometria algébrica que relaciona variedades e ideais en anéis de polinômios sobre corpos algebricamente fechados.
Novo!!: Teorema e Teorema dos zeros de Hilbert · Veja mais »
Teorema fundamental da aritmética
O Teorema Fundamental da Aritmética sustenta que todos os números inteiros positivos maiores que 1 podem ser decompostos num produto de números primos, sendo esta decomposição única a menos de permutações dos fatores.
Novo!!: Teorema e Teorema fundamental da aritmética · Veja mais »
Teorema fundamental da álgebra
Em matemática, o teorema fundamental da álgebra afirma que qualquer polinômio p(z) com coeficientes complexos de uma variável e de grau n \geq 1 possui alguma raiz complexa.
Novo!!: Teorema e Teorema fundamental da álgebra · Veja mais »
Teorema π de Vaschy-Buckingham
O teorema π de Vaschy-Buckingham é um teorema central na análise dimensional.
Novo!!: Teorema e Teorema π de Vaschy-Buckingham · 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!!: Teorema e Teoremas da incompletude de Gödel · Veja mais »
Teoremas de Papo-Guldino
Os teoremas de Papo-Guldino são dois teoremas que exprimem, com recurso a conceitos da geometria como o de centroide, a relação que existe entre curvas e superfícies de revolução e entre superfícies e corpos de revolução.
Novo!!: Teorema e Teoremas de Papo-Guldino · Veja mais »
Teoria
corroboradas. Teoria (do grego θεωρία, transl. theoria: 'contemplação', 'reflexão', 'introspecção', de θεωρέω, tranl. theoréo, 'olho', 'observo', composto por θέα, thea, 'espetáculo', por sua vez derivado de θαῦμα, thâuma, 'visão', e ὁράω, horao, 'vejo'.) indica, no senso comum, uma ideia nascida com base em alguma hipótese, conjectura, especulação ou suposição, mesmo abstrata, sobre a realidade.
Novo!!: Teorema e Teoria · 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!!: Teorema e Teoria (lógica matemática) · Veja mais »
Teoria de tranças
Na topologia, um ramo da matemática, a teoria da trança é uma teoria geométrica abstrata que estuda o conceito de trança diária e algumas generalizações.
Novo!!: Teorema e Teoria de tranças · Veja mais »
Teoria dos números
números primos, observamos um intrigante e não totalmente explicado padrão, chamado espiral de Ulam. A teoria dos números é o ramo da matemática pura que estuda propriedades dos números em geral, e em particular dos números inteiros, bem como a larga classe de problemas que surge no seu estudo.
Novo!!: Teorema e Teoria dos números · Veja mais »
Tese de Church-Turing
Na teoria da computabilidade, a Tese de Church-Turing ou Tese de Church, assim nomeada em referência a Alonzo Church e Alan Turing, é uma hipótese sobre a natureza de artefatos mecânicos de cálculo, como computadores, e sobre que tipo de algoritmos eles podem executar.
Novo!!: Teorema e Tese de Church-Turing · Veja mais »
Teste da raiz
O teste da raiz, critério da raiz ou teste de Cauchy é um teorema que permite estabelacer a convergência de uma série numérica.
Novo!!: Teorema e Teste da raiz · Veja mais »
Teste de primalidade de Miller-Rabin
O teste Miller-Rabin (por Gary Miller e Michael Rabin) é um teste probabilístico da primitividade de um dado número n. Se um número n não passar pelo teste, n com certeza é um número composto (ou seja, não-primo).
Novo!!: Teorema e Teste de primalidade de Miller-Rabin · Veja mais »
Transposição (lógica)
Na lógica proposicional, a transposição é uma regra de substituição válida que permite trocar o antecedente pelo consequente de um enunciado condicional em uma prova lógica se eles estão ambos negados.
Novo!!: Teorema e Transposição (lógica) · Veja mais »
Trigonometria
Trigonometria (do grego trigōnon "triângulo" + metron "medida") é um ramo da matemática que estuda as relações entre os comprimentos de 2 lados de um triângulo retângulo (triângulo onde um dos ângulos mede 90 graus), para diferentes valores de um dos seus ângulos agudos.
Novo!!: Teorema e Trigonometria · Veja mais »
Verdade
A verdade é a propriedade de estar de acordo com o fato real ou a realidade.
Novo!!: Teorema e Verdade · Veja mais »
Verdade lógica
Verdade lógica é um dos conceitos mais fundamentais na lógica.
Novo!!: Teorema e Verdade lógica · Veja mais »
William Lane Craig
William Lane Craig (Peoria, 23 de Agosto de 1949) é um filósofo, teólogo e apologista cristão estadunidense.
Novo!!: Teorema e William Lane Craig · Veja mais »
Wolfgang Pauli
Wolfgang Ernst Pauli (Viena, — Zurique) foi um físico austríaco, posteriormente suíço e norte-americano, conhecido por seu trabalho na teoria do spin do elétron.
Novo!!: Teorema e Wolfgang Pauli · Veja mais »
