On the iteration of Katsuno and Mendelzon update

In this dissertation we present a model for iteration of Katsuno and Mendelzon’s Update, inspired in the developments for iteration in AGM belief revision. We adapt Darwiche and Pearls’ postulates of iterated belief revision to update (as well as the independence postulate proposed in [BM06, JT07]) and show two families of such operators, based in natural [Bou96] and lexicographic revision [Nay94a, NPP03]. In all cases, we provide a possible worlds semantics of the models.

Relatório de estágio sobre a intervenção pedagógica realizada na Escola Básica do 1º Ciclo com a Pré-Escolar do Galeão e no Infantário Carrocel

Este trabalho reflete a prática educativa desenvolvida durante o estágio, fase final do Mestrado em Educação Pré-Escolar e Ensino do 1º Ciclo do Ensino Básico, na valência Pré-Escolar e no 1.º Ciclo do Ensino Básico (1.º CEB). O relatório incide no trabalho desenvolvido durante o estágio, os objetivos que nele foram traçados, as estratégias adotadas, a constante reflexão, sobre as características, necessidades e interesses das crianças, e por fim, numa vertente avaliativa, sobre a forma como se desenvolveu a prática e se criaram situações de aprendizagens significativas para as crianças, nomeadamente melhorar os níveis de bem-estar do grupo no Pré-Escolar e aumentar o trabalho de cooperação na sala do 1.º Ciclo do Ensino Básico (1.ºCEB). A natureza do relatório reivindica uma constante reflexão sobre a prática desenvolvida, conferindo-lhe um toque próprio, analítico e avaliativo tendo em conta as ocorrências vividas ao longo de todo o estágio.