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

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 he...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Severín, Daniel, Hernández, Alejandro
Formato:	Objeto de conferencia
Lenguaje:	Español
Publicado:	2020
Materias:	Ciencias Informáticas Propuesta de enseñanza Formalización de la matemática Coq Funciones recursivas primitivas
Acceso en línea:	http://sedici.unlp.edu.ar/handle/10915/116969 http://49jaiio.sadio.org.ar/pdfs/saei/SAEI-12.pdf
Aporte de:	SEDICI (UNLP) de Universidad Nacional de La Plata

id	I19-R120-10915-116969
record_format	dspace
institution	Universidad Nacional de La Plata
institution_str	I-19
repository_str	R-120
collection	SEDICI (UNLP)
language	Español
topic	Ciencias Informáticas Propuesta de enseñanza Formalización de la matemática Coq Funciones recursivas primitivas
spellingShingle	Ciencias Informáticas Propuesta de enseñanza Formalización de la matemática Coq Funciones recursivas primitivas Severín, Daniel Hernández, Alejandro 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
topic_facet	Ciencias Informáticas Propuesta de enseñanza Formalización de la matemática Coq Funciones recursivas primitivas
description	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.
format	Objeto de conferencia Objeto de conferencia
author	Severín, Daniel Hernández, Alejandro
author_facet	Severín, Daniel Hernández, Alejandro
author_sort	Severín, Daniel
title	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
title_short	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
title_full	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
title_fullStr	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
title_full_unstemmed	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
title_sort	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
publishDate	2020
url	http://sedici.unlp.edu.ar/handle/10915/116969 http://49jaiio.sadio.org.ar/pdfs/saei/SAEI-12.pdf
work_keys_str_mv	AT severindaniel propuestadeensenanzadelaformalizaciondelamatematicautilizandounasistentedepruebasenestudiantesdelalicenciaturaencienciasdelacomputacion AT hernandezalejandro propuestadeensenanzadelaformalizaciondelamatematicautilizandounasistentedepruebasenestudiantesdelalicenciaturaencienciasdelacomputacion
bdutipo_str	Repositorios
_version_	1764820446625136642

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

Ejemplares similares