Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- Em [[Lógica matemática]], a '''hierarquia aritmética''', ou '''hierarquia de Kleene-Mostowski''' classifica certos [[Conjunto|conjuntos]] baseada na A hierarquia aritmética é importante em [[teoria da recursão]], [[Teoria descritiva dos ...21 kB (3 508 palavras) - 14h37min de 2 de janeiro de 2025
- ...ncial completo <math>2^{n^c}</math>), levando a duas versões diferentes da hierarquia exponencial:<ref>Sarah Mocas, Separating classes in the exponential-time hi ...3 kB (518 palavras) - 17h20min de 1 de fevereiro de 2023
- ...sobre as funções de <math>\mathbb{N}</math> em <math>\mathbb{N}</math>. A hierarquia analítica de conjuntos classifica-se pelas fórmulas que podem ser utilizada == A hierarquia analítica de fórmulas == ...8 kB (1 375 palavras) - 23h53min de 23 de fevereiro de 2015
- ...uma contrapartida limitada de recursos para a [[Hierarquia aritmética]] e Hierarquia analítica da [[Lógica matemática]]. Existem várias definições equivalentes para as classes de hierarquia polinomial. ...12 kB (1 926 palavras) - 18h38min de 6 de julho de 2024
- ...m taxas de funções crescentes. Intuitivamente, funções em níveis baixos da hierarquia crescem mais devagar que funções em níveis mais altos. Dessas funções definimos a hierarquia de Grzegorczy. <math>\mathcal{E}^n</math>, o ''n''-ésimo conjunto de hierar ...8 kB (1 298 palavras) - 16h30min de 13 de dezembro de 2024
- O '''problema de hierarquia '''é um [[Mistério|enigma]], em [[física teórica]], causado pela não-existê Existem várias maneiras diferentes de descrever essa hierarquia, cada uma destaca uma característica diferente do problema. Aqui está um ex ...3 kB (487 palavras) - 19h03min de 26 de junho de 2022
- [[Ficheiro:Hierarquia de Chomsky.PNG|thumb|350px|Hierarquia de Chomsky]] '''Hierarquia de Chomsky''' é a classificação de gramáticas formais descrita em 1959 pelo ...3 kB (494 palavras) - 16h36min de 8 de junho de 2023
- ...o de [[Número natural|Números Naturais]], {0, 1, ...}). Em contraste com [[Hierarquia de crescimento rápido]]. ...equência fundamental é atribuída a todo ordinal limite é menor que μ. A '''hierarquia de crescimento lento''' das funções ''g''<sub>α</sub>: '''N''' → '''N''' pa ...6 kB (810 palavras) - 00h39min de 14 de dezembro de 2020
- ...to e contável. Um exemplo primário é a '''hierarquia de Wainer''', ou a '''hierarquia de ''Löb-Wainer''', que trata-se de uma extensão para todo α < ε<sub>0</sub ...emo é o ordinal limite) é atribuída a cada ordinal limite menor que μ. Uma hierarquia de rápido crescimento de funções ''f''<sub>α</sub>: '''N''' → '''N''', para ...11 kB (1 657 palavras) - 19h08min de 14 de junho de 2020
- Na teoria da [[complexidade computacional]], os teoremas de hierarquia de tempo são importantes declarações sobre a limitação de tempo de computaç O '''teorema de hierarquia de tempo''' para as máquinas de Turing determinísticas foi testado por [[Ri ...13 kB (2 041 palavras) - 00h58min de 16 de novembro de 2022
- ...'' do que em espaço ''n''. O teorema análogo para o tempo é o [[teorema de hierarquia de tempo]]. ...quelas com limitantes maiores. Aqui vamos definir e provar o '''teorema de hierarquia do espaço'''. ...9 kB (1 463 palavras) - 18h26min de 12 de agosto de 2022
Resultados no conteúdo das páginas
- ...sobre as funções de <math>\mathbb{N}</math> em <math>\mathbb{N}</math>. A hierarquia analítica de conjuntos classifica-se pelas fórmulas que podem ser utilizada == A hierarquia analítica de fórmulas == ...8 kB (1 375 palavras) - 23h53min de 23 de fevereiro de 2015
- ...nomial_time_hierarchy.svg|right|thumb|350x350px|Representação pictórica da hierarquia tempo polinomial. As setas indicam a inclusão.]] ...em uma [[conjectura]] mais abrangente de que a hierarquia de classes de [[Hierarquia polinomial|complexidade de tempo polinomial]] é infinita.<ref name="jha">[[ ...7 kB (1 018 palavras) - 13h49min de 27 de dezembro de 2023
- O '''problema de hierarquia '''é um [[Mistério|enigma]], em [[física teórica]], causado pela não-existê Existem várias maneiras diferentes de descrever essa hierarquia, cada uma destaca uma característica diferente do problema. Aqui está um ex ...3 kB (487 palavras) - 19h03min de 26 de junho de 2022
- ...o de [[Número natural|Números Naturais]], {0, 1, ...}). Em contraste com [[Hierarquia de crescimento rápido]]. ...equência fundamental é atribuída a todo ordinal limite é menor que μ. A '''hierarquia de crescimento lento''' das funções ''g''<sub>α</sub>: '''N''' → '''N''' pa ...6 kB (810 palavras) - 00h39min de 14 de dezembro de 2020
- ...ncial completo <math>2^{n^c}</math>), levando a duas versões diferentes da hierarquia exponencial:<ref>Sarah Mocas, Separating classes in the exponential-time hi ...3 kB (518 palavras) - 17h20min de 1 de fevereiro de 2023
- ...to e contável. Um exemplo primário é a '''hierarquia de Wainer''', ou a '''hierarquia de ''Löb-Wainer''', que trata-se de uma extensão para todo α < ε<sub>0</sub ...emo é o ordinal limite) é atribuída a cada ordinal limite menor que μ. Uma hierarquia de rápido crescimento de funções ''f''<sub>α</sub>: '''N''' → '''N''', para ...11 kB (1 657 palavras) - 19h08min de 14 de junho de 2020
- ...uma contrapartida limitada de recursos para a [[Hierarquia aritmética]] e Hierarquia analítica da [[Lógica matemática]]. Existem várias definições equivalentes para as classes de hierarquia polinomial. ...12 kB (1 926 palavras) - 18h38min de 6 de julho de 2024
- ...m taxas de funções crescentes. Intuitivamente, funções em níveis baixos da hierarquia crescem mais devagar que funções em níveis mais altos. Dessas funções definimos a hierarquia de Grzegorczy. <math>\mathcal{E}^n</math>, o ''n''-ésimo conjunto de hierar ...8 kB (1 298 palavras) - 16h30min de 13 de dezembro de 2024
- ...'' do que em espaço ''n''. O teorema análogo para o tempo é o [[teorema de hierarquia de tempo]]. ...quelas com limitantes maiores. Aqui vamos definir e provar o '''teorema de hierarquia do espaço'''. ...9 kB (1 463 palavras) - 18h26min de 12 de agosto de 2022
- [[Ficheiro:Hierarquia de Chomsky.PNG|thumb|350px|Hierarquia de Chomsky]] '''Hierarquia de Chomsky''' é a classificação de gramáticas formais descrita em 1959 pelo ...3 kB (494 palavras) - 16h36min de 8 de junho de 2023
- ...eorema de Post''',em homenagem à [[Emil Post]], descreve a conexão entre [[hierarquia aritmética]] e os [[Grau de Turing|graus de Turing]]. A [[hierarquia aritmética]] classifica os conjuntos de números naturais que são definíveis ...6 kB (1 094 palavras) - 13h48min de 27 de dezembro de 2023
- ...rema afirma que, essencialmente, existem grandes intervalos computáveis na hierarquia das [[classe de complexidade|classes de complexidade]]. Para qualquer [[fu ...NP, e não contradiz o [[teorema de hierarquia de tempo]] ou o [[teorema de hierarquia de espaço]]. ...4 kB (567 palavras) - 15h17min de 27 de setembro de 2024
- ...computabilidade|teoria da recursão]], tais como a [[Hierarquia aritmética|hierarquia da aritmética]], quantificadores delimitados não acrescentam complexidade. ...el na hierarquia de tempo-linear, a qual é definida de modo semelhante à [[hierarquia polinomial]], mas com limites lineares de tempo em vez de polinomial. Conse ...6 kB (941 palavras) - 16h42min de 18 de janeiro de 2025
- ==Teorema da Hierarquia== ...4 kB (629 palavras) - 11h37min de 27 de dezembro de 2023
- ...so de von Neumann''', '''hierarquia de von Neumann dos conjuntos''', ou '''hierarquia cumulativa''', abreviado '''V''', é uma [[classe (matemática)|classe]] defi A denominação ''hierarquia cumulativa'' é usada pois '''V''' está definida sobre os ordinais, de modo ...5 kB (755 palavras) - 12h28min de 22 de dezembro de 2018
- ...bre conjuntos. Um conjunto é classificado a nível <math>\Pi _1^1</math> da hierarquia analítica se é definível por uma fórmula aritmética de segunda ordem, com a === Conjuntos hiperaritméticos e saltos de Turing Iterados: a hierarquia hiperaritmética === ...13 kB (2 175 palavras) - 03h21min de 9 de dezembro de 2022
- ...mada de linguagem Turing-reconhecível. Também é conhecida como tipo-0 na [[hierarquia de Chomsky]] das linguagens formais. ...(complexity)|complemento]] [[co-RE]], correspondem ao primeiro nível da [[hierarquia aritmética]]. ...3 kB (486 palavras) - 16h17min de 1 de janeiro de 2024
- ...lema do isomorfismo de grafos fosse NP-completo, a [[Hierarquia Polinomial|hierarquia polinomial]] colapsaria, então suspeita-se que ele não o seja. ...3 kB (482 palavras) - 15h57min de 6 de dezembro de 2024
- ...'''Universo construtível''' (ou '''Universo construtível de Gödel''' ou '''Hierarquia construtível'''), denotado por '''L''', é uma [[classe]] de [[conjuntos]] d '''L''' é definido numa hierarquia de níveis que são [[função (matemática)|função]] dos [[Número ordinal|ordin ...3 kB (503 palavras) - 13h21min de 29 de dezembro de 2018
- ...Post estabelece um relacionamento entre o operador de Salto de Turing e a hierarquia aritmética de conjuntos pertencentes ao conjunto dos números naturais. Info ...o vazio. Para um {{math|''n''}} finito, esses conjuntos são relacionados à hierarquia aritmética. ...6 kB (888 palavras) - 12h31min de 20 de maio de 2019