Estudio y desarrollo de herramientas sobre probadores de teoremas

El aumento en el uso de las herramientas para la especificación y verificación de programas dentro de la industria de hardware y de software estaría revelando en el ámbito de las carreras de grado universitarias la necesidad de preparar a los estudiantes en el campo de las tecnologías de la verifica...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Inchaurrondo, Claudia Inés, Montejano, Germán Antonio, Figueiredo, Lucília Camarão de
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2011
Materias:
Ciencias Informáticas
aprendizaje
SOFTWARE ENGINEERING
ingeniería de software
Tools
probadores de teoremas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/20122
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-20122
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
aprendizaje
SOFTWARE ENGINEERING
ingeniería de software
Tools
probadores de teoremas
spellingShingle Ciencias Informáticas
aprendizaje
SOFTWARE ENGINEERING
ingeniería de software
Tools
probadores de teoremas
Inchaurrondo, Claudia Inés
Montejano, Germán Antonio
Figueiredo, Lucília Camarão de
Estudio y desarrollo de herramientas sobre probadores de teoremas
topic_facet Ciencias Informáticas
aprendizaje
SOFTWARE ENGINEERING
ingeniería de software
Tools
probadores de teoremas
description El aumento en el uso de las herramientas para la especificación y verificación de programas dentro de la industria de hardware y de software estaría revelando en el ámbito de las carreras de grado universitarias la necesidad de preparar a los estudiantes en el campo de las tecnologías de la verificación. Esta preparación comenzaría con el uso de herramientas en la enseñanza de matemáticas y de razonamiento lógico. Existen varias herramientas disponibles para este fin que ya datan de varios años de implementadas y se mantienen en constante evolución. Para el presente trabajo se han seleccionado los Probadores de Teoremas, ya que se presupone que pueden constituir una herramienta particularmente efectiva para la enseñanza de matemática y lógica en los cursos introductorios. Los sistemas de pruebas de teoremas, tanto interactivos como automáticos, han resultado exitosos en un número considerable de aplicaciones en los últimos años. Ejemplos de ello son Coq, Isabelle, HOL y PVS. Sin embargo, aún persisten las dificultades para que sean adoptados por la mayoría de la personas. Es por ello que se considera la necesidad de estudiar y desarrollar más aún Herramientas Integradas para la Enseñanza en Carreras de Informática a través de los Probadores de Teoremas.
format Objeto de conferencia
Objeto de conferencia
author Inchaurrondo, Claudia Inés
Montejano, Germán Antonio
Figueiredo, Lucília Camarão de
author_facet Inchaurrondo, Claudia Inés
Montejano, Germán Antonio
Figueiredo, Lucília Camarão de
author_sort Inchaurrondo, Claudia Inés
title Estudio y desarrollo de herramientas sobre probadores de teoremas
title_short Estudio y desarrollo de herramientas sobre probadores de teoremas
title_full Estudio y desarrollo de herramientas sobre probadores de teoremas
title_fullStr Estudio y desarrollo de herramientas sobre probadores de teoremas
title_full_unstemmed Estudio y desarrollo de herramientas sobre probadores de teoremas
title_sort estudio y desarrollo de herramientas sobre probadores de teoremas
publishDate 2011
url http://sedici.unlp.edu.ar/handle/10915/20122
work_keys_str_mv AT inchaurrondoclaudiaines estudioydesarrollodeherramientassobreprobadoresdeteoremas
AT montejanogermanantonio estudioydesarrollodeherramientassobreprobadoresdeteoremas
AT figueiredoluciliacamaraode estudioydesarrollodeherramientassobreprobadoresdeteoremas
bdutipo_str Repositorios
_version_ 1764820465205903361

Ejemplares similares