Свойства достоверного и невозможного события в теории вероятности. Роль комбинаторики в числе других разделов математики. Теоремы и формулы, используемые для уравнений по теории вероятностей. Математическое ожидание дискретной случайной величины.
Біографічні дані про життя Паскаля - французького релігійного філософа, математика і фізика. Публікація першого математичного трактату "Досвід теорії конічних перетинів". Дослідження Гаусса в теоретичній фізиці, створення електромагнітного телеграфу.
Рассмотрение связи с различными аспектами жизнедеятельности человека понятия "золотое сечение". Эстетика как отдельная наука, изучающая сущность красоты. Методы расчета биноминальных элементов. Числовые закономерности, последовательность Фибоначчи.
Подробные описания и другие начальные сведения о наиболее интересных, актуальных и занимательных логических и компьютерных играх и головоломках: магических квадратах, крестиках-ноликах, игре Жизнь и Футбол, полифомах (пентамино), танграммах, лабиринтах.
- 1925. Математическая логика
Математическая логика как формальный математический аппарат, изучающий различные способы логических рассуждений. Рассмотрение теоремы дедукции. Анализ логических операций: конъюнкция, дизъюнкция, отрицание. Особенности проверки правильности рассуждений.
- 1926. Математическая логика
Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
- 1927. Математическая логика
Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
- 1928. Математическая логика
Рассмотрение применения дискретной математики в информатике. Применение теории графов в экономических задачах. Определение жадного алгоритма, решение задачи о максимальной загруженности линий. Описание алгоритма Дейкстра. Решение задачи Коммивояжера.
- 1929. Математическая логика
Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.
Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.
Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.
Подход к созданию системы мониторинга технологических процессов транспорта газа. Основные входные и выходные параметры газоперекачивающих агрегатов, газотранспортной системы, влияющие на качественные показатели транспортируемого продукта (природный газ).
Разработка математической модели биотехнической системы (БТС), включающей кардиореспираторную систему человека и аппаратно-программный комплекс (АПК) для исследования регуляции дыхания. Результаты моделирования вентиляционных реакций в дыхательных тестах.
Разработка математической модели оценки совместимости индивидуумов в процессе их взаимоотношений. Определение степени согласования интересов индивидуумов в группе. Расчет оптимальных соотношений пропорций выигрышей индивидуумов по матрице предпочтений.
Построение математической модели процесса всплытия подводной лодки, анализ физической сути процесса. Определение параметров и сил, действующих на лодку. Нахождение частных случаев решения задачи методом дифференциальных уравнений, построение графиков.
Разработка математического метода моделирования полимерных композиционных материалов при помощи функционалов качества кинетических процессов. Признаки формирования структуры термореактивного вяжущего. Процессы формирования модифицированного полимера.
Знакомство с основными особенностями разработки математической модели гидропривода для станка ОК-63. Анализ принципиальной схемы гидравлического привода рабочего органа окорочного станка. Рассмотрение особенностей математического аппарата системы MatLab.
Исследование результатов работы математической модели для управления процессом гидроочистки без учета падения активности катализатора. Методика определения показателя увеличения температуры парожидкостной смеси из-за повышения расхода топливного газа.
Исследование закономерностей обмена информацией между информационными средами. Выявление зависимостей между процессами обмена информацией, накопления информации, роста информационной среды. Анализ процессов их самоорганизации и саморегулирования.
Ознакомление с теоремой кодирования. Рассмотрение основных математических моделей дискретных каналов с памятью. Определение понятия эргодичности. Анализ практической реализации каналов с памятью, на примере Марковских моделей массового обслуживания.
Введение понятия компромиссного набора стратегий для дифференциальной игры нескольких лиц. Обоснование способа его построения в классе позиционных стратегий. Рассмотрение модельного примера. Выбор адекватного по содержанию задачи понятия решения.
Теоретические основы математического моделирования. Классификация математических моделей. Основные этапы моделирования, их характеристика. Медицинское страхование при заболевании туберкулезом. Построение математической модели заболевания туберкулезом.
Разработка математической модели прогноза урожайности культурных плантаций пижмы обыкновенной, заложенных посадкой однолетних клонов. Установка погрешности прогноза календарного срока начала сбора соцветий растений второго и третьего года жизни.
Математическая модели задачи планирования работы разнотипных машин с периодами простоя. Теорема о корректности приведения этой задачи к задаче комбинаторной оптимизации. Алгоритм нахождения нижней границы целевой функции возникающей задачи оптимизации.
Особенности перебора множества моделей и созданных алгоритмов. Математическое описание некорректно поставленных задач, его определение семейством элементов, заданных в гильбертовых пространствах. Добавление априорных классификационных признаков.
Методика постановки математических задач для поиска оптимального решения. Специфика использования геометрического и динамического программирования для решения заданий оптимизации многостадийных процессов. Принципы построения многоугольника решений.
Автоматизация процессов обработки информации. Создание математической модели отнесения документов, поступающих в автоматизированную систему к области ответственности исполнителя. Использование математического аппарата алгебры конечных предикатов.
Оптимальные параметры установки для ударных испытаний ракетной техники. Автоматизации математических расчётов с помощью численных методов интегрирования. Оптимальные параметры ствола пиротехнической установки. Внутренняя баллистика ствольных систем.
Описание детерминированной и вероятностной моделей процесса постановки когерентных помех с учетом обратного вторичного излучения планера постановщика помех. Анализ влияния излучения на эффективность подавления моноимпульсного фазового пеленгатора.