Кассини Овал

метод Лапла с. - метод теории дифференциальных уравнений с частными производными, позволяющий в нек-рых случаях находить общее решение линейного уравнения с частными производными гиперболич. Типа построив последовательность уравнений через решения к-рых выражается решение уравнения (1). Уравнение (1) может быть записано в одном из следующих видов. где Функции hи кназ. Инвариантами уравнения (1). При h=0 решение уравнения (1) сводится к интегрированию обыкновенных дифференциальных ура..

обыкновенная точка возврата,- особая точка алгебраич. Кривой специального типа. А именно, особая точка халгебраич. Кривой Xнад алгебраически замкнутым полем kназ. К., если пополнение ее локального кольца OX,x изоморфно пополнению локального кольца плоской алгебраич. Кривой y2+x3=0 в начале координат.. ..

- линейчатая поверхность, прямолинейные образующие к-рой параллельны одной и той же плоскости. Ее стрикционная линия плоская. Радиус-вектор К. П. R=p(u)+vl(u), причем (l, l', l')=0. Если все образующие К. П. Пересекают одну и ту же прямую, то она является коноидом. Лит.:[1] Catalan E., Memoire sur les surfaces gauches a plan directeur, P., 1843. И. Х. Сабитов.. ..

- всякая система аксиом 2 , для к-рой все алгебраические системы сигнатуры 2, удовлетворяющие этим аксиомам, изоморфны. Из теоремы Мальцева - Тарского об элементарном расширении следует, что модели категоричной системы е аксиом 1-го порядка имеют конечную мощность. Верно и обратное. Для любой конечной алгебраич. Системы Асуществует категоричная система е аксиом 1-го порядка, модели к-рой изоморфны А. Пусть е 0 - множество универсальных замыканий формул где j(х).- любая формула сигнатуры Сис..