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.

The teaching contest as a professional development activity to promote classroom instruction excellence in China

Teaching contests might be alien to many readers outside of China mainland, but as one of professional development activities, it is well known by most of Chinese school teachers. This chapter, based on the data collected by mail surveys to the contest organizers, evaluation panel members, contest winners, and ordinary participating teachers, and detailed notes taken from various meetings of the evaluation committee, as well as a lesson video of one of the three contest winners, we aimed to the 2011 national high school teachers' teaching contests carefully, to examine the aims and processes of teaching contests, their possible merits or weaknesses for teachers’ professional development, and features of exemplary lessons demonstrated during the national teaching contest. It was found that the aim of the teaching contest was totally not the competition per se., to promote curriculum development and teachers' professional development, to provide a big platform for those teachers who pursue excellence in teaching to display, discuss, explore, and share with others about mathematics instruction were real intentions of the organizers.

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.

Response of the child with autism to preferred prosody during instruction

It has been found that incorporating preferences leads to improvements in target skills for children with autism. No studies have been found, however, that assess the preferences of children for prosody of teacher instruction. Prosody has been defined by fluency of speech, modification of pitch and stress of syllables. This research assessed the preference for, and effectiveness of, prosody of instruction by teachers of children with autism. The preferences of children with autism for monotone, conversational and enthusiastic voice prosodies were assessed. The children's teachers made recording of their own voice reading a story passage in the three selected prosodies. The children with autism were requested to listen to these recordings and select a preferred prosody over thirty three trials. Chi square analyses were conducted to determine the significant preferences from these trials. The selections of prosody of the children with autism were compared with the selections of typical children of the same age. Significant preferences were found for three children with autism and seven typical children. The three children with autism with significant preferences were observed in their classrooms. Teachers were cued with flashcards to use the different prosodies and the children's responses were recorded. An additional twenty instructions were recorded in which the teachers were not given a cue for voice prosody Chi square and Fisher's exact tests indicated that children's preferences did not influence their responses to prosody during classroom instruction. In other words the response in class was not related to prosody preference. Overall children were more likely to not respond to the monotone prosody. The enthusiastic and conversational prosodies were equally effective. Therefore it was concluded that continued and varied use of enthusiastic and conversational prosodies during classroom instruction would be effective for children with autism. It was recommended that future research focus on evaluating the effectiveness of variety of prosody for children with autism.

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