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...

Full description

Bibliographic Details
Main Author: Alejandro Miños Fayad
Format: Article
Language:Spanish
Published: Editorial Mar Abierto & Vicerrectoría Académica/ULEAM 2015-03-01
Series:Revista Electrónica Formación y Calidad Educativa
Online Access:http://runachayecuador.com/refcale/index.php/refcale/article/view/94