The paper describes some possible ways how to improve Olympiads in Informatics. Tasks in Olympiads are small models of programming tasks in software industry and in the limited amo...
We consider the possible ways of the homogenization of nongraded non-commutative algebra and show that it should be combined with the cancellation rule to get the mathematically a...
In rule-based systems, goal-oriented computations correspond naturally to the possible ways that an observation may be explained. In some applications, we need to compute explanat...