An innovative approach to teaching structural induction for computer science

Proofs by induction are central to many computer science areas such as data structures, theory of computation, programming languages, program efficiency-time complexity, and program correctness. Proofs by induction can also improve students’ understanding and performance of computer science concepts such as programming languages, algorithm design, and recursion, as well as serve as a medium for teaching them. Even though students are exposed to proofs by induction in many courses of their curricula, they still have difficulties understanding and performing them. This impacts the whole course of their studies, since proofs by induction are omnipresent in computer science. Specifically, students do not gain conceptual understanding of induction early in the curriculum and as a result, they have difficulties applying it to more advanced areas later on in their studies. The goal of my dissertation is twofold: (1) identifying sources of computer science students’ difficulties with proofs by induction, and (2) developing a new approach to teaching proofs by induction by way of an interactive and multimodal electronic book (e-book). For the first goal, I undertook a study to identify possible sources of computer science students’ difficulties with proofs by induction. Its results suggest that there is a close correlation between students’ understanding of inductive definitions and their understanding and performance of proofs by induction. For designing and developing my e-book, I took into consideration the results of my study, as well as the drawbacks of the current methodologies of teaching proofs by induction for computer science. I designed my e-book to be used as a standalone and complete educational environment. I also conducted a study on the effectiveness of my e-book in the classroom. The results of my study suggest that, unlike the current methodologies of teaching proofs by induction for computer science, my e-book helped students overcome many of their difficulties and gain conceptual understanding of proofs induction.

Knowledge creation in dynamic learning environments

Researchers have extensively discussed using knowledge management to achieve sustainable competitive advantages; however, the successful implementation of knowledge management programs in organizations remains challenging. Problems with knowledge management arise primarily from issues related to inter-subjective creation of meaning by diverse individuals in a dynamic learning environment. ^ The first part of this dissertation examined the concepts of shared interpretive resources referring to background assumptions, shared language, and symbolic resources upon which individuals draw in their interactions in the community. The discussion adopted an interpretive research approach to underscore how community members develop shared interpretive resources over time. The second part examined how learners' behaviors influence knowledge acquisition in the community, emphasizing the associations between learners' learning approaches and learning contexts. An empirical survey of learners provided significant evidence to demonstrate the influences of learners' learning approaches. The third part examined an instructor's strategy—namely, advance organizer—to enhance learners' knowledge assimilation process. Advance organizer is an instructor strategy that refers to a set of inclusive concepts that introduce and sum up new material, and refers to a method of bridging and linking old information with something new. In this part, I underscore the concepts of advance organizer, and the implementations of advance organizer in one learning environment. A study was conducted in one higher educational environment to show the implementation of advance organizer. Additionally, an advance organizer instrument was developed and tested, and results from learners' feedback were analyzed. The significant empirical evidence showed the association between learners' learning outcomes and the implementation of advance organizer strategy. ^

Teacher perception of self -determination skills in the inclusive and special education classroom

It has been proposed that special education teachers, who promote self-determination and link it to educational standards, help students with a disability succeed in school. The current school reform movement has focused on accountability through mandates such as the No Child Left Behind Act, 2001, and has emphasized participation in the general curriculum through amendments to the Individuals with Disabilities Education Act (IDEA) of 1997 and 2004. This study informs educators if educational setting, students' type of disability, and subject area taught, influence teachers' opinions about the importance of teaching components leading to self-determination and self-management. ^ The research questions that drive this study are: (1) do secondary school teachers who instruct students with a disability think that self-determination components taught in the classroom will make an important difference in students' school and later postsecondary achievements? and (2) does the type of classroom setting, students' type of disability, or specific subject matter influence teachers' opinions regarding the importance of teaching components related to self-determination and self-management? The collection and interpretation of data were done using descriptive and quantitative methods employing a teacher survey. The survey was administered to secondary teachers who instruct students with disabilities. Data were analyzed using descriptive and inferential statistics. The sample consisted of 97 special education teachers currently teaching at the secondary level. ^ The results of the study indicated that teachers believe that self-determination is important for both school life and post school life. However teachers thought these skills to be more important for post school success. Teachers believe that self-determination is more important than self-management skills. Type of disability, educational environment, and subject area were not significant factors. ^

An Innovative Approach to Teaching Structural Induction for Computer Science

Proofs by induction are central to many computer science areas such as data structures, theory of computation, programming languages, program efficiency-time complexity, and program correctness. Proofs by induction can also improve students’ understanding of and performance with computer science concepts such as programming languages, algorithm design, and recursion, as well as serve as a medium for teaching them. Even though students are exposed to proofs by induction in many courses of their curricula, they still have difficulties understanding and performing them. This impacts the whole course of their studies, since proofs by induction are omnipresent in computer science. Specifically, students do not gain conceptual understanding of induction early in the curriculum and as a result, they have difficulties applying it to more advanced areas later on in their studies. The goal of my dissertation is twofold: 1. identifying sources of computer science students’ difficulties with proofs by induction, and 2. developing a new approach to teaching proofs by induction by way of an interactive and multimodal electronic book (e-book). For the first goal, I undertook a study to identify possible sources of computer science students’ difficulties with proofs by induction. Its results suggest that there is a close correlation between students’ understanding of inductive definitions and their understanding and performance of proofs by induction. For designing and developing my e-book, I took into consideration the results of my study, as well as the drawbacks of the current methodologies of teaching proofs by induction for computer science. I designed my e-book to be used as a standalone and complete educational environment. I also conducted a study on the effectiveness of my e-book in the classroom. The results of my study suggest that, unlike the current methodologies of teaching proofs by induction for computer science, my e-book helped students overcome many of their difficulties and gain conceptual understanding of proofs induction.

Os discursos sobre a educomunicação na rádio escolar: um estudo etnográfico e m uma escola pública

This research analyzes the discursive construction of Educommunication, from a training course of educommunicators, with teachers and students of school Profº Francisco Ivo Cavalcanti, state public school, geographically located in the city of Natal / RN, studying the constitution of the meanings that educommunication practice in School Radio acquires for trainers and course participants (teachers and students). The socio-historical context in which this research is based corresponds to the new social reality, mediated by information and communication Technologies. These technologies drive the educational institution to train students in the use of different languages that permeate society. But to do so, you must have also enabled teachers to work Communication technology to meet the aspirations of young people and adults who are part of the educational community. The objectives are to identify the conditions of discursive production around the educommunication practice in Radio School, examine the discursive construction of instructors and course participants in Educommunication and its dialogical brands, and see how the course participants relate to their educommunicative practice in the educational contexts, attributing meaning to the place of teachers and students. Therefore, this research uses ethnography applied to the school context as a methodological option, Pecheuxtian Discourse Analysis, the principles of Educommunication, the reflections of Paulo Freire and the concepts of Dialogism in Bakhtin as theoretical contributions. We adopted three areas of knowledge: Language, Communication and Education, in order to produce an analysis committed to the aspects that involve the use of radio in the school environment to promote an educommunicative practice. With this research we have built a web of meanings about the school that we are forming or we want to form in the XXI century, because we used the discourses of teachers and students immersed in new knowledge and practices in order to propel them to be subjects of communication in educational environment for a qualitative transformation of being and doing in school.

Contributos da supervisão para a dialógica e o trabalho colaborativo : estudo de um caso

Dissertação apresentada à Escola Superior de Educação de Santarém para a obtenção do grau de mestre em Ciências da educação - Supervisão e orientação pedagógica

Processus d’appropriation des technologies de l’information et de la communication par les enseignants : le cas des tablettes

L’intégration des technologies de l’information et de la communication (TIC) en contexte éducatif représente un moyen concret d’action et de réflexion en sciences de l’éducation. Les scientifiques et les acteurs de terrain se questionnent sur l’intégration des technologies et sur les moyens à mettre en place afin de réussir ce processus parfois complexe. De fait, la pénétration des outils technologiques dans les établissements scolaires a été exponentielle ces dernières années. Il est aujourd’hui nécessaire de comprendre selon quelles perspectives ces outils s’intègrent en salle de classe. Un exemple marquant est celui de la tablette tactile, récemment intégrée massivement dans les écoles d’Amérique du Nord et d’Europe. Cet outil, relativement récent dans la sphère scolaire, demande une réflexion précise vis-à-vis des pratiques pédagogiques des enseignants et des processus d’intégration inhérents. Afin de répondre à ces questionnements, nous avons élaboré une recherche en trois temps. Dans un premier temps, nous avons dressé un portrait exhaustif des pratiques pédagogiques des enseignants utilisant quotidiennement la tablette tactile en salle de classe. Ce portrait nous permet d’esquisser une synthèse des usages et réalités pédagogiques qui entourent cet outil. Dans un deuxième temps, nous avons répertorié, analysé et classifié les modèles d’intégration des TIC présents dans la littérature. L’analyse de ces modèles nous a permis d’en extraire les forces et les lacunes intrinsèques. Ensuite, nous avons créé un modèle synthèse rassemblant les réflexions issues de ces analyses. En parallèle, nous avons créé une typologie permettant d’identifier et de classifier ces modèles. Dans un troisième temps, nous sommes partis des pratiques pédagogiques des enseignants et du modèle général d’intégration des TIC que nous avons conçu afin de comprendre quel était le processus d’intégration de la tablette en salle de classe. Les résultats obtenus mettent en évidence que l’utilisation de la tablette induit des usages pédagogiques novateurs qui facilitent l’enseignement et qui favorisent l’apprentissage des élèves. Cependant, nous constatons que la tablette n’est pas utilisée à son plein potentiel et que certains usages devraient être envisagés selon une perspective plus efficiente et adaptée. En ce qui concerne les processus d’intégration, nous avons identifié plusieurs éléments indispensables: ces processus doivent être itératifs et constructifs, des facteurs internes et externes doivent être considérés et des niveaux d’intégration doivent être identifiés. Le modèle ainsi conçu spécifie le modèle à privilégier et les aboutissants à considérer. À la suite de cette étape, nous avons conçu un modèle d’intégration spécifiquement dédié à la tablette. Celui-ci met en évidence, au-delà des caractéristiques définies dans le modèle général, une nécessaire formation, une implication des acteurs, un ajustement constant des pratiques pédagogiques et une itération indispensable. À la suite de ces considérations, nous constatons que le processus d’appropriation de la tablette est en cours de construction et que les nouvelles implantations, comme les existantes, doivent procéder à une analyse minutieuse des tenants et aboutissants des pratiques médiées par l’intégration de l’outil. En fin de document, une synthèse des résultats et des recommandations est proposée afin de favoriser l’intégration de la tablette tactile - et des TIC en général – dans la salle de classe.

Processus d’appropriation des technologies de l’information et de la communication par les enseignants : le cas des tablettes

L’intégration des technologies de l’information et de la communication (TIC) en contexte éducatif représente un moyen concret d’action et de réflexion en sciences de l’éducation. Les scientifiques et les acteurs de terrain se questionnent sur l’intégration des technologies et sur les moyens à mettre en place afin de réussir ce processus parfois complexe. De fait, la pénétration des outils technologiques dans les établissements scolaires a été exponentielle ces dernières années. Il est aujourd’hui nécessaire de comprendre selon quelles perspectives ces outils s’intègrent en salle de classe. Un exemple marquant est celui de la tablette tactile, récemment intégrée massivement dans les écoles d’Amérique du Nord et d’Europe. Cet outil, relativement récent dans la sphère scolaire, demande une réflexion précise vis-à-vis des pratiques pédagogiques des enseignants et des processus d’intégration inhérents. Afin de répondre à ces questionnements, nous avons élaboré une recherche en trois temps. Dans un premier temps, nous avons dressé un portrait exhaustif des pratiques pédagogiques des enseignants utilisant quotidiennement la tablette tactile en salle de classe. Ce portrait nous permet d’esquisser une synthèse des usages et réalités pédagogiques qui entourent cet outil. Dans un deuxième temps, nous avons répertorié, analysé et classifié les modèles d’intégration des TIC présents dans la littérature. L’analyse de ces modèles nous a permis d’en extraire les forces et les lacunes intrinsèques. Ensuite, nous avons créé un modèle synthèse rassemblant les réflexions issues de ces analyses. En parallèle, nous avons créé une typologie permettant d’identifier et de classifier ces modèles. Dans un troisième temps, nous sommes partis des pratiques pédagogiques des enseignants et du modèle général d’intégration des TIC que nous avons conçu afin de comprendre quel était le processus d’intégration de la tablette en salle de classe. Les résultats obtenus mettent en évidence que l’utilisation de la tablette induit des usages pédagogiques novateurs qui facilitent l’enseignement et qui favorisent l’apprentissage des élèves. Cependant, nous constatons que la tablette n’est pas utilisée à son plein potentiel et que certains usages devraient être envisagés selon une perspective plus efficiente et adaptée. En ce qui concerne les processus d’intégration, nous avons identifié plusieurs éléments indispensables: ces processus doivent être itératifs et constructifs, des facteurs internes et externes doivent être considérés et des niveaux d’intégration doivent être identifiés. Le modèle ainsi conçu spécifie le modèle à privilégier et les aboutissants à considérer. À la suite de cette étape, nous avons conçu un modèle d’intégration spécifiquement dédié à la tablette. Celui-ci met en évidence, au-delà des caractéristiques définies dans le modèle général, une nécessaire formation, une implication des acteurs, un ajustement constant des pratiques pédagogiques et une itération indispensable. À la suite de ces considérations, nous constatons que le processus d’appropriation de la tablette est en cours de construction et que les nouvelles implantations, comme les existantes, doivent procéder à une analyse minutieuse des tenants et aboutissants des pratiques médiées par l’intégration de l’outil. En fin de document, une synthèse des résultats et des recommandations est proposée afin de favoriser l’intégration de la tablette tactile - et des TIC en général – dans la salle de classe.

Estilos Educativos Parentais (EMBU-A), Sintomatologia Depressiva/Ansiosa, Stress e Autoestima, numa Amostra de Adolescentes

Introdução. Os estilos educativos parentais enquanto clima educativo geral apresentam um forte impacto em diferentes resultados desenvolvimentais (e.g., sintomatologia depressiva/ansiosa e auto estima) da criança/jovem. Podem ser estudados de um ponto de vista dimensional, considerando, por exemplo, as dimensões Controlo/Sobreproteção e Suporte, ou categorial, seguindo, por exemplo, a abordagem de Baumrind, e Maccoby e Martin. Neste estudo pretendemos: verificar se existem diferenças por género e idade, nas dimensões Suporte Emocional, Sobreproteção e Rejeição (EMBU-A) (cada progenitor separadamente), na sintomatologia depressiva/ansiosa e na auto estima; avaliar se existem diferenças nas dimensões do EMBU-A, entre progenitores, na amostra total e por género; explorar associações entre as variáveis centrais do estudo (estilos educativos, sintomatologias e auto estima) e variáveis sociodemográficas, também nas três amostras; explorar diferenças entre quatro grupos criados (Pai-Filho, Pai-Filha; Mãe-Filho e Mãe-Filha) nas dimensões do EMBU-A; combinando a Sobreproteção e o Suporte Emocional (EMBU-A), e definindo os estilos educativos parentais autoritário, autoritativo, permissivo e negligente, calcular a prevalência dos mesmos na nossa amostra (por Pai e por Mãe) e explorar as suas associações com as sintomatologias e com a auto estima (separadamente, por progenitor). Metodologia. A nossa amostra é constituída por 284 adolescentes (idade média = 14,5; DP = 1,68; raparigas, n = 171, 60,2%). Todos preencheram um protocolo composto por um questionário sociodemográfico, pela Rosenberg Self- Esteem Scale (RSES), pelo DASS-21 e pelo Parental Rearing Style Questionnaire for use with Adolescents (EMBU-A/A). Resultados. De salientar o facto de os adolescentes percecionarem a mãe como apresentando valores mais elevados em todas as dimensões do EMBU-A, por comparação com o pai. Da mesma forma, ainda que com diferentes padrões de associação conforme o género, é de salientar a associação entre níveis maiores de Suporte emocional e níveis mais baixos de sintomatologia depressiva/ansiosa e stress, e a associação entre as dimensões Sobreproteção e Rejeição e níveis superiores desses resultados. Uma mais baixa escolaridade do pai associa-se a menor Suporte emocional e uma maior escolaridade da mãe a maior Sobreproteção. Uma díade constituída por progenitor e adolescente do género masculino apresenta resultados inferiores em todas as dimensões do EMBU-A, por comparação com díades formadas por mãe-filho/filha. O estilo Autoritativo é o mais prevalente na nossa amostra (em ambos os progenitores) e o estilo Autoritário é aquele que se associa a pontuações mais elevadas de psicopatologia e a uma menor auto estima. Discussão. De uma forma, genérica os resultados seguem de perto a literatura e revelam a associação entre valores mais elevados na dimensão Suporte emocional e níveis mais baixos de psicopatologia e stress, e a associação entre as dimensões Sobreproteção e Rejeição e níveis superiores desses resultados. Igualmente, o estilo educativo Autoritário está claramente associado a piores resultados nessas mesmas variáveis. São discutidas algumas implicações, no que toca a programas psicoeducativos/educação parental. / Introduction. As a general educational environment, parental rearing styles have a strong impact in different outcomes of development of the child or teenager (e.g. symptoms of depression/ anxiety and self-esteem). These can be studied from a dimensional point of view considering for example the dimensions Control/Overprotection and Support or from a categorical point of view following for example the approach of Baumrind and Maccoby and Martin. This study aims at checking whether there are differences of gender and age in the dimensions of Emotional Support, Overprotection and Rejection (EMBU-A) (each parent separately) in depressive symptoms/anxiety and self esteem; assessing whether there are differences in the dimensions of the EMBU-A, between parents in the total sample and by gender; exploring associations between the study’s main variables (rearing styles, symptomatology and self esteem) and sociodemographic variables, also in the three samples; exploring differences between the four groups created (Father-Son, Father-Daughter, Mother-Son and Mother-Daughter) in the dimensions of the EMBU-A, combining Overprotection and Emotional Support(EMBU-A) and defining the authoritarian, authoritative, indulgent, and neglectful parental rearing styles. The aim is also to estimate the prevalence of these in our sample (by Father and Mother) and explore their associations to the symptomatology and self esteem (separately, per parent). Methodology. Our sample is composed of 284 teenagers (average age = 14,5; DP = 1,68; girls, n = 171, 60,2%). All participants filled in a protocol of questionnaires consisting of a set of socio demographic questions by Rosenberg Self- Esteem Scale (RSES), by DASS-21 and by Parental Rearing Style Questionnaire for use with Adolescents (EMBU-A/A). Outcomes. It is important to emphasize the fact that teenagers perceive their mother as having higher values in all the EMBU-A dimensions compared to their father. In the same way, though with different patterns of association according to gender, it is important to emphasize the association of higher levels of Emotional Support and lower levels of depressive/anxious symptomathology and stress and the association of Overprotection and Rejection and higher levels of those outcomes. A father’s lower level of education is associated to a lower Emotional Support while a mother’s higher level of education is associated to a greater Overprotection. A dyad composed of male parent and male teenager presents lower outcomes in all EMBU-A dimensions if compared to dyads composed of mother-son/daughter. The authoritative style is the most prevalent in our sample (in both parents) and the authoritarian style is the one associated to higher scores of psychopathology and lower levels of self esteem. Debate. In general, the outcomes closely follow the literature review and reveal the association of higher values in the Emotional Support dimension and lower levels of psychopathology and stress and also the association of the dimensions of Overprotection and Rejection and higher levels of those outcomes. Equally, the authoritarian rearing style is clearly associated to the worst outcomes in those same variables. Some implications are discussed as far as psychoeducational programmes and parental rearing are concerned.

A dicionarização de termos em língua brasileira de sinais (Libras) para o ensino de biologia: uma atitude empreendedora

Acompanha: Glossário de termos biológicos em língua brasileira de sinais (GBLI)

A construção da profissionalização : a investigação-ação aplicada às valências de educação pré-escolar e de 1º ciclo do ensino básico

Relatório de Estágio apresentado à Escola Superior de Educação de Paula Frassinetti para obtenção de grau Mestre em Educação Pré-Escolar e Ensino 1º ciclo do Ensino Básico.

Professores generalistas : um desafio para a educação pré-escolar e para o 1º ciclo do ensino básico

Relatório de Estágio apresentado à Escola Superior de Educação de Paula Frassinetti para obtenção de grau Mestre em Educação Pré-Escolar e Ensino 1º ciclo do Ensino Básico.

Contributos da supervisão para a dialógica e o trabalho colaborativo : estudo de um caso

Dissertação apresentada à Escola Superior de Educação de Santarém para a obtenção do grau de mestre em Ciências da educação - Supervisão e orientação pedagógica

Relatório de estágio de qualificação profissional (Fase intercalar do estágio)

Relatório EPE - Relatório de estágio em Educação Pré-Escolar: O presente relatório de estágio emerge da prática pedagógica supervisionada na educação de infância inserida no curso de mestrado de educação pré-escolar e ensino do primeiro ciclo do ensino básico. Esta foi desenvolvida no jardim de infância da Escola Básica de Monte Aventino que integra o Agrupamento de Escolas António Nobre. O estágio formativo efetuado teve como principal intenção o desenvolvimento de competências profissionais associadas à capacidade de reflexão sistemática antes, durante e pós-ação tendo em vista o desenvolvimento de uma ação educativa baseada na investigação de práticas e na co-construção de saberes profissionais. No sentido de alcançar as competências estabelecidas e de direcionar a prática educativa para os interesses e necessidades das crianças foram exercidas várias etapas cíclicas do processo educativo como a observação, planificação, reflexão e avaliação. Deste modo a metodologia eleita para o exercício deste ciclo espiral assentou na investigação-ação uma vez que esta permite indagar sobre as práticas desenvolvidas tendo em vista a sua reestruturação voltada para as carências demonstradas. Como estratégia de formação, esta metodologia também possui grandes potencialidades sendo que foram igualmente utilizados procedimentos como reflexões individuais, narrativas colaborativas e guiões de observação orientados para o favorecimento da investigação individual e colaborativa das práticas exercidas em díade e tríade de formação. O desenvolvimento das diversas ações referidas conduziu ao alcance das competências enunciadas que confluíram na formação do perfil profissional da mestranda capaz de criar um integrado do currículo, recorrer ao exercício das etapas do processo educativo assim como à organização do ambiente educativo.

Aplicação do software EdiLim na sala de atividades em educação pré-escolar

Relatório de Estágio apresentado à Escola Superior de Educação do Instituto Politécnico de Castelo Branco para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Educação Pré-Escolar e Ensino do 1º Ciclo Básico.