Aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas
Fil: Huvelle, Xavier. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina.
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | |
| Formato: | doctoralThesis |
| Lenguaje: | Español |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/554687 |
| Aporte de: |
| id |
I10-R141-11086-554687 |
|---|---|
| record_format |
dspace |
| spelling |
I10-R141-11086-5546872024-12-30T15:03:47Z Aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas Huvelle, Xavier Blanco, Javier García, Pío FILOSOFÍA DE LA CIENCIA RESOLUCIÓN DE PROBLEMAS PROGRAMACIÓN INFORMÁTICA INFORMÁTICA DISEÑO DE SISTEMAS Fil: Huvelle, Xavier. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina. La estructura computadora es un artefacto mecánico programable que se describe mejor a partir de una noción de sistema. Esta concepción de sistema requiere describir las funciones que posee y cómo estas son identificadas e interpretadas. Una dificultad en este proceso de identificación e interpretación, es la superposición de las maneras de entender e interpretar las nociones de artefacto y sistema. En nuestro análisis, cada una de esas interpretaciones implican tipos de problemas y procesos de resolución diferentes. Un elemento central en estas interpretaciones es el papel que juega la noción de información. Dicha noción, y el papel desempeñado puede ser interpretado de manera diferente dependiendo del nivel en el cual se ubica el intérprete. Un intérprete es quien puede identificar y procesar la información dentro del sistema, si no es capaz de identificar información a partir de los datos, no es entonces intérprete de dicho sistema. Enumeramos cuatro niveles de resolución de problemas en el que se pueden identificar tipos de problemas por-estructurar y bien-estructurados, los cuales dependen de la información disponible para su resolución. La información, es entendida en términos modales, donde existen “modos” que pueden tomar los datos según el sistema interpretativo que los interpreta, y así crear “información”. Esto se da en un sentido positivo en el sistema, donde el rol del intérprete permite el buen funcionamiento e implementación de las especificaciones. Por otro lado, el tipo de información o su ausencia, es central para las estrategias de resolución de problemas que aparecen a través de bugs o defectos del programa o de los componentes. Estos bugs pueden o no generar información para encontrar el defecto del programa o de los componentes. Los bugs manifiestan la presencia de los defectos y proveen las pistas necesarias para encontrarlos. Dicha información está también sujeta a interpretación, y su resolución depende directamente de si se logre o no identificar por parte del intérprete este defecto. Los distintos niveles de resolución de problemas generan distintos intérpretes que se basan en sus capacidades para interpretar información. La separación se debe principalmente a distintos saberes relacionados con identificar el “cómo” resolver un problema y el “qué” acerca de cuál sería el origen del problema. La parte final, se dedica al diseño, tanto desde una perspectiva de resolución de problema general como a las metodologías detrás de la confección de un programa. También hemos extendido esta idea de diseño a las simulaciones computacionales. Fil: Huvelle, Xavier. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina. 2024-12-30T15:02:28Z 2024-12-30T15:02:28Z 2024-05-24 doctoralThesis http://hdl.handle.net/11086/554687 spa Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ |
| institution |
Universidad Nacional de Córdoba |
| institution_str |
I-10 |
| repository_str |
R-141 |
| collection |
Repositorio Digital Universitario (UNC) |
| language |
Español |
| topic |
FILOSOFÍA DE LA CIENCIA RESOLUCIÓN DE PROBLEMAS PROGRAMACIÓN INFORMÁTICA INFORMÁTICA DISEÑO DE SISTEMAS |
| spellingShingle |
FILOSOFÍA DE LA CIENCIA RESOLUCIÓN DE PROBLEMAS PROGRAMACIÓN INFORMÁTICA INFORMÁTICA DISEÑO DE SISTEMAS Huvelle, Xavier Aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas |
| topic_facet |
FILOSOFÍA DE LA CIENCIA RESOLUCIÓN DE PROBLEMAS PROGRAMACIÓN INFORMÁTICA INFORMÁTICA DISEÑO DE SISTEMAS |
| description |
Fil: Huvelle, Xavier. Universidad Nacional de Córdoba. Facultad de Filosofía y Humanidades. Secretaría de Posgrado; Argentina. |
| author2 |
Blanco, Javier |
| author_facet |
Blanco, Javier Huvelle, Xavier |
| format |
doctoralThesis |
| author |
Huvelle, Xavier |
| author_sort |
Huvelle, Xavier |
| title |
Aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas |
| title_short |
Aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas |
| title_full |
Aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas |
| title_fullStr |
Aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas |
| title_full_unstemmed |
Aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas |
| title_sort |
aspectos metodológicos y epistemológicos de la programación de computadoras : métodos formales y heurísticas |
| publishDate |
2024 |
| url |
http://hdl.handle.net/11086/554687 |
| work_keys_str_mv |
AT huvellexavier aspectosmetodologicosyepistemologicosdelaprogramaciondecomputadorasmetodosformalesyheuristicas |
| _version_ |
1824552355848257536 |