Resultados da pesquisa

...sível transformar x em y utilizando as identidades em E usando as regras de reescrita em ambas as direções ? Embora responder a essa pergunta possa nã ...a, senão todos podem ser propostos como problemas de palavra; veja a lista de problemas indecidíveis para mais exemplos. ...

{{Reciclagem|data=dezembro de 2024}} Em [[Lógica matemática]], a '''hierarquia aritmética''', ou '''hierarquia de Kleene-Mostowski''' classifica certos [[Conjunto|conjuntos]] baseada na com ...

...a transmissão harmônica exibindo seus três principais componentes: gerador de onda, flexspline e engrenagem circular.</span> | style="padding:8px;" | Mecanismo de transmissão mecânica ...

...itmos convencionais, um algoritmo probabilístico, dada uma mesma sequência de entrada, não necessariamente leva a um mesmo estado final. ...[[determinismo|determinista]]), as transições dependem apenas da seqüência de símbolos, ou seja, dado um estado <math>Q_n</math>, a transição deste para ...

{{Mais notas|data=abril de 2021}} ...]] que se ligam a [[eixo (rotação)|eixos]], aos quais imprimem [[Movimento de rotação|rotação]] e [[torque]], transmitindo assim [[potência]]. ...

[[Ficheiro:Chebyshev_linkage.gif|direita|180x180px|Chebyshev de ligação]] ...chanical)|mecanismo]] que converte movimento de rotação em uma aproximação de [[Movimento retilíneo|movimento em linha reta]]. ...

...''. O conceito foi usado pela primeira vez por [[Kurt Gödel]] para a prova de seu [[teorema da incompletude]]. ...os naturais pode representar uma seqüência de caracteres. Estas sequências de números naturais podem voltar a ser representadas por um único número natur ...

...Haifa, Israel: [[Springer-Verlag]], pp. 149–165, 1997</ref>. Os criadores de Square também foram responsáveis pela criação do algoritmo Rijndael que ser ...entos da França|departamento]] de engenharia para internet na Universidade de Sejong (Koréia do Sul). ...

{{Mais notas|data=setembro de 2021}} ...nsidade]], [[módulo de Young]], [[módulo de cisalhamento]] e [[coeficiente de Poisson]]. ...

{{Wikificação|data=setembro de 2024}} {{Sem fontes|data=outubro de 2020}} ...

{{Reciclagem|data=julho de 2016}} ...lingua=en-US}}</ref> Esta estrutura análoga é referida como um registrador de ''n''-[[Bit quântico|qubit]]. ...

...[Vulcanização|vulcanizada]], que serve para transmitir a força e movimento de uma [[polia]] ou engrenagem para outras. ...dado para uso em maquinas que possuam pouco espaço físico ou não necessite de grandes [[velocidade]]s, pois elas são mais lentas que as planas. Enquanto ...

{{mais notas|data=abril de 2017}} ...criptive complexity'' (1999 Springer)</ref>, permitindo que a complexidade de certos problemas seja provada sem ter que recorrer ao nível algorítmico. ...

{{reciclagem|data=maio de 2015}} ...dem ser usados no lugar de números reais, para muitos, mas não todos, fins de matemática. ...

{{Má tradução|data=setembro de 2021}} {{Reciclagem|data=outubro de 2011}} ...

...a '''pu''', é uma forma de expressar as grandezas elétricas em um circuito de forma normalizada, com base em valores pré-determinados. ...idades por unidade de volts, ohms ou ampères exige um conhecimento da base de que as quantidades por unidade foram referenciados. ...

{{Mais notas|data=outubro de 2020}} [[Ficheiro:Screw drive types2.svg|right|225px|thumb|Tipos de cabeças de parafuso: (a)&nbsp;Fenda, (b)&nbsp;Chave Phillips, (c)&nbsp;Pozidriv, (d)&n ...

{{Sem notas|Este artigo|tec|data=maio de 2011}} ...unções. Modelos particulares de computabilidade que dão origem ao conjunto de funções computáveis são as [[função Turing-computável|funções Turing-comput ...

...njunto de elementos de conhecimento se limita a um conjunto de testemunhas de alguma [[Linguagem formal|linguagem]] em [[NP (complexidade)|''NP'']]. ...nguagem <math>L</math> em NP e <math>W(x)</math> o conjunto de testemunhas de x que devem ser aceitas na prova. Isso nos permite definir a seguinte relaç ...

...w.ifba.edu.br/professores/flaviamsn/docs/arq-aula5.pdf |titulo=Arquitetura de Von Neumann e os Computadores Modernos |acessodata=2014-12-14 |arquivodata= ...grama na memória, instrução por instrução, e executá-lo sobre os [[dados]] de [[entrada/saída|entrada]]. ...