Tradução de "mais finita" para o idioma inglês:
Exemplos (Fontes externas, não revisadas)
| Se o espaço V tem dimensão finita n , então L(V,V) também tem dimensão finita n2 . | The dimension of the co kernel and the dimension of the image (the rank) add up to the dimension of the target space. |
| A morte termina a existência finita do homem. | Death ends man's finite existence. |
| Raios do objeto a uma distância finita estão focados mais longe da lente do que a distância focal. | Rays from an object at finite distance are focused further from the lens than the focal distance the closer the object is to the lens, the further the image is from the lens. |
| A média de uma (finita) amostra é sempre definida. | The mean of a (finite) sample is always defined. |
| Para uma espessura finita, a folha terá massa infinita. | For any finite thickness, this corresponds to an infinite mass. |
| No entanto, dada uma quantidade finita de tempo, uma máquina de Turing (como uma máquina real) pode apenas manipular uma quantidade finita de dados. | However, given a finite amount of time, a Turing machine (like a real machine) can only manipulate a finite amount of data. |
| Na sua forma mais simples a multiplicação é uma forma simples de se adicionar uma quantidade finita de números iguais. | Multiplication is also defined for other types of numbers, such as complex numbers, and more abstract constructs, like matrices. |
| Entrada Entrada finita Um autômato que aceita apenas sequências finitas de símbolos. | Input Finite input An automaton that accepts only finite sequence of symbols. |
| Se o nosso planeta tem uma capacidade finita para suportar a vida humana, é preferível haver menos pessoas a terem vidas mais longas, ou mais pessoas a terem vidas mais curtas? | If our planet has a finite capacity to support human life, is it better to have fewer people living longer lives, or more people living shorter lives? |
| A entrada é constituída por uma sequência finita de caracteres 1s e 0s. | The automaton takes a finite sequence of 0s and 1s as input. |
| Há uma região finita de espaço à qual temos acesso, cercada por um horizonte. | There's a finite region of space that we have access to, surrounded by a horizon. |
| O efeito Mössbauer ocorre porque há uma possibilidade finita de uma emissão envolver fônons. | The Mössbauer effect occurs because there is a finite probability of a decay occurring involving no phonons. |
| Espaço euclidiano é um espaço vetorial real de dimensão finita munido de um produto interno. | From the modern viewpoint, there is essentially only one Euclidean space of each dimension. |
| Se você tem um subconjunto finito, você pode ordenar os elementos em uma sequência finita. | If you have a finite subset, you can order the elements into a finite sequence. |
| E então, essa coisa toda me fez achar empolgante estar aqui, porque a vida é finita. | And so, this whole thing has struck me as exciting to be here, because life is finite. |
| Um autômato é uma representação finita de uma linguagem formal que pode ser um conjunto infinito. | An automaton is a finite representation of a formal language that may be an infinite set. |
| O exemplo de Hilbert a asserção de que existe apenas uma quantidade finita de números primos ou que existe uma infinidade deles (citado em Davis 2000 97) e o de Brouwer Toda espécie matemática é ou finita ou infinita. | Hilbert's example the assertion that either there are only finitely many prime numbers or there are infinitely many (quoted in Davis 2000 97) and Brouwer's Every mathematical species is either finite or infinite. |
| Restrição a conjuntos finitos O enunciado do Axioma da Escolha não especifica se a coleção de conjuntos não vazios é finita ou infinita, e então implica que toda coleção finita de conjuntos não vazios tem uma função de escolha. | Restriction to finite sets The statement of the axiom of choice does not specify whether the collection of nonempty sets is finite or infinite, and thus implies that every finite collection of nonempty sets has a choice function. |
| A superfície bidimensional da terra, por exemplo, é finita, e apesar disso ainda não tem nenhuma descontinuidade. | The two dimensional surface of the Earth, for example, is finite, yet has no edge. |
| Na prática, é utilizada precisão finita e o resultado é uma aproximação da solução real (assumindo estabilidade). | In practice, finite precision is used and the result is an approximation of the true solution (assuming stability). |
| Devido às grandes distâncias dos quasares mais distantes e a velocidade da luz finita, vemos os quasares e o espaço em torno deles como eles existiam no Universo primitivo. | Because of the great distances to the farthest quasars and the finite velocity of light, we see them and their surrounding space as they existed in the very early universe. |
| Teoria dos conjuntos combinatória Teoria dos conjuntos combinatória preocupa se com extensões da combinatória finita para conjuntos infinitos. | Combinatorial set theory Combinatorial set theory concerns extensions of finite combinatorics to infinite sets. |
| A única parte dessa prova que não era claramente finita era uma indução transfinita até o ordinal ε0. | The only part of this proof that was not clearly finitary was a certain transfinite induction up to the ordinal ε0. |
| Os raios de um objecto à distância finita estão associados a uma imagem virtual que está mais perto da lente do que a distância focal, e no mesmo lado do objeto. | Rays from an object at finite distance are associated with a virtual image that is closer to the lens than the focal length, and on the same side of the lens as the object. |
| Na realidade, o teorema da árvore de Kruskal (ou sua forma finita) é indecidível em um sistema mais forte que codifica os princípios aceitáveis, baseados numa filosofia da matemática chamada de predicativismo. | In fact Kruskal's tree theorem (or its finite form) is undecidable in a much stronger system codifying the principles acceptable based on a philosophy of mathematics called predicativism. |
| Uma instância de uma lista é uma representação computacional do conceito matemático de uma sequência finita, que é, uma tupla. | An instance of a list is a computer representation of the mathematical concept of a finite sequence the (potentially) infinite analog of a list is a stream. |
| San Martino di Finita é uma comuna italiana da região da Calábria, província de Cosenza, com cerca de 1.280 habitantes. | San Martino di Finita is a town and comune in the province of Cosenza in the Calabria region of southern Italy. |
| A densidade da matéira é finita, e temos a possibilidade de descobrir um conjunto de equações que descrevem o processo todo. | The density of matter is finite, and we have a chance of a consistent set of equations that can describe the whole process. |
| Na Teoria dos autômatos, um sub tópico da Ciência da computação teórica, um autômato finito determinístico também chamado máquina de estados finita determinística (AFD) é uma Máquina de estados finita que aceita ou rejeita cadeias de símbolos gerando um único ramo de computação para cada cadeia de entrada. | In automata theory, a branch of theoretical computer science, a deterministic finite automaton (DFA) also known as deterministic finite state machine is a finite state machine that accepts rejects finite strings of symbols and only produces a unique computation (or run) of the automaton for each input string. |
| A mediana de uma lista finita de números pode ser encontrada por providenciar todas as observações do valor mais baixo para o valor mais elevado e colheita do número do meio (por exemplo, a mediana de 3, 3, 5, 9, 11 é 5). | The median of a finite list of numbers can be found by arranging all the observations from lowest value to highest value and picking the middle one (e.g., the median of 3, 3, 5, 9, 11 is 5). |
| Uma sequência pode ser uma sequência finita a partir de uma fonte de dados, ou uma sequência infinita de um sistema dinâmico discreto . | A sequence could be a finite sequence from a data source or an infinite sequence from a discrete dynamical system. |
| Em qualquer momento, os símbolos que servem de entrada para o autômato formam uma sequência finita de símbolos, que é chamada de palavra . | At any time, the symbols so far fed to the automaton as input form a finite sequence of symbols, which is called a word . |
| Palavra de entrada Um autômato lê uma string finita de símbolos a1,a2..., an, onde ai Σ, que é chamada de palavra de entrada . | Input word An automaton reads a finite string of symbols a1,a2..., an , where ai Σ, which is called an input word . |
| Se essa indução transfinita for aceita como um método finito, então pode se afirmar que há uma prova finita consistente na aritmética de Peano. | If this transfinite induction is accepted as a finitary method, then one can assert that there is a finitary proof of the consistency of Peano arithmetic. |
| Toda bijeção contínua de um espaço compacto em um espaço Hausdorff é um homeomorfismo A união finita de espaços (quase )compactos é (quase )compacto. | The spectrum of any commutative ring with the Zariski topology (that is, the set of all prime ideals) is compact, but never Hausdorff (except in trivial cases). |
| O termo matemática finita é às vezes aplicado na parte do campo da matemática discreta que lida com conjuntos finitos, particularmente em áreas relevantes para os negócios. | The term finite mathematics is sometimes applied to parts of the field of discrete mathematics that deals with finite sets, particularly those areas relevant to business. |
| Classificação pela função de transferência Resposta ao impulso Os filtros lineares podem ser divididos em duas classes filtos resposta de impulso infinita (IIR), e resposta de impulso finita (FIR). | Very different mathematical treatments apply to the design of filters termed infinite impulse response (IIR) filters, characteristic of mechanical and analog electronics systems, and finite impulse response (FIR) filters, which can be implemented by discrete time systems such as computers (then termed digital signal processing ). |
| Em uma amostra de dados, ou uma população finita, pode não haver nenhum membro da amostra cujo valor é idêntico à mediana (no caso de um mesmo tamanho de amostra). | In a sample of data, or a finite population, there may be no member of the sample whose value is identical to the median (in the case of an even sample size) if there is such a member, there may be more than one so that the median may not uniquely identify a sample member. |
| A fita pode ser finita, e automaticamente estendida com espaços em branco, conforme necessário (o qual é o mais próximo da definição matemática), mas isso é mais comum para pensar sobre isso como infinitamente alongado em ambos os lados e sendo preenchida com espaços em branco, exceto sobre o fragmento finito dado explicitamente onde a cabeça da fita está. | The tape can be finite, and automatically extended with blanks as needed (which is closest to the mathematical definition), but it is more common to think of it as stretching infinitely at both ends and being pre filled with blanks except on the explicitly given finite fragment the tape head is on. |
| Muitos matemáticos que trabalham em provas de teorias parecem considerar matemática finita como contida na aritmética de Peano, e nesse caso não é possível dar provas finitas de teorias razoavelmente fortes. | Most mathematicians in proof theory seem to regard finitary mathematics as being contained in Peano arithmetic, and in this case it is not possible to give finitary proofs of reasonably strong theories. |
| Uma palavra sobre um alfabeto pode ser qualquer sequência finita, ou cadeia de caracteres ou letras, que por vezes podem incluir espaços, e são separados por caracteres de separação de palavras especificadas. | A word over an alphabet can be any finite sequence, or string, of characters or letters, which sometimes may include spaces, and are separated by specified word separation characters. |
| Mais geral, integral de formula_6 sobre formula_5 é definida como segue seja ψi uma partição da unidade associada a uma cobertura localmente finita Ui , φi de cartas (orientadas de modo consistente), então defina a integral formula_13onde cada termo da soma é avaliado através do pullback para R n como descrito acima. | More generally, the integral of α over Ω is defined as follows Let ψi be a partition of unity associated with a locally finite cover Ui , φi of (consistently oriented) coordinate charts, then define the integral formula_7where each term in the sum is evaluated by pulling back to R n as described above. |
| A impedância total é então dada por formula_35e após a substituição de formula_36 e formula_37, nós temos formula_38o que simplifica a formula_39Note que formula_40 porém para todos os outros valores de formula_41 a impedância é finita. | The total impedance is then given by formula_48and after substitution of formula_49 and formula_50 and simplification, gives formula_51which further simplifies to formula_52where formula_53Note that formula_54but for all other values of formula_55 the impedance is finite. |
| A prova formal ou derivação é uma sequência finita de fórmulas bem formadas (que pode ser interpretado como proposições), cada um dos quais é um axioma ou resulta das fórmulas anteriores na sequência de uma regra de inferência. | A formal proof or derivation is a finite sequence of well formed formulas (which may be interpreted as propositions) each of which is an axiom or follows from the preceding formulas in the sequence by a rule of inference. |
| A partir desses axiomas, é possível provar as seguintes conseqüências formula_14 para todos formula_4 formula_16 para todos formula_4 e formula_5 Exemplos Um espaço vetorial de dimensão finita no qual está definido um produto interno é um espaço vetorial euclidiano. | Examples A simple example is the real numbers with the standard multiplication as the inner product formula_30 More generally, the real space with the dot product is an inner product space, an example of a Euclidean space. |
Pesquisas relacionadas : Vida Finita - Quantidade Finita - Fonte Finita - População Finita - Matemática Finita - Natureza Finita - Quantidade Finita - Amostra Finita - Razão Finita - Capacidade Finita - Programação Finita - Duração Finita - Modelo Mistura Finita - Vida útil Finita
