Методом резолюций следует доказать теорему├ (А → В) → ((А → (В → С)) → (А → С)). Привести посылки и отрицание заключения к КНФ.

Найти общее решение дифференциального уравнения. y" - 4y' = 24e^2x - 4 cos 2x + 8 sin 2x. Линейное неоднородное дифференциальное уравнение третьего порядка.

Выберите верные варианты ответа. На четырех складах имеются запасы груза 100т., 210 т., 230т., 60т. Два потребителя запрашивают 150т., 450т. Матрица стоимостей перевозок имеет вид

прямоугольник со сторонами 5 и 12 вращается вокруг перпендикуляра к диагонали проведённого через её конец найдите объем тела вращения