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.

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.

Enhancing student learning with case-based teaching and audience response systems in an interdisciplinary Food Science course

A growing body of research in higher education suggests that teachers should move away from traditional lecturing towards more active and student-focus education approaches. Several classroom techniques are available to engage students and achieve more effective teaching and better learning experiences. The purpose of this paper is to share an example of how two of them – case-based teaching, and the use of response technologies – were implemented into a graduate-level food science course. The paper focuses in particular on teaching sensory science and sensometrics, including several concrete examples used during the course, and discussing in each case some of the observed outcomes. Overall, it was observed that the particular initiatives were effective in engaging student participation and promoting a more active way of learning. Case-base teaching provided students with the opportunity to apply their knowledge and their analytical skills to complex, real-life scenarios relevant to the subject matter. The use of audience response systems further facilitated class discussion, and was extremely well received by the students, providing a more enjoyable classroom experience.

[the Teaching Of Social Sciences In Health: Between Practice And Theory].

The models of teaching social sciences and clinical practice are insufficient for the needs of practical-reflective teaching of social sciences applied to health. The scope of this article is to reflect on the challenges and perspectives of social science education for health professionals. In the 1950s the important movement bringing together social sciences and the field of health began, however weak credentials still prevail. This is due to the low professional status of social scientists in health and the ill-defined position of the social sciences professionals in the health field. It is also due to the scant importance attributed by students to the social sciences, the small number of professionals and the colonization of the social sciences by the biomedical culture in the health field. Thus, the professionals of social sciences applied to health are also faced with the need to build an identity, even after six decades of their presence in the field of health. This is because their ambivalent status has established them as a partial, incomplete and virtual presence, requiring a complex survival strategy in the nebulous area between social sciences and health.

Motivating Medical Students To Learn Basic Science Concepts Using Chronic Myeloid Leukemia As An Integration Theme.

To report on the use of chronic myeloid leukemia as a theme of basic clinical integration for first year medical students to motivate and enable in-depth understanding of the basic sciences of the future physician. During the past thirteen years we have reviewed and updated the curriculum of the medical school of the Universidade Estadual de Campinas. The main objective of the new curriculum is to teach the students how to learn to learn. Since then, a case of chronic myeloid leukemia has been introduced to first year medical students and discussed in horizontal integration with all themes taught during a molecular and cell biology course. Cell structure and components, protein, chromosomes, gene organization, proliferation, cell cycle, apoptosis, signaling and so on are all themes approached during this course. At the end of every topic approached, the students prepare in advance the corresponding topic of clinical cases chosen randomly during the class, which are then presented by them. During the final class, a paper regarding mutations in the abl gene that cause resistance to tyrosine kinase inhibitors is discussed. After each class, three tests are solved in an interactive evaluation. The course has been successful since its beginning, 13 years ago. Great motivation of those who participated in the course was observed. There were less than 20% absences in the classes. At least three (and as many as nine) students every year were interested in starting research training in the field of hematology. At the end of each class, an interactive evaluation was performed and more than 70% of the answers were correct in each evaluation. Moreover, for the final evaluation, the students summarized, in a written report, the molecular and therapeutic basis of chronic myeloid leukemia, with scores ranging from 0 to 10. Considering all 13 years, a median of 78% of the class scored above 5 (min 74%-max 85%), and a median of 67% scored above 7. Chronic myeloid leukemia is an excellent example of a disease that can be used for clinical basic integration as this disorder involves well known protein, cytogenetic and cell function abnormalities, has well-defined diagnostic strategies and a target oriented therapy.

Impact of Commercial Search Engines and International Databases on Engineering Teaching and Research

For the last three decades, the engineering higher education and professional environments have been completely transformed by the "electronic/digital information revolution" that has included the introduction of personal computer, the development of email and world wide web, and broadband Internet connections at home. Herein the writer compares the performances of several digital tools with traditional library resources. While new specialised search engines and open access digital repositories may fill a gap between conventional search engines and traditional references, these should be not be confused with real libraries and international scientific databases that encompass textbooks and peer-reviewed scholarly works. An absence of listing in some Internet search listings, databases and repositories is not an indication of standing. Researchers, engineers and academics should remember these key differences in assessing the quality of bibliographic "research" based solely upon Internet searches.

Teaching in rural and remote schools: a literature review

In this paper. the authors examine a wide range of recent research into the preparation and support for teachers working in rural and remote schools. The paper reviews many preservice and inservice initiatives which highlight issues affecting:teaching and learning in schools outside the major metropolitan centres. The work is reviewed from an Australian perspective but evaluates research from throughout the world. The paper concludes that despite a large body of research (Gibson, 1994), that has identified the need for specialised pre-service preparation which accommodates the social and professional differences associated with work in rural and remote areas, the implementation of such programs by teacher training institutions has been sparse, lacking in cohesion and in many cases non-existent. (C) 1998 Elsevier Science Ltd. All rights reserved.

An evidence-based medicine fellowship in a children's teaching hospital

This paper reports the introduction of an evidence-based medicine fellowship in a children’s teaching hospital. The results are presented of a self-reported ‘evidence-based medicine’ questionnaire, the clinical questions requested through the information retrieval service are outlined and the results of an information retrieval service user questionnaire are reported. It was confirmed that clinicians have frequent clinical questions that mostly remain unanswered. The responses to four questions with ‘good quality’ evidence-based answers were reviewed and suggest that at least one-quarter of doctors were not aware of the current best available evidence. There was a high level of satisfaction with the information retrieval service; 19% of users indicated that the information changed their clinical practice and 73% indicated that the information confirmed their clinical practice. The introduction of an evidence-based medicine fellowship is one method of disseminating the practice of evidence-based medicine in a tertiary children’s hospital.

Teaching PSP: Challenges and lessons learned

Teaching the PSP: Challenges and Lessons Learned by Jurgen Borstler, David Carrington, Gregory W Hislop, Susan Lisack, Keith Olson, and Laurie Williams, pp. 42-48. Soft-ware engineering educators need to provide environments where students learn about the size and complexity of modern software systems and the techniques available for managing these difficulties. Five universities used the Personal Software Process to teach software engineering concepts in a variety of contexts.

Veterinary parasitology teaching in eastern Australia

There are tendencies in universities globally to change undergraduate teaching in veterinary parasitology. To be able to give considered advice to universities, faculties, governmental bodies and professional societies about a discipline and to establish how particular changes may impact on the quality of a course, is the requirement to record and review its current status. The present paper contributes toward this objective by providing a snap-shot of the veterinary parasitology courses at the Universities of Melbourne, Sydney and Queensland in eastern Australia. It includes a description of the veterinary science curriculum in each institution, and provides an outline of its veterinary parasitology course, including objectives, topics covered, course delivery, student examination procedures and course evaluation. Student contact time in veterinary parasitology during the curriculum is currently higher in Melbourne (183 h) compared with Sydney and Queensland (106-110 h). In the teaching of parasitology, Melbourne adopts a taxonomic approach (in the pre-clinical period) followed by a combined disciplinary and problem-based approach in the clinical semesters, whereas both Sydney and Queensland focus more on presenting parasites on a host species-basis followed by a problem-based approach. (C) 2002 Elsevier Science B.V. All rights reserved.

Principles versus artifacts in computer science curriculum design

Computer Science is a subject which has difficulty in marketing itself. Further, pinning down a standard curriculum is difficult-there are many preferences which are hard to accommodate. This paper argues the case that part of the problem is the fact that, unlike more established disciplines, the subject does not clearly distinguish the study of principles from the study of artifacts. This point was raised in Curriculum 2001 discussions, and debate needs to start in good time for the next curriculum standard. This paper provides a starting point for debate, by outlining a process by which principles and artifacts may be separated, and presents a sample curriculum to illustrate the possibilities. This sample curriculum has some positive points, though these positive points are incidental to the need to start debating the issue. Other models, with a less rigorous ordering of principles before artifacts, would still gain from making it clearer whether a specific concept was fundamental, or a property of a specific technology. (C) 2003 Elsevier Ltd. All rights reserved.

Indicadores de Ciência, Tecnologia & Inovação : análise da produção científica e tecnológica da área de conhecimento em Engenharia Civil na Base de Dados da Web of Science

Esta dissertação trata da análise da produção científica e tecnológica internacional e brasileira na área de conhecimento Engenharia Civil, por meio de indicadores bibliométricos. A área Engenharia Civil foi escolhida em razão da sua relevância para o desenvolvimento econômico do país. No entanto, em termos absolutos e relativos, está entre os setores tecnologicamente mais atrasados da economia. A bibliometria é uma disciplina com alcance multidisciplinar que estuda o uso e os aspectos quantitativos da produção científica registrada. Os indicadores de produção científica são objeto de análise de várias áreas do conhecimento, tanto para o planejamento e a execução de políticas públicas de vários setores quanto para maior conhecimento da comunidade científica sobre o sistema em que está inserida. A metodologia utilizada para a elaboração deste estudo descritivo de caráter exploratório foi a análise documental e bibliométrica, baseada em dados das publicações científicas, no período de 1970 a 2012, e tecnológicas, no período de 2001 a 2012, da área Engenharia Civil, indexadas nas bases de dados Science Citattion Index Expanded (SCI); Social Science Citation Index (SSCI); Conference Proceedings Citation Index (CPCI) e da Derwent Innovations Index (DII), que compõem a base de dados multidisciplinar da Web of Sicence (WoS). As informações foram qualificadas e quantificadas com o auxílio do software bibliométrico VantagePoint®. Os resultados obtidos confirmaram o baixo número de publicações científicas e tecnológicas na área de conhecimento Engenharia Civil de autores filiados a instituições de ensino e pesquisa brasileiras quando comparados aos dos países industrializados. Existe um conjunto de fortes condicionantes que ultrapassam o poder de decisão e de influência da academia, dificultando e limitando a disseminação das pesquisas e patentes brasileiras relacionadas a fatores de caráter sistêmico e cultural. A possibilidade de análise de indicadores de produção científica e tecnológica na Engenharia Civil contribui para criar políticas que, se utilizadas por agências de fomento, podem subsidiar investimentos mais fundamentados por parte dos governos e da iniciativa privada, a exemplo do que é feito por outros setores industriais.