Resultados da pesquisa

{{Wikificação|data=julho de 2012}} ...re o problema de alcance dos [[Teoria dos grafos|grafos]] e a complexidade de classes. ...

...r de um dado AFND (possivelmente através de um [[algoritmo]] de construção de subconjuntos), o que torna a implementação viável. ...mente se encontrar após estar em um estado <math>q</math> lendo um símbolo de entrada <math>a</math>. Assim, podemos definir um autômato finito não deter ...

...acionada com o ''espaço'' utilizado por uma máquina seqüencial. A tese de computação paralela foi estabelecido por Chandra e Larry Stockmeyer em 1976<ref>* [htt ...namento para alguma constante k. Da mesma forma, se uma máquina no modelo de desramificação decide uma linguagem utilizando não mais do que <math>s(n)</ ...

...de modelos''' (do inglês, '''Model Checking''') refere-se ao [[problema]] de testar automaticamente se um [[modelo]] que representa um [[sistema]] atend ...ção]] e suas especificações contém requisitos de segurança como a ausência de [[deadlock]]s e comportamentos similares que podem levar o sistema a [[Trav ...

...funções semânticas definidas composicionalmente, que representam o efeito de executar uma estrutura. Na semântica denotacional o efeito da computação interessa mais que como ela é produzida. ...

...ath>_j'' seja uma sentença verdadeira (sob a interpretação usual de '<math>\to </math>'). Estes requisitos asseguram que todas as sentenças [[D ...e verdadeira). Todos os modelos são interpretações que têm o mesmo domínio de discurso daquele que se pretedia, mas outras atribuições para [[Símbolo não ...

{{Sem-fontes|data=junho de 2015}} ...tituição'' usado para criar cadeias lógias a partir de determinadas regras de reescrita. ...

{{mais notas|data=dezembro de 2011| arte=| Brasil=| ciência=| geografia=| música=| Portugal=| sociedade=| {{Wikificação|data=dezembro de 2011}} ...

...unto; o mesmo rótulo pode aparecer em mais de uma transição. Se o conjunto de rótulos é um [[conjunto unitário]], o sistema é essencialmente sem rótulo, ...ante neste artigo) e [[Grafo orientado|grafos direcionados]]. Eles diferem de autômatos finitos em várias maneiras: ...

[[File:Een deel van de publicaties van EW Beth.png|thumb]] '''Evert Willem Beth''' (7 de julho de 1908 &#x2013; 12 de abril de 1964) foi um [[Filosofia|filósofo]] e [[Lógica|lógico]] [[holandês]], que t ...

...memória para uma [[máquina de Turing]]. Este representa o quantidade total de memória que um computador físico "normal" precisaria para solucionar um dad ...dada sua relevância para solução de um problema real: qual é a quantidade de memória necessária para resolver um dado problema com um dado algoritmo. ...

...edia|Springer]]}}</ref> Eles também herdam dos GLMs a ideia de estender os modelos lineares mistos a dados [[Distribuição normal|não normais.]] ...mo um efeito aleatório. Esses modelos são úteis na análise de muitos tipos de dados, incluindo [[Estudo longitudinal|dados longitudinais]].<ref>{{Citatio ...

...bilidade de resultados é o [[teorema da compacidade]], que não funciona em modelos finitos. ...O segundo jogador ganha se houve isomorfismo entre os elementos escolhidos de duas estruturas. ...

{{Mais notas|data=setembro de 2021}} ...glês|editora=Birkhäuse|ano=1997|isbn=9780387949079}}</ref> é uma [[máquina de Turing]] que para qualquer entrada. ...

...ormal]] de tal forma que se <math>\boldsymbol{\Gamma}</math> é um conjunto de sentenças e se <math>\boldsymbol{\alpha}</math> é uma sentença, então podem significa que o conjunto de sentenças de <math>\boldsymbol{\Gamma}</math> acarreta, ou tem como consequência semânti ...

{{Mais notas|data=agosto de 2021}} |data_da_última_versão ={{data de lançamento|ano=2015|mês=12|dia=15}}<ref>{{citar web|url=http://openfoam.org ...

...em comparações de quantidades, sendo as comparações atribuidas uma unidade de custo computacional. ...a série de pedidos e a saída é uma decisão final. Cada pedido é dependente de pedidos anteriores. ...

...do a máquina do estado atual para o próximo estado e realizando a operação de dados especificada. * S é o conjunto de estados simbólicos, ...

...recentes no campo tem explorado o projeto de agentes que atuam no processo de aprendizado, como [[meta-aprendizes]] ou [[aprendizado por reforço]]. ...o a capacidade de agentes aprendizes. Uma definição formal para o conceito de máquinas aprendizes é dado em Mitchell<ref>{{Citar livro|url=https://www.wo ...

...106-6}}</ref> Os algoritmos de memória externa são analisados no '''modelo de memória externa'''. ...iaturadaimagem| O cache à esquerda contém <math>\tfrac{M}{B}</math> blocos de tamanho <math>B</math> cada, totalizando {{Mvar|M}} objetos. A memória exte ...