Resultados da pesquisa

...emente, '''RE''' é uma classe de problemas de decisão para que uma máquina de Turing pode listar todas as instâncias "sim", uma por uma (isto é o que 'en ...linguagens em que a pertinência pode ser refutada em uma quantidade finita de tempo, mas provar a pertinência poderá levar uma eternidade. ...

Em [[matemática]], um '''número de Sierpiński''' é um [[número natural]] ímpar ''k'' tal que inteiros da forma Em outras palavras, quando ''k'' é um número de Sierpiński, todos os membros do seguinte [[conjunto]] são [[Número composto ...

{{sem-notas|data=Dezembro de 2013}} ...upo de Galois]] sobre <math>\mathbb{Q}</math> seja abeliano, é um subcorpo de um [[corpo ciclotômico]], ou seja, um corpo obtido ao adicionar-se uma [[ra ...

{{Sem notas|data=agosto de 2021}} Em [[fundamentos da matemática]], a '''teoria dos conjuntos de Von Neumann-Bernays-Gödel (NGB)''' ...

{{Mais notas|data=julho de 2016}} ...roblemas para qual existe a prova, de forma eficiente, para não existência de instância, os chamados contra-exemplos. ...

{{Mais notas|data=julho de 2016}} ...ser resolvidos por uma máquina de Turing usando uma quantidade polinomial de espaço. ...

...guagem natural. Monitorando a resposta dos clientes, diante do  lançamento de produtos e sua aceitação no mercado influencia preços, indica pontos positi == Módulos de Classificação == ...

{{sem notas|data=julho de 2011| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so {{mais fontes|data=abril de 2017}} ...

{{Sem-fontes|data=dezembro de 2011| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so ...]] para [[Máquina oráculo|Máquinas oráculo]]. É uma contrapartida limitada de recursos para a [[Hierarquia aritmética]] e Hierarquia analítica da [[Lógic ...

{{sem notas|data=fevereiro de 2011| angola=| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| so Em [[matemática]], a '''[[função zeta]] de Dedekind''' é uma [[série de Dirichlet]] definida para qualquer [[corpo numérico algébrico]] <math>K</ma ...

...o ditos '''disjuntos''' se não tiverem nenhum elemento em comum. Em outras palavras, dois conjuntos são disjuntos se sua [[interseção]] for o [[conjunto vazio] ...untos. Mais formalmente falando, seja <math>A_\lambda\,</math> uma família de conjuntos disjuntos indexados pelo índice <math>\lambda\in\Lambda\,</math>, ...

...diretamente uma quantidade de elementos, ou, indiretamente, por estrutura de ordem. ...tegram, o equivalente a um adjetivo: ''numerais adjetivos''). Numerais são palavras flexíveis ou variáveis e, pois, flexionam ou variam em número e em gênero. ...

...s diagram.svg|thumb|A relação suspeita entre '''BQP''' para outros espaços de problemas<ref>Michael Nielsen and Isaac Chuang (2000). ''Quantum Computatio ...de até 1/3 para todas as instâncias. É a classe quântica análoga da classe de complexidade '''[[BPP]]'''. ...

...ação]] em ''G''. Tais funções desempenham um papel fundamental na [[teoria de representação]]. ...ntro (álgebra)|centro]] do [[anel de grupo]] ''K''[''G'']. Aqui uma função de classe ''f'' é identificado com o elemento <math> \sum_{g \in G} f(g) g</ma ...

...z que, se um conjunto for dividido em duas partes de modo que os elementos de uma parte são sempre menores que os da outra parte, então existe um ponto q ...each it (and why we shouldn't teach mathematical induction in our calculus classes'') [http://faculty.uml.edu/jpropp/dedekind.pdf <nowiki>[em linha]</nowiki>] ...

...o padrão espaço <math>L^p</math>. Portanto, se <math>X</math> é o conjunto de números complexos, é o Lebesgue padrão espaço <math>L^p</math>.<ref>{{Citar ...> são espaços de Banach para <math>1 \leq p \leq \infty.</math> Os espaços de Bochner são nomeados em homenagem ao matemático [[Salomon Bochner]].<ref>{{ ...

...m espaço ''n''. O teorema análogo para o tempo é o [[teorema de hierarquia de tempo]]. ...e aquelas com limitantes maiores. Aqui vamos definir e provar o '''teorema de hierarquia do espaço'''. ...

Em [[estatística]] e em [[teoria das probabilidades]], '''matriz de covariância''' é uma [[Matriz (matemática)|matriz]], simétrica, que sumariz Se os elementos de um [[vetor coluna]] ...

...mplexidade]], o '''problema do isomorfismo de subgrafos''' é um [[problema de decisão]] que se sabe ser [[NP-completo]]. Isomofismo de Subgrafos <math>(G_1, G_2)</math><br /> ...

...] que não é <!--[[:en:Vertical tangent]]-->vertical em cada ponto interior de seu domínio. Uma função diferenciável é [[Função suave|suave]] (a função é ...função contínua sobre o domínio da função <math display="inline">f</math>. De um modo geral, diz-se que {{Mvar|f}} é da classe {{Em|<math>C^k</math>}} se ...