Tradução de "bayes' theorem" para a língua portuguesa:

Dicionário Inglês-Português

Theorem - translation :

Palavras-chave : Teorema Pitágoras Zero Conjectura Curvas

Exemplos (Fontes externas, não revisadas)

Thomas Bayes ( c. 1701 7 April 1761) was an English statistician, philosopher and Presbyterian minister, known for having formulated a specific case of the theorem that bears his name Bayes' theorem.	1701 17 de Abril de 1761) foi um pastor presbiteriano e matemático inglês (pertencente à minoria calvinista em Inglaterra), conhecido por ter formulado o caso especial do teorema de Bayes.
Bayesian inference computes the posterior probability according to Bayes' theorem formula_1where formula_2 denotes a conditional probability more specifically, it means given .	A inferência bayesiana calcula a probabilidade posterior de acordo com a regra de Bayes formula_1onde formula_2 significa dado .
Biography Thomas Bayes was the son of London Presbyterian minister Joshua Bayes, and was possibly born in Hertfordshire.	Biografia Thomas Bayes era filho de um ministro presbiteriano de Londres, chamado Joshua Bayes e nasceu provavelmente em Hertfordshire.
There are two sources of information Bayes' rule tells you.	Há duas fontes de informação segundo a regra de Bayes.
And what Bayes showed was a mathematical way that you could do that.	E o que Bayes mostrou foi um modo matemático para fazer isso.
Interactive theorem prover	Interativo provador de teoremas
The Baire category theorem about complete metric spaces, and its consequences, such as the open mapping theorem and the closed graph theorem.	O teorema da categoria de Baire sobre espaços completos métricos, e suas consequências, como o teorema do mapeamento aberto e o teorema do grafo fechado.
Fermat's Last Theorem is a particularly well known example of such a theorem.	Obviamente, um teorema pode ter mais de uma única demonstração.
Another no go theorem concerning hidden variable theories is the Kochen Specker theorem.	Outro obstáculo significativo para a teoria de variáveis ocultas é o teorema de Kochen Specker.
Precise formulation of the theorem The intuitive statement of the four color theorem, i.e.	O teorema das quatro cores é um teorema de formulação e conceitualização simples, mas de demonstração extremamente complexa.
Euler proved Newton's identities, Fermat's little theorem, Fermat's theorem on sums of two squares, and he made distinct contributions to Lagrange's four square theorem.	Euler provou identidades de Newton, Pequeno teorema de Fermat, teorema de Fermat em somas de dois quadrados, e ele fez contribuições distintas ao Teorema de Fermat Lagrange.
One student wrote, Now I'm seeing Bayes networks and examples of game theory everywhere I look.	Um aluno escreveu, Agora vejo as redes de Bayes e os exemplos da teoria dos jogos em todos os lugares para onde olho.
First incompleteness theorem Gödel's first incompleteness theorem first appeared as Theorem VI in Gödel's 1931 paper On Formally Undecidable Propositions in Principia Mathematica and Related Systems I.	Primeiro teorema da incompletude O primeiro teorema da incompletude de Gödel apareceu primeiro em 1931 como Teorema VI no artigo de Gödel chamado On Formally Undecidable Propositions in Principia Mathematica and Related Systems I .
Second incompleteness theorem Gödel's second incompleteness theorem first appeared as Theorem XI in Gödel's 1931 paper On Formally Undecidable Propositions in Principia Mathematica and Related Systems I.	O segundo teorema da incompletude O segundo teorema da incompletude de Gödel apareceu primeiro em 1931 como Teorema XI no artigo de Gödel chamado On Formally Undecidable Propositions in Principia Mathematica and Related Systems I .
The stronger version of the incompleteness theorem that only assumes consistency, rather than ω consistency, is now commonly known as Gödel's incompleteness theorem and as the Gödel Rosser theorem.	A versão forte do teorema da incompletude, que apenas assume consistência ao invés de ω consistência, é agora comumente conhecida como o teorema da incompletude de Gödel e como o teorema de Gödel Rosser.
And what Bayes' rule says is, given my beliefs, the action should in some sense be optimal.	E o que a regra de Bayes diz é, dadas minhas crenças, a ação deve ser ótima em algum nível.
Theorem Let S be a set.	Teorema Seja S um conjunto.
Using properties of this function, he generalized Fermat's little theorem to what is now known as Euler's theorem.	Usando as propriedades desta função, ele generalizou o teorema de Fermat ao que é hoje conhecido como o teorema de Euler.
He even taught me the Pythagorean theorem.	Ele até mesmo me ensinou o teorema de Pitágoras.
This is the fundamental theorem of arithmetic.	Este é o teorema fundamental da aritmética.
See also Gödel's completeness theorem Gödel's speed up theorem Löb's Theorem Minds, Machines and Gödel Münchhausen trilemma Non standard model of arithmetic Provability logic Tarski's undefinability theorem Third Man Argument Notes References Articles by Gödel 1931, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I.	Ver também Teorema da completude de Gödel Teorema de Löb Trilema de Münchhausen Modelo de aritmética não padrão Argumento do terceiro homem Artigos de Gödel 1931, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I.
Among other problems, it assumed implicitly a theorem (now known as Puiseux's theorem) which would not be proved until more than a century later, and furthermore the proof assumed the fundamental theorem of algebra.	Entre outros problemas, usava implicitamente um teorema (atualmente designado por teorema de Puiseux) que só viria a ser demonstrado um século mais tarde e cuja demonstração se pensava depender do teorema fundamental da álgebra.
This includes the study of cardinal arithmetic and the study of extensions of Ramsey's theorem such as the Erdős Rado theorem.	Isto inclui o estudo da aritmética de cardinais e o estudo de extensões do teorema de Ramsey tais como o teorema de Erdos Rado.
Obviously, the theorem is true for finite sets.	Claramente, o teorema é verdadeiro para conjuntos finitos.
These results do not require the incompleteness theorem.	Esses resultados não requerem o teorema da incompletude.
Several standard properties follow easily from this theorem.	Muitas propriedades padrões são concluídas facilmente a partir deste teorema.
The proof of the second incompleteness theorem is obtained by formalizing the proof of the first incompleteness theorem within the theory itself.	A prova do segundo teorema é obtida pela formalização da prova do primeiro teorema da incompletude dentro da própria teoria.
John Barkley Rosser, 1939, An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem , Reprinted from the Journal of Symbolic Logic , vol.	John Barkley Rosser, 1939, An Informal Exposition of proofs of Gödel's Theorem and Church's Theorem , Reprinted from the Journal of Symbolic Logic , vol.
The version of Taylor's theorem, which expresses the error term as an integral, can be seen as a generalization of the Fundamental Theorem.	A versão do teorema de Taylor que expressa o termo erro como uma integral pode ser visto como uma generalização do teorema fundamental.
The formal theorem is written in highly technical language.	O teorema formal é escrito em linguagem bastante técnica.
What is Mathematics Gödel's Theorem and Around by Karlis Podnieks .	What is Mathematics Gödel's Theorem and Around by Karlis Podnieks .
October 2011 RadioLab episode about including Gödel's Incompleteness theorem	October 2011 RadioLab episode about including Gödel's Incompleteness theorem
Theorem Every subset of a countable set is countable.	Teorema Todo subconjunto de um conjunto contável é contável.
It is also sometimes known as the curl theorem.	Ele também é chamado as vezes de teorema do rotacional.
Peano arithmetic is also incomplete by Gödel's incompleteness theorem.	A aritmética de Peano é também incompletável pelo teorema da incompletude de Gödel.
In mathematics, the Pythagorean theorem, also known as Pythagoras's theorem, is a relation in Euclidean geometry among the three sides of a right triangle.	O teorema de Pitágoras é uma relação matemática entre os comprimentos dos lados de qualquer triângulo retângulo.
In vector calculus, the divergence theorem, also known as Gauss's theorem or Ostrogradsky's theorem, is a result that relates the flow (that is, flux) of a vector field through a surface to the behavior of the vector field inside the surface.	Teorema da Divergência (também conhecido como Teorema de Gauss, Teorema de Ostrogradski ou Teorema de Ostrogradski Gauss) é um teorema da matemática, relacionado com o cálculo vetorial.
The fundamental theorem of calculus is a theorem that links the concept of the derivative of a function with the concept of the function's integral.	Este teorema é de importância central no cálculo tanto que recebe o nome teorema fundamental para todo o campo de estudo.
Functional analysis The Hahn Banach theorem in functional analysis, allowing the extension of linear functionals The theorem that every Hilbert space has an orthonormal basis.	and Análise funcional O teorema de Hahn Banach em análise funcional, permitindo a extensão de funcionais lineares O teorema de que todo espaço de Hilbert tem uma base ortonormal.
Gödel's Theorem in Edwards, Paul, ed., Encyclopedia of Philosophy, Vol.	Gödel's Theorem in Edwards, Paul, ed., Encyclopedia of Philosophy, Vol.
Gödel's Theorem An Incomplete Guide to its Use and Abuse .	Gödel's Theorem An Incomplete Guide to its Use and Abuse .
The Banach Alaoglu theorem about compactness of sets of functionals.	O teorema de Banach Alaoglu sobre compacidade de conjuntos de funcionais.
The utm theorem proves the existence of such a function.	O teorema MTU prova a existência dessa função.
Arabic scholars also attribute to Archimedes the 'theorem on the broken chord' ... Archimedes is reported by the Arabs to have given several proofs of the theorem.	Eles também atribuíram a Arquimedes o 'teorema da corda quebrada' Os árabes relatam que Arquimedes teria dado diversas provas para este teorema.
Introduction The fundamental theorem of calculus states that the integral of a function f over the interval a , b can be calculated by finding an antiderivative F of f formula_3Stokes' theorem is a vast generalization of this theorem in the following sense.	Introdução O teorema fundamental do cálculo estabelece que a integral de uma função f sobre um intervalo a , b pode ser calculada através da busca de uma antiderivada F de f formula_1O teorema de Stokes é uma grande generalização deste teorema no seguinte sentido.

Display this page in English