Контрпримеры в информатике и их применение