Resultados da pesquisa

...vo | regras sintáticas]] - uma vez que estas regras devem ser estritamente formais - a [[intencionalidade autoral|intenção do autor]] com relação à interpreta A maioria dos sistemas formais têm muito mais modelos do que se pretendia que eles tivessem (a existência ...

...er conferidas automaticamente com o uso do computador. Conferir derivações formais normalmente é uma tarefa trivial, enquanto que ''encontrar'' tais derivaçõe ...ar estes elementos. Derivações formais são expressos em algumas linguagens formais. ...

* [[Linguagens formais e compiladores]] [[Categoria:Métodos formais]] ...

As manipulações formais que conduzem a 1 − 1 + 1 − 1 + · · · sendo atribuído um valor de <sup>1</su ...ssas manipulações e que atribuem uma "suma" à série de Grandi. Dois destes métodos mais simples são: [[soma de Cesàro]] e [[Série divergente#Soma de Abel|soma ...

...e disponibilizada através de comentários ou através de declarações lógicas formais (''assertions'').<ref>{{Citar web |url=http://www.csse.monash.edu.au/~hws/c ...e um objeto pois devem ser acessadas somente pelos "[[Método (programação)|métodos de acesso]]". Historicamente, as interfaces são derivadas dos arquivos de c ...

...|Tableaux semânticos]] é um método de prova para [[Sistema formal|sistemas formais]], tais como, [[dedução natural]] de [[Gerhard Gentzen|Gentzen]], [[cálculo * Evert W. Beth, ''[[Métodos formais|Formal Methods]]: An introduction to symbolic logic and to the study of eff ...

...ma de interação da entidade com o mundo exterior, através da separação dos métodos de comunicação externa dos detalhes internos da operação, permitindo que es ...e disponibilizada através de comentários ou através de declarações lógicas formais (''assertions'').<ref>{{Citar web |url=http://www.csse.monash.edu.au/~hws/c ...

...linguagem como sendo "um conjunto de elementos (símbolos) e um conjunto de métodos (regras) para combinar estes elementos, usado e entendido por uma determina Assim, podemos dizer que "linguagens formais" são mecanismos formais para representação e especificação de linguagens, baseados na chamada "[[te ...

Cálculos formais podem levar a resultador que são errados em um contexto, mas corretos em ou ...|1-1+1-1+...]] é divergente, mas ainda se pode atribuir um valor a ela com métodos alternativos de [[somatório]], como a [[Soma de Cesàro]]. O valor resultant ...

[[Categoria:Métodos formais]] ...

...ca dos termos primitivos, mas em vez disso, confiar apenas em manipulações formais justificadas por axiomas. Este livro é o ponto de partida para: ...

...na história antiga da economia formal, mas aparece nos modelos econômicos formais apenas a partir do final da década de 1930, com o modelo de [[equilíbrio de [[Categoria:Métodos quantitativos em economia]] ...

Na [[linguagem formal|teoria de linguagens formais]], uma '''linguagem livre de contexto '''(LLC) é uma [[linguagem formal|lin ...do bombeamento para linguagens livres de contexto]] ou uma série de outros métodos, como o [[Lema de Ogden]] ou Teorema de Parikh.<ref>[http://cs.stackexchang ...

...leituras intuitivas são de propósito meramente pedagógico. Como as provas formais na [[teoria da prova]] são puramente [[Sintaxe|sintáticas]], a [[semântica] ...os de cálculo para a [[lógica intuicionista]]. Similarmente, pode-se obter métodos de cálculo para a [[lógica intuicionista dual]], que é um tipo de [[lógica ...

...lacionadas com a expressividade dos métodos de descrição e com os sistemas formais. ...ilidade prévia semi-computável concebível. Isto constitui-se no núcleo dos métodos de inteligência artificial MDL (minimum description length) e MML (minimum ...

...ca. O teorema fornece uma ligação inesperada entre a teoria das linguagens formais e [[álgebra abstrata]]. ...a das quais é a série de potência algébrica L (x). Através da aplicação de métodos de [[análise complexa]] a esta equação, o número <math>a_n</math> de palav ...

Existe uma relação entre ordinais computáveis e alguns sistemas formais (contendo aritmética, isto é, pelo menos, um fragmento de razoável aritméti Para ir muito além do ordinal Feferman-Schütte, é necessário introduzir novos métodos. Infelizmente, ainda não há nenhuma maneira padrão de fazer isso: cada auto ...

...onstrução e simulação de autômatos finitos e conversão para outros modelos formais. ...ulador de Autômatos] - Software para criação, teste e conversão de Modelos Formais. Com interface gráfica. ...

...s formais de hoje em dia. As duas teorias(citadas acima) de primeira ordem formais foram pensadas por outros, esclarecendo e refinando as teorias de Whitehead ...

Enquanto algoritmos formais já existem há milênios ([[algoritmo de Euclides]] para determinar o [[máxim ...o XX que decolou na década de 1990, quando [[Peter Shor]] mostrou que tais métodos podem ser utilizados para fatorar grandes números em tempo polinomial, que, ...