Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática?
Los Métodos Formales, en el ámbito de la Informática, son especificaciones lógico – matemáticas, que permiten determinar la correctitud de las soluciones planteadas. Al mismo tiempo, en el caso de la Didáctica las relaciones áulicas y los supuestos que dan lugar a ellas, son el objeto de estudio de...
Saved in:
| Main Author: | |
|---|---|
| Format: | article |
| Language: | Spanish |
| Published: |
2015
|
| Subjects: | |
| Online Access: | http://repositorio.cfe.edu.uy/handle/123456789/171 |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1868889950657708032 |
|---|---|
| author | Miños Fayad, Alejandro |
| author_browse | Miños Fayad, Alejandro |
| author_facet | Miños Fayad, Alejandro |
| author_role | author |
| collection | RIdAA-CFE |
| dc.creator.none.fl_str_mv | Miños Fayad, Alejandro |
| dc.date.none.fl_str_mv | 2015-02-03 2019-09-21T21:08:56Z 2019-09-21T21:08:56Z 2019-09-21 |
| dc.format.none.fl_str_mv | pdf 12 p. |
| dc.identifier.none.fl_str_mv | 1390-9010 http://repositorio.cfe.edu.uy/handle/123456789/171 |
| dc.language.none.fl_str_mv | spa |
| dc.publisher.none.fl_str_mv | Editorial Mar Abierto y Vicerrectoria Académica de la Universidad Laica Eloy Alfaro de Manabí |
| dc.relation.none.fl_str_mv | REFCalE: Revista electrónica Formación y Calidad Educativa |
| dc.rights.none.fl_str_mv | openAccess info:eu-repo/semantics/openAccess cc by-nc-sa 4.0 |
| dc.source.none.fl_str_mv | REFCalE. Publicación arbitrada cuatrimestral. Volumen 3, Número 1 (2015) reponame:RIdAA-CFE instname:ANEP. Consejo de Formación en Educación instacron:ANEP. Consejo de Formación en Educación |
| dc.subject.none.fl_str_mv | Enseñanza de la informática Profesorado de informática currículo Métodos formales |
| dc.title.none.fl_str_mv | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática? Didáctica de la informática y métodos formales |
| dc.type.none.fl_str_mv | info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion |
| description | Los Métodos Formales, en el ámbito de la Informática, son especificaciones lógico – matemáticas, que permiten determinar la correctitud de las soluciones planteadas. Al mismo tiempo, en el caso de la Didáctica las relaciones áulicas y los supuestos que dan lugar a ellas, son el objeto de estudio de esta disciplina. Mientras que los Métodos Formales brindan la posibilidad de construir formas de validación y correctitud, permiten también determinar si estas soluciones lo son efectivamente, en el entendido que no solo es importante resolver el problema, sino que además esto debe hacerse de la mejor forma posible, estableciendo métodos para ello. Al mismo tiempo, desde la Didáctica se hace necesario, además de estudiar las relaciones áulicas, abordar aquellas formas de trabajo que maximizan los aprendizajes de los estudiantes, en particular los ejercicios de meta cognición. El presente artículo es una reflexión que pretende indagar las relaciones existentes entre los Métodos Formales y la Didáctica de la Informática, y como los primeros deberían ser considerados, al menos parcialmente, como parte de los contenidos de la Didáctica de la Informática. |
| eu_rights_str_mv | openAccess |
| format | article |
| id | anni_0c70dafdda45b06ca191d336509bccc0 |
| identifier_str_mv | 1390-9010 |
| instacron_str | ANEP. Consejo de Formación en Educación |
| institution | ANEP. Consejo de Formación en Educación |
| instname_str | ANEP. Consejo de Formación en Educación |
| language | spa |
| network_acronym_str | anni |
| network_name_str | oai-lr-anni |
| oai_identifier_str | oai:repositorio.cfe.edu.uy:123456789/171 |
| publishDate | 2015 |
| publishDateSort | 2015 |
| publisher.none.fl_str_mv | Editorial Mar Abierto y Vicerrectoria Académica de la Universidad Laica Eloy Alfaro de Manabí |
| reponame_str | RIdAA-CFE |
| repository.mail.fl_str_mv | |
| repository.name.fl_str_mv | |
| repository_id_str | |
| rights_invalid_str_mv | openAccess cc by-nc-sa 4.0 |
| spelling | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática?Didáctica de la informática y métodos formalesMiños Fayad, AlejandroEnseñanza de la informáticaProfesorado de informáticacurrículoMétodos formalesLos Métodos Formales, en el ámbito de la Informática, son especificaciones lógico – matemáticas, que permiten determinar la correctitud de las soluciones planteadas. Al mismo tiempo, en el caso de la Didáctica las relaciones áulicas y los supuestos que dan lugar a ellas, son el objeto de estudio de esta disciplina. Mientras que los Métodos Formales brindan la posibilidad de construir formas de validación y correctitud, permiten también determinar si estas soluciones lo son efectivamente, en el entendido que no solo es importante resolver el problema, sino que además esto debe hacerse de la mejor forma posible, estableciendo métodos para ello. Al mismo tiempo, desde la Didáctica se hace necesario, además de estudiar las relaciones áulicas, abordar aquellas formas de trabajo que maximizan los aprendizajes de los estudiantes, en particular los ejercicios de meta cognición. El presente artículo es una reflexión que pretende indagar las relaciones existentes entre los Métodos Formales y la Didáctica de la Informática, y como los primeros deberían ser considerados, al menos parcialmente, como parte de los contenidos de la Didáctica de la Informática.Editorial Mar Abierto y Vicerrectoria Académica de la Universidad Laica Eloy Alfaro de Manabí2019-09-21T21:08:56Z2019-09-21T21:08:56Z2015-02-032019-09-21info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionpdf12 p.1390-9010http://repositorio.cfe.edu.uy/handle/123456789/171REFCalE. Publicación arbitrada cuatrimestral. Volumen 3, Número 1 (2015)reponame:RIdAA-CFEinstname:ANEP. Consejo de Formación en Educacióninstacron:ANEP. Consejo de Formación en EducaciónspaREFCalE: Revista electrónica Formación y Calidad EducativaopenAccessinfo:eu-repo/semantics/openAccesscc by-nc-sa 4.0oai:repositorio.cfe.edu.uy:123456789/1712026-06-16T06:05:24Z |
| spellingShingle | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática? Miños Fayad, Alejandro Enseñanza de la informática Profesorado de informática currículo Métodos formales |
| status_str | publishedVersion |
| title | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática? |
| title_full | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática? |
| title_fullStr | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática? |
| title_full_unstemmed | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática? |
| title_short | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática? |
| title_sort | Didáctica de la informática y métodos formales: ¿Por qué son importantes los métodos formales para la didáctica de la informática? |
| topic | Enseñanza de la informática Profesorado de informática currículo Métodos formales |
| url | http://repositorio.cfe.edu.uy/handle/123456789/171 |