Формулы и системы счисления в информатике