|
Abstract:
|
Este trabalho visa aplicar métodos formais na Engenharia de Programas Educacionais Hipermídia, unificando as Teorias das Categorias, Autômatos. Para oferecer o suporte necessário à sua compreensão, o trabalho apresenta a evolução do uso das máquinas na Educação, os paradigmas da Ciência Cognitiva e os conceitos de sistemas formais que foram utilizados na modelagem dos sistemas aqui abordados. É apresentado, à luz dos princípios categóricos, um modelo teórico de um sistema Hipermídia como Autômato, denominado Hipertômato. Os modelos hipertômatos foram utilizados na construção de protótipos de ambientes de Ensino-aprendizagem Hipermídia, via redes de computadores, em diferentes domínios do conhecimento. |
