Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code

In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous. Students can focus on a specific collection of constructs that are represented consistently. Examples and counterexamples can be evaluated. Assignments can be assembled and checked with the help of an automated formal reasoning system. However, usability and accessibility do not have a high priority and are not addressed sufficiently well in the design of many existing machine-readable representations and corresponding formal reasoning systems. In earlier work [Lap09], we attempt to address this broad problem by proposing several specific design criteria organized around the notion of a natural context: the sphere of awareness a working human user maintains of the relevant constructs, arguments, experiences, and background materials necessary to accomplish the task at hand. We report on our attempt to evaluate our proposed design criteria by deploying within the classroom a lightweight formal verification system designed according to these criteria. The lightweight formal verification system was used within the instruction of a common application of formal reasoning: proving by induction formal propositions about functional code. We present all of the formal reasoning examples and assignments considered during this deployment, most of which are drawn directly from an introductory text on functional programming. We demonstrate how the design of the system improves the effectiveness and understandability of the examples, and how it aids in the instruction of basic formal reasoning techniques. We make brief remarks about the practical and administrative implications of the system’s design from the perspectives of the student, the instructor, and the grader.

Strategies for teaching students with special needs : methods and techniques for classroom instruction.

El objetivo de este manual es que orientar a los maestros de primaria en centros de integración que tienen en su clase niños con necesidades especiales. Las estrategias presentadas intencionadamente borran la distinción entre y dentro de las categorías de niños con necesidades especiales y hacen hincapié en el acto de aprender de todos los niños. Tanto las estrategias como las prácticas educativas son reales, con énfasis sobre las orientaciones de lo que se debe hacer para satisfacer las necesidades de veinticinco estudiantes muy distintos. La atención se centra en la evaluación de lectura y métodos de lectura, el lenguaje, las matemáticas y las ideas de los aspectos sociales de integración.

Teaching students with behavior disorders : techniques and activities for classroom instruction.

Manual que describe lo que los maestros pueden hacer para promover el aprendizaje de jóvenes con problemas. Comienza con una visión general sobre estos estudiantes. Continúa con la planificación inicial y la organización del ambiente de la clase, de acuerdo con las diversas fases del programa académico, seguido por el diagnóstico de las fortalezas y debilidades de los estudiantes. Se proporcionan ejemplos de aula para ilustrar cómo se pueden aplicar las técnicas sugeridas tanto en especial como en las aulas ordinarias para captar la atención del alumno y estimular el pensamiento creativo.

Students who are deaf/hard of hearing with learning challenges: Strategies for classroom instruction

This paper discusses the prevalence of children who are deaf or hard of hearing with additional learning challenges and the need for further trainings for strategies to better serve this population.

Think Before You Speak: Increasing a Student’s Appropriate Verbal Responses During Classroom Instruction

This study compared the effects of two intervention packages on increasing the appropriate verbal responses of a 7th-grade student. The interventions were determined by the results of a functional assessment of behavior. An alternating interventions design was used. Both intervention packages were successful in increasing the target behavior.

Supplement to A Teacher’s Guide to African American Historic Places in South Carolina : integrating art into classroom instruction

Within this booklet, teachers will find instructional resources covering a wide array of genres, including, dance, choral music, general music, instrumental music, media arts, theatre, and the visual arts. These lesson plans are explicitly designed to integrate artistic expression and comprehension with other academic disciplines, such as English, History, and Social Studies. Each submission highlights the grade level, artistic genre, sources, learning objectives, instructional plans, and modes of evaluation. This Arts Integration Supplement to the Teacher’s Guide to African American Historic Places in South Carolina outlines 22 lesson plans that meet the 2010 Visual and Performing Arts Standards of South Carolina and integrates the arts into classroom instruction. Where applicable, other standards, such as those for math and social studies, are listed with each lesson plan. The teaching activities in this supplement are provided to aid in the development of lesson plans or to complement existing lessons. Teaching activities are the simplest means of integrating art in classroom instruction.

Teacher emotions in the classroom: Associations with students’ engagement, classroom discipline and the interpersonal teacher-student relationship

The present study explores teacher emotions, in particular how they are predicted by students’ behaviour and the interpersonal aspect of the teacher-student relationship (TSR). One hundred thirty-two secondary teachers participated in a quantitative study relying on self-report questionnaire data. Based on the model of teacher emotions by Frenzel (2014), teachers rated their experienced joy, anger and anxiety during classroom instruction (dependent variable). Students’ motivational behaviour (= engagement), socio-emotional behaviour (= discipline in class) and relational behaviour (= closeness; interpersonal TSR) were assessed as the independent variables. Teachers’ self-efficacy beliefs served as a control variable. Hierarchical regression analysis revealed that the interpersonal relationship formed between teachers and students was the strongest predictor for teachers’ joy (positive relation) and anxiety (negative relation), whereas lack of discipline in class best predicted teachers’ anger experiences. Students’ engagement also proved a significant predictor of teacher emotions. The results suggest that interpersonal TSR plays a particularly important role in teachers’ emotional experiences in class.

Pragmatics, perceptions and strategies in Chinese college English learning

This study investigated Chinese College English students. perceptions of pragmatics, their pragmatic competence in selected speech acts, strategies they employed in acquiring pragmatic knowledge, as well as their general approach to learning English as a foreign language. The research was triggered by a national curriculum initiative that prioritizes the need for College English students to enhance their ability to use English effectively in different social interactions (Chinese College English Education and Supervisory Committee, 2007). The traditional "grammar-translation" and "examination-oriented" method is believed to have reduced Chinese College English students to what is dubbed "mute" and "deaf" language learners (Zhang, 2008; Zhao, 2009). Many students lack pragmatic knowledge on how to interpret discourse by relating utterances to their meanings, understanding the intention of language users, and how language is used in specific settings (Bachman & Palmer, 1996, 2010). There is an increasing body of literature on awareness-raising of the importance of pragmatic knowledge and strategies for classroom instruction. However, to date, researchers have tended to focus largely on the teaching of pragmatics, rather than on how students acquire pragmatic competence (Bardovi-Harlig & Dornyei, 1998; Du, 2004; Hou, 2007; Ruan, 2007; Schauer, 2009). It is this gap in the research that this study fills, with a focus on different types of pragmatic knowledge, learner perceptions of such knowledge, and learning strategies that College English students employ in the process of learning English in general, and pragmatics in particular. Three strands of theories of second language acquisition (Ellis, 1985, 1994): pragmatics (Levinson, 1983; Mey, 2001; Yule, 1996), intercultural communications (Kramsch, 1998; Samovar & Porter, 1997; Samovar, Porter & McDaniel, 2009) and English as a lingua franca (ELF) (Canagarajah, 2006; Firth, 1996; Pennycook, 2010) were employed to establish a conceptual framework for data collection and analyses. Key constructs derived from the three related theories helped to form a typology for a detailed examination and theorization of the empirical evidence gathered from different sources. Four research instruments: a questionnaire (N=237), Discourse Completion Tasks (DCTs) (N=55), focus group interviews (N=18), and a textbook tasks analysis were employed to collect data for this systematic inquiry. Data collected by different instruments were analyzed and compared by way of a triangulation to enhance its validity and reliability. Major findings derived from different sources highlighted that, although College English students were grammatically advanced language learners, they displayed limited pragmatic knowledge and a highly restricted repertoire of language learning strategies. The majority of the respondents, however, believed that pragmatic knowledge was as important as linguistic knowledge in the process of developing communicative competence for interaction in different contexts. It was argued that a combination of a less than sufficient English proficiency, limited knowledge of pragmatics, inadequate language materials and tasks, and a small stock of language learning strategies, were a major hindrance to effective learning and communication, resulting in pragmatic failures in many intercultural communication situations. As the first systematic study of how Chinese College English students learned pragmatics, the research provided a solid empirical base for developing a tentative model for the learning of pragmatics in a College English classroom in China and similar educational contexts. The model was strengthened by a unique combination of theories of pragmatics, intercultural communication and ELF. Findings from this research provided insights into how Chinese College English students perceived pragmatics in the English as foreign language (EFL) curriculum, the processes of learning, as well as strategies they utilized in developing linguistic and pragmatic knowledge and competence.

Shut up and write! Facilitating informal learning in doctoral candidature

Doctoral candidates spend at least 2/3 of their degree outside of structured classroom instruction; most of their learning and writing takes place in their own time. Providing research degree candidates with writing help during their degree study is difficult. Candidates come into their degree with widely varying needs and levels of experience. Course work might seem to offer a way to create parity, but, according to the Australian Qualification Framework, mandated coursework can only occupy 1⁄3 of the degree

O uso do vídeo na educação

Este trabalho objetivou verificar como vem sendo utilizada a videoeducação na educação presencial, buscando elaborar um levantamento dos problemas que podem surgir de sua utilização na educação à distância com mediação da informática E@D. Para isso, partiu-se da verificação de como ela vem sendo abordada na educação presencial e de que forma o cinema, enquanto obra de arte presentificado nos espaços educativos, contribui para a construção do conhecimento; e, em que medida, a videoeducação poderá ser potencializada, na E@D, visando à construção desse conhecimento. Foram considerados os conceitos de linguagem, em Saussure, e a questão sociointerativa, em Vigotsky. Paralelamente, no viés de Iser e Eco, mostrou-se a proficiência do leitor na construção do conhecimento. A investigação das NTICs no universo educacional fundamentadas por Lévy e Morin, e por Nóvoa, apontam em que medida o professor está preparado para esse advento e, se não, como ele incorpora o novo paradigma de aprendizagem, agora permeada pela cultura midiática, levando-nos a concluir que a videoeducação ainda não se constituiu como um recurso estratégico na ocupação dos espaços educativos, nem tampouco, nas interações cotidianas promovidas pelos sujeitos sociais

Teoria, proposta e aplicação de uma sequência didática em Educação Linguística: trabalhando os conceitos de língua, gramáticas e normas linguísticas no nono ano do Ensino Fundamental

O ensino-aprendizagem da disciplina Língua Portuguesa se apresenta como um desafio para professores e alunos; muito disso se deve à falta de reconhecimento da diversidade linguística (LIMA, 2014). Há uma tendência no ambiente escolar em se valorizar apenas uma norma linguística, ignorando as diferentes normas que fazem parte do convívio em sociedade. Com isso, os discentes entram em conflito, pois aquilo que é apresentado para eles como a Língua Portuguesa está bem distante da sua experiência pessoal com a língua. Em via de eliminar esse conflito, os PCNs e o PNLD estabelecem a inserção do tema variação linguística no conteúdo programático da disciplina Língua Portuguesa. Entretanto, ainda perdura uma lacuna no tratamento desse tema. A preocupação em preencher essa lacuna motivou este trabalho, que teve como objetivo principal propor e aplicar uma sequência didática que abordasse os seguintes temas: língua, gramáticas e normas linguísticas, a fim de contribuir com a realização de uma Educação Linguística eficaz (BAGNO; RANGEL, 2005). Esses três conteúdos principais geraram desdobramentos que proporcionaram a discussão dos seguintes tópicos: variação e preconceito linguísticos. A sequência didática elaborada é composta por oito etapas em que são intercalados momentos de aula expositiva e de atividades lúdicas. A aplicação da proposta de sequência didática ocorreu em uma turma de nono ano do Ensino Fundamental de um CIEP (Centro Integrado de Educação Pública) localizado na Zona Oeste da cidade do Rio de Janeiro. As ferramentas utilizadas para identificar os conteúdos assimilados pelos alunos foram a avaliação da participação da turma e os resultados de quatro atividades específicas. Considerando a complexidade e o ineditismo dos conceitos apresentados na sequência didática, o desempenho da classe foi satisfatório. Os alunos também responderam a dois questionários, um no início da sequência e outro ao final, que tinham o propósito de avaliar se houve mudança com relação ao entendimento da existência de variação linguística e do preconceito linguístico. O primeiro questionário revelou que a maioria dos alunos já havia sofrido e praticado preconceito linguístico; já o segundo mostrou que a maioria dos discentes assimilou a noção de preconceito linguístico e rompeu com a ideia de certo e errado na língua. Como objetivo secundário, este trabalho intentou deixar um legado para professores, pois com esta dissertação a ação não ficará limitada apenas ao nono ano daquele CIEP, mas poderá contribuir com o ensino linguístico de diversas escolas; e para pesquisadores, pois este registro descreve um modelo de trabalho acadêmico em que se pretendeu aplicar o princípio de indissociabilidade entre ensino, pesquisa e extensão. A expectativa é que, somados a trabalhos similares, seja possível abrir um precedente de trabalhos acadêmicos fundamentados teoricamente e desenvolvidos de forma prática, além de realizados com preocupações sociais e educacionais

A meta-analysis of the effectiveness of intelligent tutoring systems on college students' academic learning

© 2013 American Psychological Association.This meta-analysis synthesizes research on the effectiveness of intelligent tutoring systems (ITS) for college students. Thirty-five reports were found containing 39 studies assessing the effectiveness of 22 types of ITS in higher education settings. Most frequently studied were AutoTutor, Assessment and Learning in Knowledge Spaces, eXtended Tutor-Expert System, and Web Interface for Statistics Education. Major findings include (a) Overall, ITS had a moderate positive effect on college students' academic learning (g = .32 to g = .37); (b) ITS were less effective than human tutoring, but they outperformed all other instruction methods and learning activities, including traditional classroom instruction, reading printed text or computerized materials, computer-assisted instruction, laboratory or homework assignments, and no-treatment control; (c) ITS's effectiveness did not significantly differ by different ITS, subject domain, or the manner or degree of their involvement in instruction and learning; and (d) effectiveness in earlier studies appeared to be significantly greater than that in more recent studies. In addition, there is some evidence suggesting the importance of teachers and pedagogy in ITS-assisted learning.

Experimental Evaluations of Elementary Science Programs: A Best-Evidence Synthesis

This article presents a systematic review of research on the achievement outcomes of all types of approaches to teaching science in elementary schools. Study inclusion criteria included use of randomized or matched control groups, a study duration of at least 4 weeks, and use of achievement measures independent of the experimental treatment. A total of 23 studies met these criteria. Among studies evaluating inquiry-based teaching approaches, programs that used science kits did not show positive outcomes on science achievement measures (weighted ES=+0.02 in 7 studies), but inquiry-based programs that emphasized professional development but not kits did show positive outcomes (weighted ES=+0.36 in 10 studies). Technological approaches integrating video and computer resources with teaching and cooperative learning showed positive outcomes in a few small, matched studies (ES=+0.42 in 6 studies). The review concludes that science teaching methods focused on enhancing teachers’ classroom instruction throughout the year, such as cooperative learning and science-reading integration, as well as approaches that give teachers technology tools to enhance instruction, have significant potential to improve science learning.

The development of a Flanders Interaction Analysis style instrument for use in educational computer mediated communication research

Please consult the paper edition of this thesis to read. It is available on the 5th Floor of the Library at Call Number: Z 9999 E38 D56 1992

A Shift in Role: The Perspectives of Ontario Secondary Principals Working in Data-Driven Environments

This study occurred in 2009 and questioned how Ontario secondary school principals perceived their role had changed, over a 7 year period, in response to the increased demands of data-driven school environments. Specifically, it sought to identify principals' perceptions on how high-stakes testing and data-driven environments had affected their role, tasks, and accountability responsibilities. This study contextualized the emergence of the Education Quality and Accountability Offices (EQAO) as a central influence in the creation of data-driven school environments, and conceptualized the role of the principal as using data to inform and persuade a shift in thinking about the use of data to improve instruction and student achievement. The findings of the study suggest that data-driven environments had helped principals reclaim their positional power as instructional leaders, using data as an avenue back into the classroom. The use of data shifted the responsibilities of the principal to persuade teachers to work collaboratively to improve classroom instruction in order to demonstrate accountability.