Resultados da pesquisa

Na [[lógica formal]], '''Satisfatibilidade de Horn''', ou '''HORNSAT''', é o p ...postas <math>l</math> e <math>\neg l</math> . Satisfatibilidade de Horn é, na verdade, um dos problemas mais "difíceis" ou "mais expressivos" que se sabe ...

...vimento. Também pode entender-se ''W'' como a tolerância de erro permitida na posição final, dado que o ponto final do movimento deve ficar a +/- ''W''/2 ...ade de condições, com vários membros diferentes (mãos, pés, miras montadas na cabeça, olhos), dispositivos (de entrada), ambientes físicos (inclusive sob ...

...ar livro|autor=Ana Sofia dos Penedos Alves|título=O Desenho da Perspectiva na Concepção de Trompe L’oeils e Anamorfoses|editora=Universidade de Lisboa|an ...m espelho especial;<ref name=":0">{{Citar web|ultimo=S.A|primeiro=Priberam Informática|url=https://dicionario.priberam.org/anamorfose|titulo=Dicionário Priberam d ...

# Uma [[Memória (informática)|memória]]; ...tabela de controle da [[Máquina de Turing universal]]: buscar um programa na memória, instrução por instrução, e executá-lo sobre os [[dados]] de [[entr ...

== História de como surgiu a palavra moda na matemática == ...em origem em 1895 com [[Karl Pearson]], influenciado pela expressão "estar na moda" usada para objetos muito utilizados pela sociedade como um modelo de ...

...fa. A técnica de paralelismo já é empregada há vários anos, principalmente na [[Computação de baixo desempenho|computação de alto desempenho]], mas recen ...ação paralela é dado pela [[lei de Amdahl]], formulada por [[Gene Amdahl]] na década de 1960.<ref>Amdahl, G. (abril de 1967) "The validity of the single ...

...c = f(a),</math> então <math display="inline">b = c.</math> Algumas vezes, na definição de função, impõe-se que todo o elemento do conjunto <math display ..., the slope of the curve, and so on" ({{harvnb|Eves |1990 |p=234}}).</ref> Na antiguidade, embora não se conheça o uso explícito de funções, tal conceito ...

|ano = {{ani|1990}} ...técnicas de [[redução de grafo]] e a possibilidade de uma mudança radical na [[arquitetura de von Neumann]].<ref>Hudak 2007, p. 2</ref> Após o lançament ...

...ina da USP; Reconhecimento de câncer – Câncer de mamas PPEP e Disciplina e Informática Médica, Faculdade de Medicina da USP; Análise do Planejamento Urbano da Cid ...estavam de fato entre as máquinas que a máquina de Turing poderia emular. Na sua obra, arquitetura de von Neumann, ele fez uma analogia entre os órgãos ...

...com regras inicialmente feitas por Scott Bradner e Allison Marken em 1994 na [[Request for Comments|RFC]] 1752.<ref name=":1">{{citar web |url=http://ww ...e na [[internet]] e deve funcionar por algum tempo lado a lado com o IPv4, na situação tecnicamente chamada de "pilha dupla" ("''dual stack''"). A longo ...

'''Ciência da computação teórica''' (TCS) ou '''informática teórica''' é uma divisão ou subconjunto de [[ciências da computação]] e [[m ...iedade]]. O trabalho neste campo é muitas vezes distinguido por sua ênfase na técnica matemática e rigor."}}A esta lista, o jornal ''Transactions on Comp ...

...ador]] e à [[História do computador pessoal|revolução do microcomputador]] na década de 1970. A velocidade, potência e versatilidade dos computadores têm ...s. Os dispositivos periféricos incluem dispositivos de entrada ([[Teclado (informática)|teclados]], [[mouses]], [[joystick]], etc.), dispositivos de saída (telas ...

...ticas [[Programação de computadores|instruções programadas]]. Enquanto que na inteligência artificial existem dois tipos de [[raciocínio]] (o indutivo, q ...''T'' e performance ''P'', se sua performance ''P'' nas tarefas em ''T'', na forma medida por ''P'', melhoram com a experiência ''E''."<ref>{{citar livr ...

...DDR5|acessodata=2024-06-10|website=Crucial|lingua=pt-br}}</ref> planejada na década de 1970.<ref>{{citar livro|url=https://sscs.ieee.org/images/files/ne ...os anos 1970 e o início dos anos 1990 usavam uma interface ''assíncrona'', na qual os sinais de controle de entrada têm um efeito direto nas funções inte ...

...o contidos, e quantidades e suas mudanças. Esses tópicos são representados na matemática moderna com as principais subdisciplinas da [[teoria dos números ...a correlação com suas aplicações e, portanto, são frequentemente agrupadas na [[matemática aplicada]]. Outros campos de estudo são desenvolvidos independ ...

...ssinou o [[Protocolo de Montreal]] para restringir o uso destes compostos. Na actualidade (2008) todas as máquinas frigoríficas utilizam gases refrigeran ...o calor cedido para as serpentinas (ou radiador) refrigerantes exteriores (na parte posterior do aparelho e que se elimina ao ambiente por uma circulação ...

[[Imagem:Binary logarithm plot with ticks.svg|thumb|O gráfico do logaritmo na base 2<ref>{{Citar web|url=http://omonitor.io/?q=log(x%2C2)|titulo=Confira ...nica.}}{{Ligação inativa}}</ref> Por exemplo, o logaritmo de {{Fmtn|1000}} na base 10 é 3 porque 10 elevado ao cubo é {{Fmtn|1000}} ({{nowrap|1 000 {{=}} ...

...uso de múltiplas camadas (variando de três a várias centenas ou milhares) na rede. Os métodos usados podem ser [[Aprendizagem supervisionada|supervision ...uma representação mais adequada para um algoritmo de classificação operar. Na abordagem de aprendizagem profunda, os recursos não são feitos à mão e o mo ...

...forças magnéticas que agem em bobinas imersas entre dois fortes [[ímã]]s, na parte anterior esquerda do disco (parte metálica com cobertura preta).]] ...elétrica quando em movimento — explicitamente a parcela que mostra-se nula na ausência de movimento de um dos dois, ou de ambos, no referencial adotado.< ...