• Біографічні дані про життя Паскаля - французького релігійного філософа, математика і фізика. Публікація першого математичного трактату "Досвід теорії конічних перетинів". Дослідження Гаусса в теоретичній фізиці, створення електромагнітного телеграфу.

    реферат (20,7 K)
  • Моделирование возможных новых состояний водных ресурсов по гидрологическим бассейнам и оледенения по всей территории Кыргызстана для набора возможных климатических изменений. Концепция математического моделирования возможных изменений ледников.

    статья (74,5 K)
  • Сутність методичного підходу та механізму відображення деформованого стану земної поверхні з допомогою тематичних картографічних моделей. Виявлення основних критеріїв систематизації територій за показниками деформації в рамках лінійно-однорідною моделі.

    автореферат (281,3 K)
  • Внедрение в практику управления системы разнообразных корреляционно-регрессионных моделей. Получение объективных критериев оценки конечных результатов производственной деятельности сельскохозяйственных фирм для эффективной и рентабельной их работы.

    статья (25,1 K)
  • Эффективное создание геодезических сетей. Проведение исследований распределения погрешностей при расчетах дирекционных углов для построения полигонометрических ходов. Определение дальнейших направлений в разработке математико-статистических моделей.

    статья (347,9 K)
  • Дискримінантна модель інтегральної оцінки фінансового стану підприємства. Вклад математики в економічні дослідження. Оцінка кількісних та якісних показників діяльності організації, з'ясування основних тенденцій. Управління діяльністю підприємства.

    статья (61,9 K)
  • Рассмотрение связи с различными аспектами жизнедеятельности человека понятия "золотое сечение". Эстетика как отдельная наука, изучающая сущность красоты. Методы расчета биноминальных элементов. Числовые закономерности, последовательность Фибоначчи.

    статья (1,4 M)
  • Исследование связи математики (в частности, геометрии) с химией и установление взаимосвязи между геометрическими особенностями и химическими свойствами веществ. Рассмотрение структур различных веществ и связей путем нахождения геометрических форм в химии.

    статья (18,0 K)
  • Роль математической подготовки в формировании профессиональных компетентностей будущих специалистов нематематического профиля. Особенности развития культуры обучения на основе самореализации личности, мотивации и личностно-ориентированного подхода.

    статья (21,2 K)
  • Особенности формирования математической культуры студента. Анализ использования математического языка и навыков самообразования. Характеристика математического знания как ключевого звена математической культуры. Процесс развития математического мышления.

    статья (29,8 K)
  • Подробные описания и другие начальные сведения о наиболее интересных, актуальных и занимательных логических и компьютерных играх и головоломках: магических квадратах, крестиках-ноликах, игре Жизнь и Футбол, полифомах (пентамино), танграммах, лабиринтах.

    учебное пособие (1,6 M)
  • Математическая логика как формальный математический аппарат, изучающий различные способы логических рассуждений. Рассмотрение теоремы дедукции. Анализ логических операций: конъюнкция, дизъюнкция, отрицание. Особенности проверки правильности рассуждений.

    учебное пособие (645,1 K)
  • Логика как самостоятельная наука. Идея построения логики на математической основе. Основные объекты математической логики, высказывания, логическая процедура и правильность. Отделение правильных схем рассуждения от неправильных и систематизация первых.

    презентация (1,1 M)
  • Основные понятия математической логики. Взаимосвязь логических операций и способы вычисления логических выражений. Таблица истинности логической формулы, которая выражает соответствие между всевозможными наборами значений переменных и значениями формулы.

    контрольная работа (82,7 K)
  • Рассмотрение применения дискретной математики в информатике. Применение теории графов в экономических задачах. Определение жадного алгоритма, решение задачи о максимальной загруженности линий. Описание алгоритма Дейкстра. Решение задачи Коммивояжера.

    реферат (1,8 M)
  • Определение понятия высказывания. Изучение логических операций и их таблиц истинности. Описание формул логики высказываний, а также их равносильности. Анализ заколов логики высказываний. Описание аксиоматического метода. Примеры решения логических задач.

    реферат (254,4 K)
  • Элементы математической логики. Основные операции алгебры логики. Логические операции (составные высказывания). Основные законы математической логики. Система функций алгебры логики. Функциональная полнота. Минимизация булевых функций. Метод Квайна.

    контрольная работа (41,0 K)
  • Метод построения логических исчислений в современной символической логике. Его теоретическая и практическая значимость. Особенность применения матлогики в переключательных схемах. Дизъюнкция и конъюнкция. Таблица истинностных значений. Состояния рефлекса.

    реферат (33,2 K)
  • Принципы построения пропозициональной логики. Способы исчисления высказываний с помощью алгебры. Субъектно-предикатная структура утверждений. Методы резолюции в логике предикатов. Функционирование теории множеств в системе аксиом. Виды алгоритмов.

    учебное пособие (3,6 M)
  • Исчисление высказываний. Свободные и связанные переменные. Дизъюнкты и нормальные формы. Анализ примеров использования метода резолюций в логике высказываний. Непротиворечивость аксиом. Аксиоматизация логики высказываний. Применение логических связок.

    учебное пособие (417,0 K)
  • Анализ актуальной проблемы обучения решению задач математической логики и самостоятельному конструированию аналогичных задач. Определение истинности либо ложности логической формулы, доказательство логических тождеств, упрощение логических формул.

    статья (41,8 K)
  • Расчет параметров надежности и массы узлов по типу резервирования. Анализ обработки результатов расчета по критериям оптимизации – минимизации массы и максимальному значению вероятности безотказной работы. Польза применения данной математической модели.

    статья (178,0 K)
  • Подход к созданию системы мониторинга технологических процессов транспорта газа. Основные входные и выходные параметры газоперекачивающих агрегатов, газотранспортной системы, влияющие на качественные показатели транспортируемого продукта (природный газ).

    статья (228,2 K)
  • Модель процесса накопления и регенерации тепла в регенеративной защитной маске в виде нелинейного обыкновенного дифференциального уравнения первого порядка. Обратная задача по определению коэффициентов теплоотдачи на основе экспериментальных данных.

    статья (157,0 K)
  • Математическая модель несимметричного подключения трехфазного АД к сети переменного тока. Порядок вывода уравнений несимметричного режима. График изменения абсолютной ошибки для данных моделей. Их сравнение с классическими моделями несимметричных режимов.

    статья (332,8 K)
  • Разработка математической модели, которая позволяет рассчитать количество биомассы (микроводоросли) Spirulina platensis, которое необходимо вырастить для доочистки сточных вод от биогенных элементов на примере очистных сооружений города Севастополя.

    статья (223,0 K)
  • Выполнения тепловых расчетов котла на электронно-вычислительных машинах в процессе разработки его конструкции. Построение математической модели котла. Составление алгоритма его теплового расчета. Определение условий работы рассматриваемого участка.

    практическая работа (253,8 K)
  • Выработка противопожарной стратегии, которая обеспечивала бы приемлемый экологический уровень и в то же время была экономически выгодной. Применение языка программирования Julia для решения задачи оптимального управления противодействием лесным пожарам.

    статья (570,0 K)
  • Приведена математическая модель вентильного реактивного двигателя с емкостным накопителем энергии, которая учитывает дискретное изменение схемы электронного коммутатора, насыщение стали магнитопровода. Представлены результаты расчетов в графическом виде.

    статья (77,1 K)
  • Разработка математической модели биотехнической системы (БТС), включающей кардиореспираторную систему человека и аппаратно-программный комплекс (АПК) для исследования регуляции дыхания. Результаты моделирования вентиляционных реакций в дыхательных тестах.

    статья (111,8 K)