1.6. Логические условия
     1.6.1. Проверки и предикаты
     1.6.2. Ветвления
     1.6.3. Логические связки
     1.6.4. Пример: программа дифференцирования
     1.6.5. Пример: сравнение множеств