Resultados da pesquisa
Saltar para a navegação
Saltar para a pesquisa
Resultados no título das páginas
- ...ltará em um elemento comum atingido a partir de cada escolha possível para reescrita do termo. ...a de reescrita formado pela aritmética básica é um sistema de reescrita de termos confluente. ...9 kB (1 326 palavras) - 08h02min de 9 de julho de 2019
Resultados no conteúdo das páginas
- ...podem ser reescritos usando uma lista finita, ou infinita, de regras de [[reescrita]] ...reescrita de termos, cálculo lambda sob [[conversão lambda]] e [[sistemas de redução combinatória]]. ...4 kB (634 palavras) - 18h23min de 12 de setembro de 2017
- Em [[Sistemas de Reescrita de Termos|sistemas de reescrita de termos]], dizemos que um termo está na '''forma normal''' se não é possível aplica ...estudar sistemas de reescrita de termos quanto as características dos seus termos com a relação as formas normais. ...6 kB (882 palavras) - 08h01min de 9 de julho de 2019
- ...o resultado da substituição ''s'' aplicado a <math>r_2</math> do subtermo de <math>l_1</math> usado na unificação. ...as, de modo que não haja variáveis em comum entre elas, exista um subtermo de <math>l_1</math> (ou ele próprio), que não seja uma variável, que possa ser ...9 kB (1 490 palavras) - 08h02min de 9 de julho de 2019
- ...gnifica que para cada termo, existe pelo menos uma sequência específica de reescrita que eventualmente conduz a uma forma normal, i.e. a um termo irredutível. ...sidere o termo <math>\lambda x . x x x</math>. Ele tem a seguinte regra de reescrita: para qualquer termo, <math>t</math>, ...3 kB (514 palavras) - 21h28min de 11 de setembro de 2017
- ...de propriedades sobre [[sistema de reescrita de termos]] sem a necessidade de nos preocuparmos com a natureza dos objetos que são reescritos. === Sistema de Redução Abstrato === ...3 kB (390 palavras) - 07h59min de 9 de julho de 2019
- ...h> o grafo usado como padrão (no lado esquerdo) e <math>\,R</math> o grafo de substituição (no lado direito da regra). ...rafos]]) e substituindo a ocorrência encontrada por uma instância do grafo de substituição. ...8 kB (1 275 palavras) - 08h41min de 17 de março de 2025
- ...ltará em um elemento comum atingido a partir de cada escolha possível para reescrita do termo. ...a de reescrita formado pela aritmética básica é um sistema de reescrita de termos confluente. ...9 kB (1 326 palavras) - 08h02min de 9 de julho de 2019
- {{Sem-fontes|data=junho de 2015}} ...uição'' usado para criar cadeias lógias a partir de determinadas regras de reescrita. ...2 kB (293 palavras) - 00h34min de 10 de janeiro de 2023
- {{mais-fontes|data=janeiro de 2010}} ...norueguês]] [[Axel Thue]], que iniciou tratamentos sistemáticos à sistemas de cadeia reescritos nos princípios do [[século XX]]. ...3 kB (420 palavras) - 19h07min de 2 de fevereiro de 2020
- ...fos''' é um mapeamento entre dois [[grafo]]s que respeita suas estruturas. De forma mais concreta ele mapeia vértices adjacentes a vértices adjacentes. ...h> do conjunto de vértices de <math>\,G</math> para o conjunto de vértices de <math>\,G'</math> tal que <math>\{f(u),f(v)\}\in E'</math> sempre que <math ...5 kB (880 palavras) - 02h01min de 9 de agosto de 2022
- ...através da inclusão em um arquivo de cabeçalho da linguagem C++ ou através de links para uma biblioteca. O seguinte fragmento de programa inverte a matriz ...7 kB (995 palavras) - 20h54min de 16 de abril de 2020
- {{Sem notas|data=dezembro de 2016}} ...liza um [[sistema termodinâmico]] em contato com um reservatório térmico e de partículas, com [[temperatura]] e [[potencial químico]] fixos. ...4 kB (803 palavras) - 20h20min de 8 de outubro de 2024
- {{Mais fontes|ciência=sim|data=Março de 2011}} ...res}}</ref> Hoje, os MDFs são a abordagem dominante das soluções numéricas de [[equação diferencial parcial|equações diferenciais parciais]].<ref name="G ...10 kB (1 799 palavras) - 18h09min de 16 de novembro de 2024
- ...sência de contradição pode ser definida tanto em termos sintáticos como em termos semânticos. A definição semântica diz que uma teoria é consistente, [[se e ...von Neumann (1927) e Herbrand (1931). Lógicas mais fortes, como a [[lógica de segunda ordem]], não são completas. ...11 kB (1 834 palavras) - 20h14min de 17 de novembro de 2023
- ...Alfabeto (ciência da computação)|alfabeto]] da linguagem ― que são válidas de acordo com a [[Análise sintática (computação)|sintaxe]] da linguagem. Uma g * gramática de um [[linguagem formal]]; ...22 kB (3 474 palavras) - 01h43min de 5 de setembro de 2024
- {{mais notas|data=dezembro de 2015}} ...''oscilador harmônico''' é um sistema que, quando deslocado de sua posição de equilíbrio, sofre uma força restauradora ''F'' [[Proporcionalidade|proporci ...18 kB (3 011 palavras) - 01h49min de 1 de junho de 2023
- ...é usado para minimizar a energia de alongamento de ligação desta molécula de [[etano]].]] ...ersidade de Utah]], Tom Darden no NIEHS, Ken Merz na Universidade Estadual de Michigan, [[Carlos Simmerling]] na [[Universidade Stony Brook]], Ray Luo na ...9 kB (1 553 palavras) - 21h27min de 17 de abril de 2024
- ...tidades que podem ser utilizadas como argumentos e retornadas como valores de outras funções. ...stema de tipos|sistemas de tipos]] e [[Linguagem de programação|linguagens de programação]]). ...39 kB (6 369 palavras) - 06h29min de 8 de outubro de 2024
- ...os para a [[Lógica de primeira ordem]], mas é do interesse de outras áreas de pesquisa também. ...mas de Hilbert para a [[lógica modal]] proposicional, chamados de Sistemas de Hilbert-Lewis, são geralmente axiomatizados com mais duas regras adicionais ...16 kB (2 526 palavras) - 01h01min de 15 de outubro de 2024
- [[Imagem:PenduloTmg.gif|thumb|Animação de um pêndulo]] [[Imagem:simple pendulum height.png|thumb|Trigonometria de um pêndulo gravitacional simples.|right|300px]] ...10 kB (1 451 palavras) - 13h01min de 19 de março de 2018