O Que é FORMAL PROOFS em Português

• provas formais
• derivações formais

Exemplos de uso de Formal proofs em Inglês e suas traduções para o Português

Formal proofs are expressed in some formal language.
Derivações formais são expressos em algumas linguagens formais..

In first-order logic, it is often used as a rule for the existential quantifier(∃) in formal proofs.
Na lógica de primeira ordem, é frequentemente utilizada a regra para o quantificador existencial(∃) em provas formais.

Formal proofs are constructed with the help of computers in interactive theorem proving.
Provas formais são construídas para ajudar computadores na teoria da prova iterativa.

The price paid for the simple syntax of a Hilbert-style system is that complete formal proofs tend to get extremely long.
O preço pago pela sintaxe simples de um sistema de Hilbert é que as provas formais completas tendem a ficar extremamente longas.

Formal proofs are useful because their theorems can be interpreted as true propositions.
Provas formais são úteis porque os seus teoremas podem ser interpretados como proposições verdadeiras.

The point of view that generating formal proofs is all there is to mathematics is often called formalism.
O ponto de vista de que a geração de provas formais é tudo que existe para a matemática é, frequentemente, chamado de formalismo.

Formal proofs often are constructed with the help of computers in interactive theorem proving.
As derivações formais muitas vezes são construídas com a ajuda de computadores através da demonstração interativa de teoremas.

Walsh spectrum:(2,0,0,2) Nonlinearity: 0(the function is linear) Like all connectives in first-order logic, the biconditional has rules of inference that govern its use in formal proofs.
Walsh spectrum:(2,0,0,2) Nãolinearidade: 0(a função é linear) Como todos os conectivos em lógica de primeira ordem, a bicondicional tem regras de inferência que governam seu uso em provas formais.

Checking formal proofs is usually simple, whereas"finding" proofs(automated theorem proving) is generally hard.
Normalmente, as verificações de provas formais são simples, enquanto que encontrar as provas(prova automática de teoremas) é geralmente difícil.

Ii The Member States shall provide the Committee provided for in Article 27 with models of the different types of administrative documents, in accordance with the typology established in the list of formal proofs.
Ii Os Estados-Membros apresentarão ao Comité referido no artigo 27.o modelos dos diferentes tipos de documentos administrativos, de acordo com a tipologia estabelecida na lista de provas formais.

The informal proofs of everyday mathematical practice are unlike the formal proofs of proof theory.
Derivação formal As provas informais da pratica matemática no dia-a-dia são diferentes das provas formais da teoria da prova..

For the analytically tractable general case of Arrow-Debreu goods, formal proofs came in 1972 for determining the condition of no losers in moving from autarky toward free trade.
Para o caso geral dos bens de Arrow-Debreu, provas formais surgiram em 1972 para a determinação das condições em que a passagem de autarquia para comércio livre não tem prejuízo para nenhuma das entidades.

Formal proofs===A"formal proof" is a sequence of well-formed formulas of a formal language, the last of which is a theorem of a formal system.
Provas formais===Uma prova formal é uma sequência de fórmulas bem formadas de uma linguagem formal, a última da qual é um teorema de sistemas formais..

Testing is commonly used to check conformance in contract-based programs, as verifica- tion by formal proofs is hard to scale and static analysis is, sometimes, limited for detecting general nonconformances.
Teste é comumente usado para verificar conformidade em programas baseados em contrato; uma vez que verificação por provas formais tem baixo poder de escalabilidade e análise estática é, em alguns casos, limitada para identificar não-conformidades mais gerais.

Since formal proofs in proof theory are purely syntactic, the meaning of(the derivation of) a sequent is only given by the properties of the calculus that provides the actual rules of inference.
Como as provas formais na teoria da prova são puramente sintáticas, a semântica de(ou da derivação de) um sequente é dada apenas pelas propriedades do cálculo que dita as regras de inferência.

These include various types of integer programming problems in operations research, many problems in logistics, protein structure prediction in biology, and the ability to find formal proofs of pure mathematics theorems.
Estes incluem vários tipos de problemas de programação inteira em investigação operacional, muitos problemas na área de logística, previsão da estrutura de proteínas na biologia, e capacidade de encontrar provas formais de teoremas da matemática pura.

And, indeed, without formal proofs of the existence and the authority in primitive times of an Apostolic Tradition, it is plain that there must have been such a tradition, granting that the Apostles conversed, and their friends had memories, like other men.
E, na verdade,(mesmo) sem provas formais da existência e da autoridade nos primeiros tempos de uma Tradição Apostólica, é claro que deve ter havido uma tal tradição, supondo que os Apóstolos conversassem, e seus amigos tivessem lembranças, como outros homens.

The analogy between formal mathematical proofs and thought experiments appears from the fact that we are used to consider formal proofs as calculations or logical derivations, in which the variables are substitutional.
A analogia entre provas matemáticas formais e experimentos mentais surge do fato de que somos acostumados a considerar as provas formais como cálculos ou derivações lógicas, nas quais as variáveis são substitucionais.

John Hopcroft brought everyone at the conference to a consensus that the question of whether NP-complete problems are solvable in polynomial time should be put off to be solved at some later date, since nobody had any formal proofs for their claims one way or the other.
John Hopcroft levou todos ao consenso na conferência que a questão de se os problemas NP-completo são resolvíveis em tempo polinomial deveria ser adiada para ser resolvida em uma data posterior, pois ninguém tinha uma prova formal de suas afirmações de uma maneira ou de outra.

It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification.
Ele permite a expressão de asserções matemáticas, verifica mecanicamente as provas destas asserções, auxilia a encontrar provas formais e extrai um programa certificado a partir da prova construtiva de sua especificação formal..

External links==*Axiom of Choice and Its Equivalents at ProvenMath includes formal statement of the Axiom of Choice, Hausdorff's Maximal Principle, Zorn's Lemma and formal proofs of their equivalence down to the finest detail.
Ver também====Ligações externas==*Axiom of Choice and Its Equivalents at ProvenMath includes formal statement of the Axiom of Choice, Hausdorff's Maximal Principle, Zorn's Lemma and formal proofs of their equivalence down to the finest detail.

Similarly, Stephen Cook says… it would transform mathematics by allowing a computer to find a formal proof of any theorem which has a proof of a reasonable length, since formal proofs can easily be recognized in polynomial time.
De acordo com Stephen Cook,… seria transformar a matemática, deixando que um computador encontre uma prova formal de qualquer teorema que tem uma prova de um tamanho razoável, uma vez que as provas formais podem ser facilmente reconhecidas em tempo polinomial.

A formal proof of the powerset construction is given here.
Uma prova formal desta construção do conjunto das partes pode ser encontrada aqui.

One example of such a formal proof is as follows.
Um exemplo de uma prova formal é tal como se segue.

Exemptions from formal proof of origin.
Isenções da prova formal de origem.

Is to make the formal proof argument of why this is true.
É elaborar a prova formal de porque é que isto é verdadeiro.

A formal proof follows.
Segue-se uma prova formal.

They are rather like high-level sketches that would allow an expert to reconstruct a formal proof at least in principle, given enough time and patience.
Eles são como esboços que permitem que um especialista reconstrua a prova formal pelo menos em princípio, dando tempo e paciência suficiente.

Will be given a formal proof of validity of this result, also enabling future works upon statement submitted.
Será dada uma prova formal de validação deste resultado, possibilitando ainda futuros trabalhos em cima de afirmações apresentadas.

This refers to formal proof which determines responsibility pursuant to this Regulation, as long as it is not refuted by proof to the contrary.
Trata-se das provas formais que estabelecem a responsabilidade de acordo com o presente regulamento, desde que não sejam refutadas por provas em contrário;