Teoria de Conjuntos em Isabelle

Francisco Miguel A. C. de Sousa Dionísio

Comparação de sistemas de programação

Este trabalho compara as soluções disponibilizadas pelos sistemas Derive 5.0, Maple 6 e Mathematica 4.0 para problemas que encontramos no ensino secundário e também nos primeiros anos da universidade. Procuramos destacar os aspectos distintos entre cada um dos programas ao mesmo tempo que fazemos referência aos pontos em que tudo se passa de forma semelhante. Esta dissertação aborda o cálculo numérico, o cálculo simbólico, a programação e os gráficos. Para cada um dos assuntos é estudada a forma como se podem resolver os problemas através dos três sistemas comparando-se estas soluções. Inicialmente, é feita uma abordagem que permite ao utilizador adquirir os conhecimentos básicos acerca dos diversos programas. Tratamos de seguida de algumas questões relacionadas com o cálculo numérico e com algumas funções nomeadamente da Teoria dos Números. Referimos listas e funções e são analisadas diversas formas de manipular listas e os seus elementos bem como algumas áreas da Análise Matemática das quais destacamos as equações, a derivação e a integração compreendendo cálculo numérico e cálculo simbólico. Examinamos um vasto conjunto de operações definidas sobre matrizes (representadas como listas de listas) e polinómios que abrangem as operações mais comuns de cada um dos campos. Analisamos também a programação recursiva, a programação imperativa, a programação funcional e a programação por regras de reescrita. A abordagem aqui adoptada foi a de fornecer ao utilizador as construções chave mais importantes que cada paradigma de programação utiliza bem como as informações básicas acerca do funcionamento de cada uma delas de modo a permitir a resolução dos problemas propostos. Por último os gráficos sobre os quais incidiu a nossa análise foram os de uma e de duas variáveis representados no referencial cartesiano, gráficos estes que são os mais utilizados quer ao nível do ensino superior quer ao nível do ensino secundário. A qualidade e a facilidade de obter rapidamente as representações dão outra dimensão ao estudo dos gráficos principalmente quando estamos a falar de gráficos a três dimensões. A ideia de animação gráfica é também aqui abordada sendo evidente os benefícios da utilização da mesma nos programas em que é possível efectuá-la. Concluímos que na programação o Mathematica destaca-se em relação aos demais o mesmo se passando no Maple no respeitante à representação gráfica. O Derive permite que durante o contacto inicial seja mais fácil trabalhar e aprender a linguagem própria.

A autonomia das escolas básicas do 1º ciclo com pré-escolar da Região Autónoma da Madeira: da teoria à prática

No Portugal hodierno, quando se fala em educação a autonomia das escolas assume um papel relevante para todos os intervenientes nos contextos educativos e nas políticas educativas. Na actual legislação que implementou a autonomia escolar, o termo autonomia aparece associado a toda a orgânica administrativa e pedagógica das escolas e à relação Município/Escola, onde se destaca o alargamento das competências dos municípios no âmbito da educação e ainda a reestruturação do sistema de ensino. Abordar esta temática e todos os seus meandros, bem como a sua interferência na vivência das escolas são os objectivos centrais deste estudo. Deste modo, tentámos apurar como interagem os Directores das Escolas Básicas do 1º Ciclo com Pré-Escolar pois, saber o que pensam, de que forma actuam, que parcerias criam, que apoios estabelecem, são algumas questões cruciais para entender a força desta autonomia e saber de que forma ela é entendida e praticada por todos quantos actuam neste grande palco que é o ensino em Portugal, e mais especificamente na Região Autónoma da Madeira (RAM). Situado na área da Administração Educacional, este estudo utiliza como suporte teórico dominante as diferentes perspectivas de autores reconhecidos pelas suas abordagens sobre a temática da autonomia. O contexto empírico de estudo centrou-se em todas as Escolas Básicas do 1º Ciclo com Pré-Escolar do ensino público da RAM. Do ponto de vista metodológico, esta investigação utilizou essencialmente uma metodologia de carácter qualitativo com o recurso à análise de documentos onde se enfatizou essencialmente a legislação em vigor. A metodologia quantitativa esteve também presente porquanto se recorreu ao inquérito por questionário, aplicado a todos os Directores das Escolas Básicas do 1º Ciclo com Pré-Escolar da RAM. Ao utilizarmos estes métodos de recolha de informação pretendemos perceber se a autonomia da escola é uma autonomia construída e desejada ou se pelo contrário, se resume a uma imposição da administração central. Os resultados da investigação sugerem que as escolas exigem aos superiores hierárquicos a concessão de mais autonomia e de maior poder de decisão. Solicitam ainda mais liberdade e respeito no que concerne às opções organizacionais das suas escolas.Na tentativa de ultrapassar estas limitações, constatámos que as escolas têm desenvolvido actividades que promovem a sua autonomia, quer através de iniciativas culturais e desportivas quer através da realização de protocolos com empresas e/ou entidades, quer com toda a comunidade envolvente. Desta forma, concluímos que são as próprias escolas a sugerirem a elaboração de contratos de autonomia, para que lhes seja conferido um maior poder de decisão nos domínios pedagógico, curricular, administrativo e financeiro.

Modelos curriculares na educação de infância: o enfoque na expressão dramática: da teoria às práticas

Esta investigação, de natureza qualitativa, pretendeu num primeiro propósito compreender a importância do currículo enquanto referencial para o desenvolvimento da educação ao longo dos tempos, desde as teorias tradicionais às teorias críticas e pós-críticas. Num segundo propósito, analisar teoricamente três modelos curriculares (High Scope, Movimento da Escola Moderna, Reggio Emilia), no âmbito da educação de infância, à luz de uma educação preconizada na atualidade e compreender a valorização do domínio da expressão dramática nos modelos curriculares em estudo. Como terceiro propósito, pretendeu, através de um estudo de caso, verificar a dinâmica da atividade de expressão dramática inerente às práticas pedagógicas dos educadores de infância cooperantes no curso de Licenciatura em Educação de Infância, da Universidade da Madeira. Entrevistámos um grupo de quinze educadores cooperantes, observámos as práticas pedagógicas de dois educadores no âmbito da expressão dramática e registámos ainda as atividades realizadas pelas crianças. Quanto aos resultados, reforçámos a ideia que os modelos curriculares são gramáticas pedagógicas importantes para as práticas dos educadores de infância. Relativamente às práticas pedagógicas observadas no domínio da expressão dramática, estas revelaram que é necessário aperfeiçoar os referenciais teóricos dos educadores, bem como a construção da planificação de atividades para garantir uma intervenção sustentada e um maior espaço de manobra à criança num contexto de aprendizagem autêntica e significativa.