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:
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons