Ubuntu
kubuntu-docs package

Browsing Brazilian Portuguese translation

  1. Precise (12.04)
  2. Template “kubuntu-docs-development”
  3. Brazilian Portuguese (pt_BR)
  4. Browsing Brazilian Portuguese transla...
47 of 193 results First • • • Last
47.
<application>Coq</application> is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an <acronym>IDE</acronym> for semi-interactive development of machine-checked proofs. It is developed using the Objective Caml language (<ulink url="http://caml.inria.fr/ocaml/index.en.html"><trademark>OCaml</trademark></ulink>, with a bit of C. A complete reference manual, standard library, and other documents can be found on the <application>Coq</application> website. This is specialized software requiring a significant knowledge of formal mathematical theory, even if your intent is to develop or test software algorithms.
O <application>Coq</application> é um sistema de gerenciamento de provas formais. Ele fornece uma linguagem formal para escrita de definições matemáticas, algoritmos executáveis e teoremas, junto com um <acronym>IDE</acronym> para desenvolvimento semi-interativo de provas verificadas por computador. É desenvolvido usando a linguagem Objective Caml (<ulink url="http://caml.inria.fr/ocaml/index.en.html"><trademark>OCaml</trademark></ulink>, com um pouco de C. Um manual de referência completo, biblioteca padrão e outros documentos podem ser encontrados na página do <application>Coq</application>. Este é um programa especializado que requer um conhecimento significativo de matemática teórica, mesmo que seu intento seja desenvolver ou testar algoritmos de programas.
Translated and reviewed by Neliton Pereira Jr.
Located in docs/development/C/development.xml:249(para)
47 of 193 results First • • • Last

This translation is managed by Ubuntu Brazilian Portuguese Translators, assigned by Ubuntu Translators.

You are not logged in. Please log in to work on translations.