Понятие автоматического доказательства теоремы, противоречивость отрицания формулы. Алгоритм построения вывода методом резолюций. Отличие теоремы резолюций от правил modus ponens и производных правил. Проблема доказательства в логике. Дизъюнкция литер.
- 152. Автоматическое обучение фрагментов знаний в алгебраических байесовских сетях по данным с пропусками
Анализ локальной задачи автоматического обучения в алгебраических байесовских сетях и пути ее решения, возможные трудности. Формирование набора вероятностных оценок истинности над фрагментом знаний с известной структурой по исходному набору литералов.
Программа минимальных моделей. Бирациональная жёсткость и особенности линейных систем. Некоторые факты о геометрии расслоений на коники. Пересечения двух квадрик и символы Сегре. Трёхмерные кубические гиперповерхности с обыкновенными двойными точками.
Рассмотрение вопросов реализации авторегрессионных моделей для векторных временных рядов. Способ получения оценок параметров модели путем решения соответствующей вариационной задачи. Дифференцирование произвольной функции по векторным аргументам.
Знакосталість компонента матриці A та вектора b. Алгоритми з розв’язання систем лінійних алгебраїчних рівнянь як багатократних агрегативно-ітеративних. Умови збіжності ітераційного процесу. Спектральне представлення лінійного компактного оператора.
Определение агрегирующих алгоритмов. Анализ алгоритмов экспоненциального взвешивания Hedge и его модификация AdaHedge. Описание алгоритмов отслеживания наилучшей комбинации экспертов CompHedge, FixedShare и VariableShare. Описание экспертных стратегий.
Определение агрегирующих алгоритмов. Анализ алгоритмов экспоненциального взвешивания Hedge и его модификация AdaHedge. Описание алгоритмов отслеживания наилучшей комбинации экспертов CompHedge, FixedShare и VariableShare. Описание экспертных стратегий.
Анализ самоорганизация регрессионных моделей или метода группового учета аргументов, который относится к детерминированным методам. Рассмотрение математической постановки задачи классификации. Ознакомление с процессом решения задачи классификации.
Аналіз підходів та методів моделювання високоградієнтних процесів в об’єктах з розподіленими параметрами. Розробка методів оцінки похибки результату і визначення параметрів перетворення сітки в кожному координатному напрямку функцій трансформації.
Дослідження підходів до розв’язування задач цифрової обробки експериментальних даних. Використання адаптивних алгоритмів при вирішенні задач цифрової обробки інформації. Розробка алгоритмів адаптивної апроксимації сигналів на основі методу псевдоінверсії.
Проблема идентификации и оценки максимального правдоподобия. Методы минимизации функций многих переменных. Оценивание параметров по методу максимального правдоподобия с использованием квадратно-корневых информационных фильтров, описание алгоритма.
Анализ рядов, составленных по ежедневным замерам уровня воды в горной реке Мзымта. Построение моделей, адекватно описывающих динамику рядов. Расчет точечных и интервальных прогнозов на семь дней. Оценка точности построенных моделей, сравнение значений.
Необходимость минимизации времени на принятие решений при заданных вероятностях ошибок первого и второго рода. Алгоритмы последовательного обнаружения траектории цели c использованием решающих статистик отметок при известном отношении сигнал/шум.
- 164. Аксиома
Значение понятия "аксиома". Полное выяснение роли и подлинного значения. Впервые термин "аксиома" встречается у Аристотеля и перешёл в математику от философов Древней Греции. Евклид различает понятия "постулат" и "аксиома", не объясняя их различия.
- 165. Аксиома выбора
Аксиома выбора как один из важнейших теоретико-множественных принципов. Главная причина отрицательного отношения к принятию аксиомы. Альтернативные формулировки термина. Принцип вполне упорядочивания (теорема Цермело). Общее понятие о максимуме Хаусдорфа.
Аксиомы сравнения, противоречия, границ, воздействия. Аксиомы структуры информационного обмена. Свойства комплексных чисел и показательной функции. Способы укладки отрезков. Неожиданности комплексных чисел. Алгебраическая запись взаимодействия объектов.
Геометрия Лобачевского (гиперболическая геометрия) как одна из неевклидовых геометрий. Евклидова аксиома о параллелях. Разработка модели планиметрии. Параллельные прямые, треугольники и четырехугольники на плоскости и пространстве по Лобачевскому.
История возникновения понятия вероятности и ее классическое определение. Построение вероятностного пространства и теорема о продолжении меры. Определение и свойства вероятностного пространства и вероятностной меры. Аксиомы существования вероятности.
Правила аксиоматического построения математических теорий. Аксиоматическое построение системы натуральных чисел. Аксиомы Пеано, метод математической индукции. Умножение целых неотрицательных чисел в количественной теории, таблица и законы умножения.
Аксиоматический метод построения научной теории. Основные понятия. "Начала" Евклида. Модель планиметрии Лобачевского на евклидовой плоскости. Геометрия Лобачевского. Исторические сведения о развитии тригонометрии. Тригонометрические соотношения.
Содержание аксиоматического метода построения научной теории: выделение основных понятий, формулировка аксиомы, вывод логическим путём теоремы и других определений. Разрыв между геометрией и арифметикой Евклида. Аксиома параллельности Лобачевского.
Общая схема использования аксиоматического подхода при сопоставлении и выборе методов обработки данных. Задача вычисления удельного веса индексных факторов в мультипликативных индексных моделях. Характеристика основных методов вычисления вклада факторов.
Построение цепочки силлогизмов для создания доказательства, утверждающего истинность теоремы. Классификация теорем по логической структуре, характеристика необходимых и достаточных условий. Существующие системы аксиом, предъявляемые к ним требования.
- 174. Аксиомы планиметрии
Характеристика раздела геометрии, в котором изучаются изображения на поверхности. Точка и прямая как основные геометрические фигуры на плоскости. Проведение исследования аксиом принадлежности, расположения, измерения, откладывания и параллельности.
- 175. Аксиомы планиметрии
Понятие планиметрии как раздела геометрии, изучающего фигуры на плоскости. Понятие аксиомы принадлежности, расположения, измерения, откладывания, параллельности фигур, точек, прямых, трапеций, окружности, параллелограмма, их краткая характеристика.
- 176. Аксиомы стереометрии
Стереометрия – раздел геометрии, в котором изучаются свойства фигур в пространстве. Понятие плоскости и пространства геометрии. Общепринятые изображения плоскости. Аксиомы стереометрии, их сущность и содержание. Следствия из аксиом стереометрии.
пределение основных аксиом плоскости и точек пространства, принадлежащих и не принадлежащих плоскости. Исследование аксиом, характеризующих взаимодействие точек и прямых. Определение основных свойств отрезков и равенства треугольников в одной плоскости.
Изучение свойств фигур на плоскости, основные понятия планиметрии и представления о геометрических телах. Основные свойства точек, прямых и плоскостей, касающиеся их взаимного геометрического расположения и их значения относительно плоскости в аксиоме.
Рассмотрение видов аксонометрии и расположения оси прямоугольной изометрии. Определение натуральных и приведенных показателей искажения и масштаба изображения в прямоугольной изометрии. Приведение примеров выполнения фронтальной косоугольной диметрии.
Сущность метода параллельного аксонометрического проецирования. Основная теорема аксонометрии (теорема Польке). Применение прямоугольных изометрии и диметрии. Построение аксонометрических изображений. Параллельное проецирование окружности на плоскость.
