Resultados da pesquisa

...ra de [[Mojżesz Presburger]], o qual a apresentou em 1929. A assinatura da aritmética de Presburguer contém apenas a operação de adição e equalização, suprimindo ...tmética de Presburger. O tempo de funcionamento assintótico [[complexidade computacional]] deste [[problema de decisão]] é duplamente exponencial, como mostrado por ...

...goritmo|algorítimos]], fundamentos da [[ciência da computação]], [[álgebra computacional]], [[Programação de computadores|programação]] e [[computação gráfica]].<re ...NaN (Not a Number), que tem sido comumente empregado em computadores em [[aritmética]] de [[Vírgula flutuante|ponto flutuante]] por muitos anos.<ref>{{Citar web ...

...tp://www.comp.ita.br/~forster/CCI-22-2012/cci22-cap2.pdf|título=Matemática Computacional: Erros de Arredondamento}}</ref> ...ão números de ponto flutuante, que (2) <math>\bullet</math> é uma operação aritmética em ponto flutuante como adição ou multiplicação, e que (3) <math>\circ</mat ...

Por exemplo, uma teoria ''T'' da aritmética é dita ser inconsistente se existe uma prova em ''T'' da fórmula "0=1". A f ...um conceito análogo na [[Complexidade computacional|teoria da complexidade computacional]]. ...

== Relação teórica e computacional com outras transformações unitárias == ...math>-ésima potência da média geométrica) e do traço (proporcional à média aritmética) de uma matriz unitária revela que seus autovalores <math display="inline"> ...

...h>r</math> é chamado de '''razão''' ou '''diferença comum''' da progressão aritmética.<ref name="Spiegel-Moyer">{{citar livro|título = Teoria e problemas de álge Uma progressão aritmética é uma sequência numérica <math>(a_n)_{n\in\mathbb{N}}</math> definida recur ...

...' ( ''n''&nbsp;&#x2212;&nbsp;1),&nbsp;''F'' ( ''n'' )). A principal tarefa computacional é então determinar ''i'' de modo que ''F'' ( ''i''&nbsp;&#x2212;&nbsp;1)&nb * [[Busca linear]], custo computacional linear &nbsp;''n''. ...

...inito]] X de vetores <math>x=(x_1,x_2)</math>, tendo como componentes os [[Aritmética modular|resíduos]] de 10 e função iterativa <math>f</math> definida por <ma ...iniciais x_0 e x_1 iguais a 0 e 1, respectivamente, mais um [[Transporte (aritmética)|bit de transporte]] inicial de 0. Cada novo dígito da sequência é igual à ...

Na [[Complexidade computacional|teoria de complexidade computacional]], a [[Classes de Complexidade|classe de complexidade]] que contém todos os ...erável se e somente se está no nível <math>\Sigma^0_1</math> da hierarquia aritmética. ...

...or bem definido para essa expressão depende do contexto matemático. Para a aritmética com [[número real|números reais]], a expressão não possui significado.<ref> ==Interpretação em aritmética elementar== ...

...utilizado no estudo da [[Complexidade computacional|teoria da complexidade computacional]]. Eles são um caso especial de circuitos. O objeto é classificado como [[G | [[P (complexidade)|P]]-difícil, em co[[RP (complexidade computacional)|RP]] ...

...utilizado no estudo da [[Complexidade computacional|teoria da complexidade computacional]]. Eles são um caso especial de circuitos. O objeto é classificado como [[G | [[P (complexidade)|P]]-difícil, em co[[RP (complexidade computacional)|RP]] ...

Por exemplo, uma teoria ''T'' de aritmética é dita ser inconsistente se existe uma prova em ''T'' da fórmula "0=1". A f ...ertificado (complexidade)]], um conceito análogo na teoria da complexidade computacional. ...

...a ponderada|média ponderada]] que tem menos variabilidade do que a [[média aritmética]] de uma amostra aleatória simples da população.<ref name=minimax-sampling> Em [[estatística computacional]], a amostragem estratificada é um método de redução de variância quando os ...

...nções computáveis, de acordo com a taxa-de-crescimento e a [[complexidade computacional]]. ...ro transfinito|ε₀]] é computável e demonstravelmente total na [[Aritmética de Peano]]. ...

|[[Complexidade computacional]] |''A''&nbsp;≤ ''B'' significa que o [[Problema computacional|problema]] ''A'' pode ser reduzido para o problema ''B''. ...

[[Categoria:Aritmética computacional]] ...

...um múltiplo de ''n'' menos um. Isso quer dizer que (usando a notação da [[aritmética modular]]), o [[fatorial]] <math>(n - 1)! = 1 \times 2 \times 3 \times \cdo ...o quando (''n''&thinsp;-&thinsp;1)! é dividido por ''n''. (Na notação da [[aritmética modular]], o resto quando ''m'' é dividido por ''n'' é escrito como ''m mo ...

=== Relação de completude de Turing à universalidade computacional === ...da redução de Turing pode usar. Esses limites da redução na [[Complexidade computacional]] são importantes quando estudamos classes subrecursivas, tais como complex ...

...ecial com o [[Sistema de numeração binário|sistema binário]]. Cada [[Base (aritmética)|base]] 4, 8 e 16 é uma potência de 2, assim a conversão para o binário e d ...omputação]] e [[programação de computadores]] na discussão e na análise de aritmética binária e lógica, o quaternário não possui a mesma importância. ...