repozitorij za predmet logika v računalništvu