Models of quantum search algorithms. Introduction for IT students – pedagogical examples