bn:01075545n
Noun Concept
Categories: Teoria da computação, Lógica matemática
PT
teoria da prova  teoria da demonstração  teoria das provas
PT
A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas. Wikipedia
Definitions
Relations
Sources
PT
A teoria das provas, teoria da prova ou teoria da demonstração é um ramo importante da lógica matemática que representa provas como objetos matemáticos, facilitando sua análise por técnicas matemáticas. Wikipedia
Wikipedia
Wikidata
Wikipedia Translations