Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/10609/57346
| Título : | Formal Proof : Understanding, writing and evaluating proofs, february 2010 |
| Autoría: | Clarisó, Robert  Huertas, M. Antonia |
| Director: | Megias, David |
| Otros: | Universitat Oberta de Catalunya |
| Resumen : | Material docente de la "Universitat Oberta de Catalunya". |
| Palabras clave : | pruebas formales estrategias de prueba investigación |
| Tipo de documento: | info:eu-repo/semantics/lecture |
| Fecha de publicación : | 1-feb-2010 |
| Licencia de publicación: | http://creativecommons.org/licenses/by-nc-nd/3.0/es/  http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
| Aparece en las colecciones: | Recursos de aprendizaje UOC Recursos Educativos UOC Abiertos |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| Formal Proof, Understanding, writing and evaluating proofs.pdf | Formal Proof; Understanding, writing and evaluating proofs | 330,01 kB | Adobe PDF |  Visualizar/Abrir |
Comparte:
Google Scholar
Microsoft Academic
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
