Evidence the well-posedness of Fourier problems for anisotropic parabolic equations with variable exponents of nonlinearity without any assumptions on the solution behavior and growth of the initial data as time variable tends to minus in nity.
The logic of quantification. Non-standart set theories. Typically ambiguous variables. Standardized theory of types. Equate the null classes. Connections with Zermelo's theory. Functional Logic. A motive for unifying universes. Use general variables.
Practical methods for solving nonlinear equations. Metrological support of iterative methods for solving nonlinear equations with inaccurate initial data. Modeling the behavior of iterative methods for different values of initial data and their errors.
- 124. V постулат Евклида
Определение содержания и исследование истории доказательств аксиомы параллельности Евклида, или пятого постулата, как одной из аксиом, лежащих в основании классической планиметрии. Разработка Николаем Ивановичем Лобачевским доказательства V постулата.
- 125. Vectors spaces
The definition of real and complex vector spaces. The calculation of the reference type. Rules of addition and multiplication of scalars. The concept of subset. The direct sum of two subspaces. The calculation of the projection of the vector on the area.
Понятие алгебраической операции, ее характеристики и свойства, отличительные признаки и направления исследования. Свойства и изоморфизм групп. Реализация абстрактной группы как группы преобразований. Теорема о подгруппах конечной циклической группы.
Понятие абстрактной группы. Свойства алгебраических операций. Реализация абстрактной группы как группы преобразований. Доказательство теоремы Коши, Лагранжа. Теорема о подгруппах конечной циклической группы. Смежные классы, классы сопряженных элементов.
Изучение математических трудов Средней Азии и Европы. Оценка влияния средневековых восточных математиков Абу Раихан Беруни и Мухаммад ал-Хорезми на труды европейских ученых IX-XVI вв. Анализ содержания теоретических и прикладных дисциплин Ал-Фараби.
Исследование движений автоколебаний системы с одной степенью свободы под действием внешней периодической силы, решение в случае достаточно сильной расстройки в области резонанса. Применение общих формул к теории захватывания в регенеративном приемнике.
Матрица расстояний, рассчитанная по формуле Евклида. Отношение объекта к классам. Матрица расстояний между центрами классов и объектами. Расчет по методу среднего подпространства и по методу функционала качества разбиения. Первая производная функционала.
Розроблення ефективних інформаційних технологій прогнозу та розпізнавання ситуацій в системах прийняття рішень. Дослідження розв’язків прямих та обернених задач для систем, що описуються еліптичними диференціальними рівняннями, їх програмна реалізація.
- 132. Автоматизоване формування спряжених гвинтових нелінійчатих поверхонь, що виключають інтерференцію
Розробка автоматизованого способу формування спряжених гвинтових нелінійчатих поверхонь. Вивчення явища інтерференції при некоректному завданні вихідного профілю виробу. Дослідження роботи черв'ячної фрези з просторовою ріжучою кромкою методом обкатки.
Способи і методи геометричного моделювання формування спряжених поверхонь вищих кінематичних пар. Розробка алгоритмів і програм їхньої реалізації, які грунтуються на сучасних досягненнях прикладної та обчислювальної геометрії та комп'ютерної графіки.
Понятие автоматического доказательства теоремы, противоречивость отрицания формулы. Алгоритм построения вывода методом резолюций. Отличие теоремы резолюций от правил modus ponens и производных правил. Проблема доказательства в логике. Дизъюнкция литер.
- 135. Автоматическое обучение фрагментов знаний в алгебраических байесовских сетях по данным с пропусками
Анализ локальной задачи автоматического обучения в алгебраических байесовских сетях и пути ее решения, возможные трудности. Формирование набора вероятностных оценок истинности над фрагментом знаний с известной структурой по исходному набору литералов.
Программа минимальных моделей. Бирациональная жёсткость и особенности линейных систем. Некоторые факты о геометрии расслоений на коники. Пересечения двух квадрик и символы Сегре. Трёхмерные кубические гиперповерхности с обыкновенными двойными точками.
Знакосталість компонента матриці A та вектора b. Алгоритми з розв’язання систем лінійних алгебраїчних рівнянь як багатократних агрегативно-ітеративних. Умови збіжності ітераційного процесу. Спектральне представлення лінійного компактного оператора.
Определение агрегирующих алгоритмов. Анализ алгоритмов экспоненциального взвешивания Hedge и его модификация AdaHedge. Описание алгоритмов отслеживания наилучшей комбинации экспертов CompHedge, FixedShare и VariableShare. Описание экспертных стратегий.
Определение агрегирующих алгоритмов. Анализ алгоритмов экспоненциального взвешивания Hedge и его модификация AdaHedge. Описание алгоритмов отслеживания наилучшей комбинации экспертов CompHedge, FixedShare и VariableShare. Описание экспертных стратегий.
Анализ самоорганизация регрессионных моделей или метода группового учета аргументов, который относится к детерминированным методам. Рассмотрение математической постановки задачи классификации. Ознакомление с процессом решения задачи классификации.
Аналіз підходів та методів моделювання високоградієнтних процесів в об’єктах з розподіленими параметрами. Розробка методів оцінки похибки результату і визначення параметрів перетворення сітки в кожному координатному напрямку функцій трансформації.
Дослідження підходів до розв’язування задач цифрової обробки експериментальних даних. Використання адаптивних алгоритмів при вирішенні задач цифрової обробки інформації. Розробка алгоритмів адаптивної апроксимації сигналів на основі методу псевдоінверсії.
Проблема идентификации и оценки максимального правдоподобия. Методы минимизации функций многих переменных. Оценивание параметров по методу максимального правдоподобия с использованием квадратно-корневых информационных фильтров, описание алгоритма.
Анализ рядов, составленных по ежедневным замерам уровня воды в горной реке Мзымта. Построение моделей, адекватно описывающих динамику рядов. Расчет точечных и интервальных прогнозов на семь дней. Оценка точности построенных моделей, сравнение значений.
Необходимость минимизации времени на принятие решений при заданных вероятностях ошибок первого и второго рода. Алгоритмы последовательного обнаружения траектории цели c использованием решающих статистик отметок при известном отношении сигнал/шум.
- 146. Аксиома выбора
Аксиома выбора как один из важнейших теоретико-множественных принципов. Главная причина отрицательного отношения к принятию аксиомы. Альтернативные формулировки термина. Принцип вполне упорядочивания (теорема Цермело). Общее понятие о максимуме Хаусдорфа.
Аксиомы сравнения, противоречия, границ, воздействия. Аксиомы структуры информационного обмена. Свойства комплексных чисел и показательной функции. Способы укладки отрезков. Неожиданности комплексных чисел. Алгебраическая запись взаимодействия объектов.
История возникновения понятия вероятности и ее классическое определение. Построение вероятностного пространства и теорема о продолжении меры. Определение и свойства вероятностного пространства и вероятностной меры. Аксиомы существования вероятности.
Правила аксиоматического построения математических теорий. Аксиоматическое построение системы натуральных чисел. Аксиомы Пеано, метод математической индукции. Умножение целых неотрицательных чисел в количественной теории, таблица и законы умножения.
Аксиоматический метод построения научной теории. Основные понятия. "Начала" Евклида. Модель планиметрии Лобачевского на евклидовой плоскости. Геометрия Лобачевского. Исторические сведения о развитии тригонометрии. Тригонометрические соотношения.
