Общерекурсивная Функция

системы обыкновенных дифференциальных уравнений п- гопорядка в области G- гладкое по t и непрерывное по совокупности параметров n-параметрическое семейство вектор-функций откуда при соответствующем выборе значений параметров получается любое решение системы, график к-рого проходит в области . Здесь область, где выполнены условия теоремы существования и единственности для системы (1). (Иногда условливаются, что параметры могут принимать и значения .) Геометрически О. Р. Системы (1) в облас..

- свойство логической формулы, состоящее в том, что эта формула истинна при любой интерпретации входящих в нее нелогич. Символов, т. Е. Предикатных и пропозициональных переменных. Логич. Формулы, обладающие этим свойством, наз. Общезначимыми, или тождественно истинными, или тавтологиями. Всякая общезначимая формула выражает логический закон. Вместо слов "формула Аобщезначима" часто пишут. Важнейшими видами логич. Формул являются пропозициональные и предикатные формулы. При классич. Понимании л..

системы обыкновенных дифференциальных уравнений n -го порядка в области G- совокупность псоотношений содержащая ппараметров и в неявном виде описывающая семейство функций, составляющих общее решение этой системы в области G. Часто О. И. Системы (1) наз. Не соотношения (2), а совокупность функций Каждое из соотношений (2) [или каждая из функций (3)] наз. первым интегралом системы (1). Иногда под О. И. Системы (1) понимают совокупность более общих, чем (2), соотношений В случае обыкнове..

- множество Rмощности т, являющееся различных представителей системой для каждого из tсемейств подмножеств заданного множества S, каждое из к-рых состоитиз тчленов. ..