Automated theorem proving (ATP) for Propositional Classical Logic is an algorithm to check the validity of a formula. It is a very well-known problem which is decidable but co-NP-complete. There are many algorithms for this problem. In this paper, an educationally oriented implementation of Semantic Tableaux method is described. The program has…

Using Mathematical Modelling has become a useful tool in teaching-learning mathematics at all levels. This is so because mathematical objects are seen from their very applications, giving them meaning from the beginning. In this paper we present some details on the development of a teacher's training course called Modelling in the Teaching of…

This is a guide to using Maple in teaching fundamental calculus of one, two and three variables (limits, derivatives, integrals, etc.), also suitable for Maple beginners. It outlines one of the ways to effective use of computers in the teaching process. It scans advantages and disadvantages of using Maple in relation to students and teacher. The…

Instructors are under pressure to integrate technology into their traditional or online instruction, but often they aren't sure what to do or why they should do it. The "Technology Toolbelt for Teaching" offers instructors a down-to-earth guide to common technologies, explains the pedagogical purposes they serve, and shows how they can be used…

Despite the growing number of books designed to radically reconsider the educational value of video games as powerful learning tools, there are very few practical guidelines conveniently available for prospective history and social studies teachers who actually want to use these teaching and learning tools in their classes. As the games and…

If you've upgraded to the second edition of the landmark book "Classroom Instruction That Works," you need this companion guide to help you use technology to support research-based instruction. The authors follow the revised Instructional Planning Guide that makes it easier for you to know when to emphasize each of the instructional strategies,…

Teachers the world over are discovering the importance and benefits of incorporating popular culture into the music classroom. The cultural prevalence and the students' familiarity with recorded music, videos, games, and other increasingly accessible multimedia materials help enliven course content and foster interactive learning and…

Modern technology and the Internet have opened the door to a plethora of new opportunities to learn. It is now easier to research, communicate and study, thanks to advances in technology. There are, however, problems and dangers associated with new technology. Teachers need to remain up to date on these advances. The widespread popularity of…

This guide summarizes "Effective Programs for Struggling Readers: A Best Evidence Synthesis," a research review conducted by Johns Hopkins University's Center for Research and Reform in Education. The purpose of the review was to evaluate the achievement outcomes of alternative approaches for struggling readers in grade K-5: (1) one-to-one…

"Mashup" is a new technology term used to describe a web application that combines data or technology from several different sources. You can apply this concept in your classroom by having students create their own mashup maps. Google Maps provides you with the simple tools, map databases, and online help you'll need to quickly master this…

Understanding the concept of the sampling distribution of a statistic is essential for the understanding of inferential procedures. Unfortunately, this topic proves to be a stumbling block for students in introductory statistics classes. In efforts to aid students in their understanding of this concept, alternatives to a lecture-based mode of…

"Mathematics is more than skills... it is also the excitement of discovery." This is how Derek Holton, one of the contributing authors to this book, defines mathematics. His enthusiasm and energy are echoed throughout by many of the other writers. This is a book to delight mathematics teachers at all stages: experienced and inexperienced;…

This is a must-have resource for all K-12 teachers and administrators who want to really make the best use of available technologies. Written by Doug Johnson, an expert in educational technology, "The Classroom Teacher's Technology Survival Guide" is replete with practical tips teachers can easily use to engage their students and make their…

"Singapore Math: Place Value, Computation & Number Sense" is a six-part presentation on CD-ROM that can be used by individual teachers or an entire school. The author takes primary to upper elementary grade teachers through place value skills with each of the computational operations: addition, subtraction, multiplication, and division. She gives…

Describes a suite of computer-based learning (CBL) programs called Mind Tools that help to record, structure, and analyze information and manage learning. (Author/CCM)