Translation of "teorema de Bayes" to English language:
Dictionary Portuguese-English
Teorema - tradução :
Examples (External sources, not reviewed)
| Thomas Bayes foi o primeiro a apresentar um teorema, o teorema de Bayes, diante da sociedade. | President The President of the Royal Society is head of both the Society and the Council. |
| 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. | 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. |
| Biografia Thomas Bayes era filho de um ministro presbiteriano de Londres, chamado Joshua Bayes e nasceu provavelmente em Hertfordshire. | Biography Thomas Bayes was the son of London Presbyterian minister Joshua Bayes, and was possibly born in Hertfordshire. |
| Este é o caderno do Reverendo Bayes. | This is Reverend Bayes's notebook. |
| 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. | 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. |
| Há duas fontes de informação segundo a regra de Bayes. | There are two sources of information Bayes' rule tells you. |
| 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. | 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. |
| E o que Bayes mostrou foi um modo matemático para fazer isso. | And what Bayes showed was a mathematical way that you could do that. |
| 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. | The Baire category theorem about complete metric spaces, and its consequences, such as the open mapping theorem and the closed graph theorem. |
| Demonstração do Teorema Fundamental da Aritmética Teorema Seja formula_1 um inteiro positivo. | And it is the key in the proof of the fundamental theorem of arithmetic. |
| O teorema das quatro cores é um teorema de formulação e conceitualização simples, mas de demonstração extremamente complexa. | Precise formulation of the theorem The intuitive statement of the four color theorem, i.e. |
| É nesta teoria dos números que se engloba o seu famoso teorema, conhecido como Último Teorema de Fermat. | In number theory, Fermat studied Pell's equation, perfect numbers, amicable numbers and what would later become Fermat numbers. |
| Ver também teorema da incompletude de Gödel. | See also Gödel's incompleteness theorems. |
| A inferência bayesiana calcula a probabilidade posterior de acordo com a regra de Bayes formula_1onde formula_2 significa dado . | Bayesian inference computes the posterior probability according to Bayes' theorem formula_1where formula_2 denotes a conditional probability more specifically, it means given . |
| 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. | 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. |
| Usando as propriedades desta função, ele generalizou o teorema de Fermat ao que é hoje conhecido como o teorema de Euler. | Using properties of this function, he generalized Fermat's little theorem to what is now known as Euler's theorem. |
| Este teorema é de importância central no cálculo tanto que recebe o nome teorema fundamental para todo o campo de estudo. | 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. |
| Os modelos físicos são baseados no Teorema de Bridgman e as escalas de semelhança são calculadas com base no Teorema de Buckingham. | Computer science models in Computer Networks, data models, surface model... Mechanics movement of rocket model... |
| Teorema Seja S um conjunto. | Theorem Let S be a set. |
| 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 . | 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. |
| 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 . | 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. |
| 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. | This includes the study of cardinal arithmetic and the study of extensions of Ramsey's theorem such as the Erdős Rado theorem. |
| 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. | 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. |
| Provou o teorema do limite central. | A.A. Markov. |
| Ele até mesmo me ensinou o teorema de Pitágoras. | He even taught me the Pythagorean theorem. |
| Teorema Todo subconjunto de um conjunto contável é contável. | Theorem Every subset of a countable set is countable. |
| Então pode se fazer integrais (de Riemann e de Lebesgue) e provar o teorema fundamental do cálculo, tipicamente usando o teorema do valor médio. | Equivalence between (1) and (3) is known as the fundamental theorem of Lebesgue integral calculus, due to Lebesgue. |
| E o que a regra de Bayes diz é, dadas minhas crenças, a ação deve ser ótima em algum nível. | And what Bayes' rule says is, given my beliefs, the action should in some sense be optimal. |
| 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 version of Taylor's theorem, which expresses the error term as an integral, can be seen as a generalization of the Fundamental Theorem. |
| O teorema de Banach Alaoglu sobre compacidade de conjuntos de funcionais. | The Banach Alaoglu theorem about compactness of sets of functionals. |
| Este é o teorema fundamental da aritmética. | This is the fundamental theorem of arithmetic. |
| A prova do segundo teorema é obtida pela formalização da prova do primeiro teorema da incompletude dentro da própria teoria. | The proof of the second incompleteness theorem is obtained by formalizing the proof of the first incompleteness theorem within the theory itself. |
| Você pode coser todo tipo de teorema matemático nestas superfícies. | And you can stitch all sorts of mathematical theorems onto these surfaces. |
| Obviamente, um teorema pode ter mais de uma única demonstração. | Fermat's Last Theorem is a particularly well known example of such a theorem. |
| Isto é geralmente conhecido como Teorema da diferenciação de Lebesgue. | On the real line this statement is equivalent to Lebesgue's differentiation theorem. |
| Ele também é chamado as vezes de teorema do rotacional. | It is also sometimes known as the curl theorem. |
| Assim como rolos de pianos, Gershwin fez uma breve incursão dentro do vaudeville, acompanhando Nora Bayes e Louise Dresser no piano. | As well as recording piano rolls, Gershwin made a brief foray into vaudeville, accompanying both Nora Bayes and Louise Dresser on the piano. |
| 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. | 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. |
| Esse resultado, conhecido como teorema de não definibilidade de Tarski, foi descoberto independentemente por Gödel (quando trabalhou na prova do teorema da incompletude) e por Alfred Tarski. | This result, known as Tarski's undefinability theorem, was discovered independently by Gödel (when he was working on the proof of the incompleteness theorem) and by Alfred Tarski. |
| 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. | 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. |
| Claramente, o teorema é verdadeiro para conjuntos finitos. | Obviously, the theorem is true for finite sets. |
| Esses resultados não requerem o teorema da incompletude. | These results do not require the incompleteness theorem. |
| Está, portanto, demonstrado o Teorema Fundamental da Aritmética. | GCD and the Fundamental Theorem of Arithmetic at cut the knot. |
| O teorema MTU prova a existência dessa função. | The utm theorem proves the existence of such a function. |
| Prova é o processo de mostrar que um teorema está correto. | In some cases, a picture alone may be sufficient to prove a theorem. |
Pesquisas relacionadas : Bayes Teorema - Teorema - Postulado Bayes - Teorema Binomial - Teorema Fundamental - Cosseno Teorema - Teorema De Nyquist - Teorema De Pitágoras - Teorema Eixo Paralelo - Teorema De Nyquist De Amostragem - Teorema Do Valor Médio - Teorema Do Limite Central - De De
