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

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Miños Fayad, Alejandro (author)
Format: article
Langue:espagnol
Publié: 2015
Sujets:
Accès en ligne:http://repositorio.cfe.edu.uy/handle/123456789/171
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!