Teaching Logic as a Computer Language in Schools.

摘要: This chapter introduces "Logic as a Computer Language for Children", supported by SERC from 1980, based at Imperial College London and Park House Middle School, Wimbledon Park. The pilot class their mathematics teacher explored potential applications of logic across the curriculum.