Licenciado

explicação dos comandos a utilizar. Da experiência internacional (Fuentes 2000) observa-se a tendência a introduzir diversos tipos de software no ensino da matemática, como assistentes matemáticos, bibliotecas virtuais e outros tipos de sistemas como os centros de recursos virtuais, fundamentalmente como complemento bibliográfico. Partindo dos pressupostos, segundo os quais, por um lado, “não há ensino superior em Angola, sem instituições adequadas e capazes de formar com competência os futuros estudantes para este ensino ” (Teta, 2005, p. 24). Por outro lado, “não há ensino de qualidade, nem reforma educativa, nem inovação pedagógica, sem uma adequada formação de professores” (Nóvoa, 1992, p. 9), pode-se afirmar que a preparação adequada dos alunos a partir dos níveis básicos de escolaridade depende, em grande medida, da formação dos seus professores. Daí que, a formação de professores constitui a chave do desenvolvimento do sistema educativo, para o qual se deve prestar maior atenção, já que segundo Nóvoa (1992), nos dias actuais, “o ensino e os professores se encontram sob o fogo cruzado das mais diversas críticas e acusações” (p. 9). Actualmente, o professor é encarado não apenas como aplicador das orientações mas, também, como um instigador e um agente de mudança (Zabalza, 2004). Deste modo, no processo de formação de professores passam-se testemunhos valiosos aos formandos, quer em termos de práticas na transmissão do conhecimento, quer em termos de…

Compreender o domínio suficientemente bem para saber de que objectos e factos é necessário falar e quais os que podem ser ignorados. Decidir de um vocabulário de predicados, funções e constantes: Isto é, traduzir os conceitos importantes do domínio para nomes lógicos. É a Ontologia. Codificar o conhecimento geral acerca do domínio Escrever frases lógicas ou axiomas, o que cumpre 2 objectivos. Primeiro, tornamos os termos mais precisos para interpretação humana. Segundo, tornamos…