La importancia de la enseñanza del invariante en la estructura
La característica más importante de la programación imperativa es la estructura iterativa (while, until, for). Apuntar a mostrar y enseñar una técnica formal que permita construir dicha estructura asegurando su correctitud y aportando la forma de documentarla y verificarla es el objetivo de este tra...
| Autor principal: | |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
1998
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/24051 |
| Aporte de: |
| id |
I19-R120-10915-24051 |
|---|---|
| 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 Educación programación imperativa Learning Computer Uses in Education enseñanza del invariante Iterative methods |
| spellingShingle |
Ciencias Informáticas Educación programación imperativa Learning Computer Uses in Education enseñanza del invariante Iterative methods López, Lidia Marina La importancia de la enseñanza del invariante en la estructura |
| topic_facet |
Ciencias Informáticas Educación programación imperativa Learning Computer Uses in Education enseñanza del invariante Iterative methods |
| description |
La característica más importante de la programación imperativa es la estructura iterativa (while, until, for). Apuntar a mostrar y enseñar una técnica formal que permita construir dicha estructura asegurando su correctitud y aportando la forma de documentarla y verificarla es el objetivo de este trabajo. Es conveniente expresar un problema en términos de un modelo formal, basado en reglas comprobables. Casi cualquier campo de la matemática, u otra ciencia, puede ser utilizado como ayuda para modelar el dominio de un problema. Una vez hallado un modelo adecuado, se trata de establecer una solución para el problema, ajustada a ese modelo.
El objetivo de este trabajo es presentar una manera formal para calcular y desarrollar una iteración cuidando hasta el último detalle, brindando una profunda comprensión de los programas y siendo una tarea mucho más fácil y rápida de verificación y corrección de la estructura mencionada.
La técnica consiste en imaginar congelar la computación en un punto crucial y dar una descripción estática del estado interno. De esta manera la técnica se completa especificando la situación de alguna forma lógica para obtener un Invariante de bucle. La importancia del mismo radica en que, con práctica, los alumnos podrán reconocer, diseñar e implementar bucles perfectamente documentados y verificados. |
| format |
Objeto de conferencia Objeto de conferencia |
| author |
López, Lidia Marina |
| author_facet |
López, Lidia Marina |
| author_sort |
López, Lidia Marina |
| title |
La importancia de la enseñanza del invariante en la estructura |
| title_short |
La importancia de la enseñanza del invariante en la estructura |
| title_full |
La importancia de la enseñanza del invariante en la estructura |
| title_fullStr |
La importancia de la enseñanza del invariante en la estructura |
| title_full_unstemmed |
La importancia de la enseñanza del invariante en la estructura |
| title_sort |
la importancia de la enseñanza del invariante en la estructura |
| publishDate |
1998 |
| url |
http://sedici.unlp.edu.ar/handle/10915/24051 |
| work_keys_str_mv |
AT lopezlidiamarina laimportanciadelaensenanzadelinvarianteenlaestructura |
| bdutipo_str |
Repositorios |
| _version_ |
1764820466530254848 |