Решить систему линейных дифференциальных уравнений методом сведения к уравнению второго порядка.

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

Составьте математическую модель задачи. Строим область D, находя пересечение полуплоскостей, каждая из которых задается одним из неравенств системы

Найдите все значения параметра , при каждом из которых система уравнений имеет ровно два различных решения.