Stav dette: Theory and problems of introduction to computer science /