Translation of "teorema de Nyquist" to English language:
Dictionary Portuguese-English
Teorema - tradução :
Examples (External sources, not reviewed)
| O teorema de amostras de Nyquist Shannon descreve como utilizar um filtro passa baixas perfeito e a fórmula de interpolação de Nyquist Shannon mostra como reconstruir um sinal contínuo de uma amostra de um sinal digital. | The Whittaker Shannon interpolation formula describes how to use a perfect low pass filter to reconstruct a continuous signal from a sampled digital signal. |
| Nyquist, Roger T. 1968. | Nyquist, Roger T. 1968. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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 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. |
| 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. |
| 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. |
| Na síntese digital, a série é apenas somada, de modo que a maior harmônica, Nmax, é menor que a frequência de Nyquist (metade da frequência de amostra). | In digital synthesis, these series are only summed over k such that the highest harmonic, Nmax, is less than the Nyquist frequency (half the sampling frequency). |
| 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. |
| Eles também atribuíram a Arquimedes o 'teorema da corda quebrada' Os árabes relatam que Arquimedes teria dado diversas provas para este teorema. | 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. |
| A última frase da sequência é um teorema de um sistema formal. | The last sentence in the sequence is a theorem of a formal system. |
| Demonstração Utilizando a desigualdade de Cauchy Schwarz, prova se o teorema facilmente. | That is, the distance from to is at most as large as the sum of the distance from to and the distance from to . |
| Teorema O produto cartesiano de uma quantidade finita de conjuntos contáveis é contável. | Theorem The Cartesian product of finitely many countable sets is countable. |
| A aritmética de Peano é também incompletável pelo teorema da incompletude de Gödel. | Peano arithmetic is also incomplete by Gödel's incompleteness theorem. |
Pesquisas relacionadas : Teorema De Nyquist De Amostragem - Teorema - Gráfico De Nyquist - Taxa De Nyquist - Frequência De Nyquist - Teorema Binomial - Bayes Teorema - Teorema Fundamental - Cosseno Teorema - Teorema De Bayes - Teorema De Pitágoras - Teorema Eixo Paralelo - Teorema Do Valor Médio
