Изучение методов делимости в дискретной математике на примерах кода

Унификация в дискретной математике: изучение методов и примеры кода

Освоение хорошо упорядоченных множеств в дискретной математике: подробное руководство