Навчання теоретичних основ інформатики студентів інформатичних спеціальностей педагогічних університетів