Формализации Метод

- тип расположения траекторий автономной системы обыкновенных дифференциальных уравнений 2-го порядка G - область единственности, в окрестности особой точки х 0. Этот тип характеризуется следующим образом. Существует окрестность Uточки х 0 такая, что для всех траекторий системы, начинающихся в отрицательные полутраектории являются уходящими (с течением времени покидают любой компакт а положительные полутраектории, не выходя из U, примыкают к точке х 0. Наматываясь на нее наподобие логарифмич..

алгебраической группы G, определенной над полем k, - алгебраич. Группа G', определенная над . И изоморфная группе Gнад нек-рым расширением . Ноля k. В этом случае G' наз. L/k- формой алгебраич. Группы G. Если ks - сепарабельное замыкание поля . В фиксированном основном алгебраически замкнутом поле . (универсальной области), то ks/k- формы наз. Просто k-формами группы G. Две L/k- формы группы наз. Эквивалентными, если они изоморфны над k. Множество всех классов эквивалентных L/k- форм группы ..

- направление в основаниях математики, программа к-рого была выдвинута Д. Гильбертом (D. Hilbert). Целью этой программы было доказательство непротиворечивости математики точным математич. Способом. Программа Гильберта предусматривала уточнение понятия доказательства, чтобы последние могли быть объектами математич. Теории - доказательств теории. Чтобы сделать возможным точное рассмотрение доказательств, им придается единая, точно определенная форма. Это осуществляется с помощью формализации т..

искусственный язык, для к-рого имеется точное формальное определение класса выражений языка и достаточно строгое объяснение значения или смысла этих выражений. Обычно выражения Ф. Я. Представляют собой формальные комбинации исходных символов, образующиеся по определенным правилам образования выражений данного языка. Описание выражений Ф. Я. И связей между ними составляет синтаксис языка. Выявление смысла выражений относится к семантике языка. Таким образом, задать Ф. Я.- это значит построить ег..