Приведенная Схема

- правило логич. Вывода, позволяющее заключить, что если из списка утверждений Г, А следует как утверждение В, так и утверждение , то из списка Г следует . Правило П. К а. Записывают, напр., в виде и наз. Также правилом введения отрицания. П. К а. Является допустимым правилом для подавляющего большинства логико-матеатич. Исчислений, C. Ю. Маслов. ..

по модулю т - набор, составленный из всех чисел полной системы вычетов по модулю те, взаимно простых с т. П. С. В. По модулю тсостоит из j(т). Чисел, где j(т) - функция Эйлера. В качестве П. С. В. По модулю тобычно берутся взаимно простые с тчисла полной системы вычетов 0, 1, . , m-i. С. А. Степанов. ..

понятие, часто используемое в теории комплексных пространств, в особенности в теории модулей комплексных структур. Пусть К - компакт в - ограничение на Кпучка ростков голоморфных функций в . Компакт Кназ. Привилегированным относительно когерентного аналитического пучка , заданного на К, если существует точная последовательность отображений -пучков (1) в к-рой , с нек-рыми , i=0, 1, . , п, такая, что порожденная ею последовательность непрерывных операторов (2) точна и расщепляема. ..

обыкновенных дифференциальных уравнений - система (или ), (*) (или ), переходящая в систему с постоянными коэффициентами у=Ву в результате замены x=L(t)y, где L(t) - нек-рое Ляпунова преобразование. Если отображение A(t).непрерывно и периодически зависит от t, то система (*) приводима (теорема Ляпунова). Для приводимости системы (*) необходимо и достаточно, чтобы нашлись преобразование Ляпунова L(t).и оператор Втакие, что всякое решение системы (*) имеет вид (критерий Еругина). Лит.:[..