Digital culture and creativity are often framed as immaterial (Casemajor, 2015), distinct from traditional media, such as paint and clay, and divorced from the immediate, embodied, and political realities of the arts classroom. 3D printing troubles this distinction, providing a concrete way for students' digitally created artifacts to manifest in,…

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 practical teachers' guide will help you to unlock the enormous potential of new technology in order to enhance pupils' learning, particularly for young people with additional needs. Written by two of the UK's leading technology experts, this new resource will enable you to use ICT effectively to make lessons more accessible, motivating and…

"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…

The Problems of the Week (PoWs) are creative, non-routine math challenges for elementary-, middle-, and high-school-level students. They are designed to stimulate student interest in problem solving and to encourage them to communicate their mathematical thinking. This Teacher's Guide describes program features and provides strategies for…

Learners' choices of problem solving tools and techniques are influenced by the context in which the problem is encountered, and methods utilized in one context may not be recognized as natural ways to proceed in another. Explores the process of fostering learner-initiated applications of technology to address the wide range of problems outside of…

Discusses the use of a spreadsheet program to vary the parameters in multiloop circuit problems. Enables students to better understand how the elements in a multiloop circuit determine the current by allowing them to see the results of the changes immediately. (JRH)

Discusses a method that uses spreadsheets to calculate the exact distribution of the sum of two or more discrete random variables with arbitrary distributions. Demonstrates how this method can be used to investigate several problems that would be found interesting at the elementary level. (Author/ASK)

This book builds on the social nature of learning to provide useful suggestions for reaching reluctant learners. It is based on the assumption that instruction that focuses on students' interests and builds on collaborative and differentiated learning will allow students to move from believing they "can't do mathematics or science" to a feeling of…

Drawing on the experience of two first-year classrooms in Melbourne, Australia, this article explores numeracy learning within an information and communication technology (ICT) environment. Included are examples of how mathematical skills can be promoted and learned in such a way that children can extend their use to practical, problem-solving…

Discusses software for geometric construction, measurement, and calculation, and software for numerical calculation and symbolic analysis that allows for new approaches to the solution of geometric problems. Illustrates these computer-aided graphical, numerical, and algebraic methods of solution and discusses examples using the appropriate choice…

This book provides a framework to help teachers connect brain-compatible learning, multiple intelligences, and the Internet to help students learn and understand critical concepts and skills. Educators will find internet-based activities that feature interpersonal exchange, problem-solving, and information gathering and analysis, plus…

Focuses on the development of a middle school's meaningful problem-based computer and technology education program. Discusses constructing the bridge between in-school and out-of-school learning by preparing real-life situations in the classroom. Highlights the use of technology, especially computers, by focusing on problem posing and problem…