Представьте предикат а) в предваренной нормальной форме, б) в сколемовской нормальной форме Докажите, что имеют место следующие выводимости

Нарисовать профиль полуограниченной струны (икс больше или равно ноль) (уравнение колебаний у т т равно а в квадрате умножить на у икс икс) в моменты времени

Решить уравнение xy' = √(x^2 - y^2 + y) Заменяя  z  на  y/x, будем иметь общий интеграл arcsin(y/x)=lnCx отсюда  y = x · sin ln Cx  - общее решение. Ответ:  y = x · sin ln Cx.

Первый рабочий изготовил 40 деталей, из которых 4 бракованных. Второй рабочий изготовил 30 таких же деталей, из которых 2 бракованных. Найти вероятность того, что деталь, взятая наудачу контролёром ОТК, соответствует ГОСТу.