This paper abridges lecture notes from WOFACS 96. It provides semantic models for a variety of programming and development formalisms, showing how different models for the same formalism are related by Galois connections. ...

The purpose of the study was to explore problems encountered in the teaching and learning of statistics in grade 11 and to offer ways of addressing them. A convenient sample of 100 grade 11 mathematics teachers and 448 ...

This study investigated the problem-solving skills of Grade 12 learners in probability. A total of 490 Grade 12 learners from seven schools, categorised under four quintiles (socioeconomic factors) were purposefully selected ...

Dijkstra's guarded-command language GCL contains explicit 'demonic' nondeterminism, representing abstraction from (or ignorance of ) which of two program fragments will be executed. We introduce probabilistic nondeterminism ...