[en] WHAT IS SKELETON OF A PROOF
[pt] Considere os seguintes dois tipos de transformções em demonstrações: 1) tornar uma prova mais incompleta, apagando um lema ou uma construção que sejam parte da prova e pondo no lugar um aviso dizendo isso é óbvio; 2) pegar um passo que foi provado por um isso é óbvio, aplicar algum algorit...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | pt |
| Published: |
MAXWELL
2004
|
| Subjects: | |
| Online Access: | https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=4645@1 https://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=4645@2 http://doi.org/10.17771/PUCRio.acad.4645 |