Upload resources

Upload your works to SEDICI to increase its visibility and improve its impact

 

Show simple item record

dc.date.accessioned 2012-08-24T13:40:25Z
dc.date.available 2012-08-24T13:40:25Z
dc.date.issued 2011
dc.identifier.uri http://sedici.unlp.edu.ar/handle/10915/20122
dc.description.abstract 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. es
dc.format.extent 569-571 es
dc.language es es
dc.subject aprendizaje es
dc.subject SOFTWARE ENGINEERING es
dc.subject ingeniería de software es
dc.subject Tools es
dc.subject probadores de teoremas es
dc.title Estudio y desarrollo de herramientas sobre probadores de teoremas es
dc.type Objeto de conferencia es
sedici.identifier.isbn 978-950-673-892-1 es
sedici.creator.person Inchaurrondo, Claudia Inés es
sedici.creator.person Montejano, Germán Antonio es
sedici.creator.person Figueiredo, Lucília Camarão de es
sedici.description.note Eje: Ingeniería de Software es
sedici.subject.materias Ciencias Informáticas es
sedici.description.fulltext true es
mods.originInfo.place Red de Universidades con Carreras en Informática (RedUNCI) es
sedici.subtype Objeto de conferencia es
sedici.rights.license Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)
sedici.rights.uri http://creativecommons.org/licenses/by-nc-sa/2.5/ar/
sedici.date.exposure 2011-05 es
sedici.relation.event XIII Workshop de Investigadores en Ciencias de la Computación es
sedici.description.peerReview peer-review es


Download Files

This item appears in the following Collection(s)

Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5) Except where otherwise noted, this item's license is described as Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)