Докажите выводимость заключения по принципу резолюции: в числителе A→B); (C→D); (A→C); (A→˥D); (C→˥D) в знаменателе (D↔˥B).

Вычислить ранг матрицы: а) методом окаймляющих миноров; б) методом элементарных преобразований: (6 3 -2 4 7; 7 4 -3 2 4; 1 1 -1 -2 -3).

По заданным вершинам А, В, С треугольника АВС требуется найти: 1) длину стороны AB; 2) уравнения сторон AB и AC; 3) угол A в радианах с точностью до двух знаков; 4) уравнение высоты BD, проведённой из вершины B к стороне AC и её длину

Экспериментально получены значения функции y=f(x), которые представлены в таблице. Методом наименьших квадратов найти функцию вида y=a/x^2 +b/x+c, аппроксимирующую функцию y=f(x,y).