Дискретные модели в информатике: Обзор и примеры