In order to create professional development experiences, curriculum materials, and policies that support elementary school teachers to embed computational thinking (CT) in their teaching, researchers and teacher educators must understand ways teachers see CT as connecting to their classroom practices. We interviewed 12 elementary school teachers,…

An important aspect of education is to promote higher-order thinking skills to learners. However, in the lecture environment, learners are passively engaged and it is unlikely for higher-order thinking to occur. Although interventions such as "clickers" can be used to increase engagement in lectures, this does not necessarily promote…

This paper describes applications of logic programming technology to the teaching of the inductive method in computer science and mathematics. It discusses the nature of inductive thought and its place in those fields of inquiry, arguing that a complete logic programming system for supporting inductive inference is not only feasible but necessary.…