the time necessary to teach this course. We also gratefully acknowledge the help and support of Dr. James Alves-Foss and Dr. Deborah Frincke and the Laboratory for Applied Logic, where formal methods are appreciated daily. And, most importantly, we thank the students who took our course|without whom the experiment would surely have failed. Abstract Formal methods, the application of mathematica...

INTRODUCTION Nowadays, regarding the learners' needs and social conditions, it is obviously needed to revise and reconsider the traditional methods and approaches in teaching. The problem solving approach is one of the new ways in Teaching and learning process. This study aimed at studying and examining the effect of "problem-solving" approach on creative thinking of high school female students...

The aim of the study was to assess deep and shallow water teaching methods in swimming lessons for preschool children and identify variations in the basic aquatic skills acquired. The study sample included 32 swimming instructors (16 from deep water programs and 16 from shallow water programs) and 98 preschool children (50 from deep water swimming pool and 48 from shallow water swimming pool). ...

During the past three years we have been integrating mechanized theorem proving into a traditional introductory course on formal methods. We explain our goals for adding mechanized provers to the course, and illustrate how we have integrated the provers into our syllabus to meet those goals. We also document some of the teaching materials we have developed for the course to date, and what our e...