Empreu aquest identificador per citar o enllaçar aquest ítem:
http://hdl.handle.net/10609/57346
Títol: | Formal Proof : Understanding, writing and evaluating proofs, february 2010 |
Autoria: | Clarisó, Robert Huertas, M. Antonia |
Director: | Megias, David |
Altres: | Universitat Oberta de Catalunya |
Resum: | Material docent de la Universitat Oberta de Catalunya. |
Paraules clau: | CIRAX proves formals estratègies de prova recerca |
Tipus de document: | info:eu-repo/semantics/lecture |
Data de publicació: | 1-feb-2010 |
Llicència de publicació: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
Apareix a les col·leccions: | Recursos de aprendizaje UOC Recursos Educativos UOC Abiertos |
Arxius per aquest ítem:
Arxiu | Descripció | Mida | Format | |
---|---|---|---|---|
Formal Proof, Understanding, writing and evaluating proofs.pdf | Formal Proof; Understanding, writing and evaluating proofs | 330,01 kB | Adobe PDF | Veure/Obrir |
Comparteix:
Aquest ítem està subjecte a una llicència de Creative Commons Llicència Creative Commons