Біографічні дані про життя Паскаля - французького релігійного філософа, математика і фізика. Публікація першого математичного трактату "Досвід теорії конічних перетинів". Дослідження Гаусса в теоретичній фізиці, створення електромагнітного телеграфу.
Моделирование возможных новых состояний водных ресурсов по гидрологическим бассейнам и оледенения по всей территории Кыргызстана для набора возможных климатических изменений. Концепция математического моделирования возможных изменений ледников.
Сутність методичного підходу та механізму відображення деформованого стану земної поверхні з допомогою тематичних картографічних моделей. Виявлення основних критеріїв систематизації територій за показниками деформації в рамках лінійно-однорідною моделі.
Внедрение в практику управления системы разнообразных корреляционно-регрессионных моделей. Получение объективных критериев оценки конечных результатов производственной деятельности сельскохозяйственных фирм для эффективной и рентабельной их работы.
Эффективное создание геодезических сетей. Проведение исследований распределения погрешностей при расчетах дирекционных углов для построения полигонометрических ходов. Определение дальнейших направлений в разработке математико-статистических моделей.
Дискримінантна модель інтегральної оцінки фінансового стану підприємства. Вклад математики в економічні дослідження. Оцінка кількісних та якісних показників діяльності організації, з'ясування основних тенденцій. Управління діяльністю підприємства.
Рассмотрение связи с различными аспектами жизнедеятельности человека понятия "золотое сечение". Эстетика как отдельная наука, изучающая сущность красоты. Методы расчета биноминальных элементов. Числовые закономерности, последовательность Фибоначчи.
Исследование связи математики (в частности, геометрии) с химией и установление взаимосвязи между геометрическими особенностями и химическими свойствами веществ. Рассмотрение структур различных веществ и связей путем нахождения геометрических форм в химии.
Роль математической подготовки в формировании профессиональных компетентностей будущих специалистов нематематического профиля. Особенности развития культуры обучения на основе самореализации личности, мотивации и личностно-ориентированного подхода.
Особенности формирования математической культуры студента. Анализ использования математического языка и навыков самообразования. Характеристика математического знания как ключевого звена математической культуры. Процесс развития математического мышления.
Подробные описания и другие начальные сведения о наиболее интересных, актуальных и занимательных логических и компьютерных играх и головоломках: магических квадратах, крестиках-ноликах, игре Жизнь и Футбол, полифомах (пентамино), танграммах, лабиринтах.
- 4842. Математическая логика
Математическая логика как формальный математический аппарат, изучающий различные способы логических рассуждений. Рассмотрение теоремы дедукции. Анализ логических операций: конъюнкция, дизъюнкция, отрицание. Особенности проверки правильности рассуждений.
- 4843. Математическая логика
Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.
- 4844. Математическая логика
Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.
- 4845. Математическая логика
Рассмотрение применения дискретной математики в информатике. Применение теории графов в экономических задачах. Определение жадного алгоритма, решение задачи о максимальной загруженности линий. Описание алгоритма Дейкстра. Решение задачи Коммивояжера.
- 4846. Математическая логика
Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.
- 4847. Математическая логика
Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.
Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.
Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.
Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.
Анализ актуальной проблемы обучения решению задач математической логики и самостоятельному конструированию аналогичных задач. Определение истинности либо ложности логической формулы, доказательство логических тождеств, упрощение логических формул.
Расчет параметров надежности и массы узлов по типу резервирования. Анализ обработки результатов расчета по критериям оптимизации – минимизации массы и максимальному значению вероятности безотказной работы. Польза применения данной математической модели.
Подход к созданию системы мониторинга технологических процессов транспорта газа. Основные входные и выходные параметры газоперекачивающих агрегатов, газотранспортной системы, влияющие на качественные показатели транспортируемого продукта (природный газ).
Модель процесса накопления и регенерации тепла в регенеративной защитной маске в виде нелинейного обыкновенного дифференциального уравнения первого порядка. Обратная задача по определению коэффициентов теплоотдачи на основе экспериментальных данных.
Математическая модель несимметричного подключения трехфазного АД к сети переменного тока. Порядок вывода уравнений несимметричного режима. График изменения абсолютной ошибки для данных моделей. Их сравнение с классическими моделями несимметричных режимов.
Разработка математической модели, которая позволяет рассчитать количество биомассы (микроводоросли) Spirulina platensis, которое необходимо вырастить для доочистки сточных вод от биогенных элементов на примере очистных сооружений города Севастополя.
Выполнения тепловых расчетов котла на электронно-вычислительных машинах в процессе разработки его конструкции. Построение математической модели котла. Составление алгоритма его теплового расчета. Определение условий работы рассматриваемого участка.
Выработка противопожарной стратегии, которая обеспечивала бы приемлемый экологический уровень и в то же время была экономически выгодной. Применение языка программирования Julia для решения задачи оптимального управления противодействием лесным пожарам.
Приведена математическая модель вентильного реактивного двигателя с емкостным накопителем энергии, которая учитывает дискретное изменение схемы электронного коммутатора, насыщение стали магнитопровода. Представлены результаты расчетов в графическом виде.
Разработка математической модели биотехнической системы (БТС), включающей кардиореспираторную систему человека и аппаратно-программный комплекс (АПК) для исследования регуляции дыхания. Результаты моделирования вентиляционных реакций в дыхательных тестах.