Решите с графика
{x^2+y^2⩽9
y⩽ 1-x

Решение
1)  2cosx-1 < 0
cosx < 1/2
arccos(1/2) + 2πn < x < 2π - arccos(1/2) + 2πn, n ∈ Z
π/3 + 2πn < x < 2π - π/3 + 2πn, n ∈ Z
π/3 + 2πn < x < 5π/3 + 2πn, n ∈ Z
2)  sin2x - √2/2 < 0
 sin2x < √2/2 
- π - arcsin(√2/2) + 2πk < 2x < arcsin(√2/2) + 2πk, k ∈ Z
- π - π/4 + 2πk < 2x < π/4 + 2πk, k ∈ Z
 - 5π/4 + 2πk < 2x < π/4 + 2πk, k ∈ Z
 - 5π/8 + πk < x < π/8 + πk, k ∈ Z
3)  tgx<1
- π/2 + πn < x < arctg(1) + πn, n ∈ Z
- π/2 + πn < x < π/4 + πn, n ∈ Z

1) Ставим 1 том первым. Вторым может быть любой, кроме 4.
Это 4 варианта. Остальные 4 тома ставим как угодно. Это 24 варианта.
Всего 24*4 = 96 вариантов.
2) Ставим 1 том вторым. Первый - любой, кроме 4. Это 4 варианта. Третьим - тоже любой оставшийся, кроме 4. Это 3 варианта.
Остальные 3 тома как угодно. Это 6 вариантов.
Всего 4*3*6 = 72 варианта.
3) Ставим 1 том третьим. Первый - какой угодно, это 5 вариантов.
Второй - любой, кроме 4. Это 3 варианта.
Четвертый - тоже любой, кроме 4. Это 2 варианта.
Пятый и шестой - какие угодно. Это 2 варианта.
Всего 5*3*2*2 = 60 вариантов.
4) Ставим 1 том четвертым. Это аналогично 3). 60 вариантов.
5) Ставим 1 том пятым. Это аналогично 2). 72 варианта.
6) Ставим 1 том последним. Это аналогично 1). 96 вариантов.
Итого 96 + 72 + 60 + 60 + 72 + 96 = 396 вариантов.