Subir material

Suba sus trabajos a SEDICI, para mejorar notoriamente su visibilidad e impacto

 

Propuesta de enseñanza de la formalización de la matemática utilizando un asistente de pruebas en estudiantes de la Licenciatura en Ciencias de la Computación

Tipo de documento: Objeto de conferencia

Resumen

En este trabajo proponemos realizar una actividad con estudiantes de Cs. de la Computación en donde se plantea la importancia de la formalización de la Matemática, y su abordaje a través del asistente de pruebas Coq. El objetivo es lograr que los estudiantes conozcan la existencia de este tipo de herramientas, adquieran destreza en formalizar las definiciones y enunciados, y puedan realizar pruebas formales de enunciados sencillos.

Información general

Fecha de exposición: octubre 2020
Fecha de publicación: 2020
Idioma del documento: Español
Evento: II Simposio Argentino de Educación en Informática (SAEI 2020) - JAIIO 49 (Modalidad virtual)
Institución de origen: Sociedad Argentina de Informática e Investigación Operativa
ISSN: 2683-8958
Páginas: 142-145

Descargar archivos

Thumbnail
Documento completo
Descargar archivo (269.0Kb) - PDF
Icon
Enlace externo
 
Creado el: 13 de abril de 2021
Disponible en SEDICI desde: 13 de abril de 2021
Por favor, utilice uno de estos identificadores(URI) para citar o enlazar este ítem:
  • http://sedici.unlp.edu.ar/handle/10915/116969

    • Este ítem aparece en la(s) siguiente(s) colección(ones)

    Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0) Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported (CC BY-NC-SA 3.0)