An instructor's environment for automatic generation of problem sequences

Learning how to solve problems is one of the best supplements to the traditional teaching of computer science courses. The presence of multiple sets of well-developed sequences of problems makes teaching much easier and more efficient. The subject discussed in this paper refers to the automatic generation of problem sets considering problems of a specific type. A formal model for generation of problem sequences is described.