Translation of "nyquist sampling theorem" to Portuguese language:
Dictionary English-Portuguese
Examples (External sources, not reviewed)
| 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). | 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). |
| Nyquist, Roger T. 1968. | Nyquist, Roger T. 1968. |
| PART 3 Further sampling issues VII . | PARTE 3 Outras questões de amostragem VII . |
| Interactive theorem prover | Interativo provador de teoremas |
| By sampling some of the local specialties! | Prove algumas das especialidades locais |
| Just a sampling of messages on Twitter. | Alguns exemplos das mensagens no Twitter. |
| 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. |
| This is where our sampling effort has concentrated. | Isto é onde nossos esforços de amostragem se concentraram. |
| Recent sampling has identified three genetically distinct populations. | (http www.iucnredlist.org search details.php 15635 all). |
| 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 . |
| NCBs that choose a sampling approach for the selection of the reporting agents provide an estimate of the sampling error for the initial sample . | Os BCN que optem pelo recurso à amostragem para a selecção dos agentes inquiridos devem fornecer uma estimativa do erro de amostragem relativamente à amostra inicial . |
| NCBs that choose a sampling approach for the selection of the reporting agents shall provide an estimate of the sampling error for the initial sample . | Os BCN que optem pelo recurso à amostragem para a selecção dos agentes inquiridos devem fornecer uma estimativa do erro de amostragem relativamente à amostra inicial . |
| 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. |
| 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. |
| However, population censuses relies on a sampling frame to count the population. | No intervalo entre dois censos demográficos, realiza se a contagem de população. |
| 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. |
| It is available at ccMixter under a Creative Commons Noncommercial Sampling Plus license. | Ela está disponível no ccMixter com uma licença da Creative Commons para Uso Não Comercial para Recombinação Plus. |
| In the field of statistics, Friedman developed the sequential sampling method of analysis. | No campo da estatística, Friedman desenvolveu o método de amostragem sequencial de análise. |
| 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. |
| Digital pianos use digital sampling technology to reproduce the sound of each piano note. | Há ainda o piano digital, que guarda em uma memória os sons a serem reproduzidos. |
Related searches : Nyquist Theorem - Nyquist Plot - Nyquist Rate - Nyquist Frequency - Binomial Theorem - Bayes' Theorem - Bayes Theorem - Fundamental Theorem - Pythagorean Theorem - Cosine Theorem - Parallel Axis Theorem