Прогрессия

формальная знаковая система, служащая общению человека с ЭВМ. Решая вычислительные задачи или управляя исполнительными механизмами, ЭВМ с ее программным обеспечением демонстрирует сложные формы поведения, обычно относимые к умственной деятельности человека. Именно это сходство функций, отражающее общность кибернетич. Законов обработки информации в живых организмах и автоматич. Устройствах, позволяет говорить о языке ЭВМ, о понимании машиной передаваемой ей информации, об общении человека и ЭВМ...

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

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

метод исследования различных дифференциально-геометрич. Структур на гладких многообразиях и их подмногообразиях. В основе П. И о. М. Лежат дифференциалъно-алгебраич. Критерии операций, позволяющих в инвариантной (безкоординатной) форме присоединять к данной структуре внутренне связанные с ней структуры, в том числе и их дифференциальные инварианты. Исторически П. И о. М. Возник вслед за методом подвижного репера как инвариантный метод исследования подмногообразий однородных пространств или прос..