• Визначення поняття логарифмічного рівняння. Основна логарифмічна тотожність. Приклади логарифмічних рівнянь. Властивості логарифмів та найпростіші рівняння. Методи розв’язання рівнянь: за означенням, за властивостями логарифма та графічний метод.

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

    презентация (529,9 K)
  • Определение тождественно-истинного и тождественно-ложного предикатов. Основные операции логики высказываний. Построение языка логики первого порядка, значение используемых в ней символов. Аксиоматика и доказательство формул. Понятие формальной системы.

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

    статья (293,5 K)
  • Обоснование необходимости создания математического аппарата для анализа, обработки и обобщения статистического материала из разных областей. Структуры косвенного доказательства. Схемы доказательства "от противного" на языке математической логики.

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

    статья (61,3 K)
  • Математические предложения и их доказательства в курсе геометрии основной школы. Индукция и дедукция как основные приемы обоснования математических предложений. Воспитание потребности в логическом доказательстве. Методика изучения конкретной теоремы.

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

    задача (205,3 K)
  • Поняття предикатів та характеристика основних операцій над ними. Особливості диз’юнкції, кон’юнкції, імплікації та еквіваленції, їх головні завдання та відмінності. Поняття області дії квантора, вільного і зв’язаного входжень предметної змінної.

    курсовая работа (101,6 K)
  • Вивчення чинників, що впливають на збільшення прибутку підприємства в сучасних умовах господарювання. Побудова нечіткого висновку на основі нечіткої логіки. Прогнозування прибутку магазину побутової хімії. Перетворення чіткої інформації в нечітку.

    презентация (533,5 K)
  • Сущность проблемы асимптотического поведения функции количества путей. Рассмотрение конечных и бесконечных древовидных граф с одной особой вершиной в корне, анализ регулярных граф с одной особой вершиной. Разработка алгоритмов на языках WolframLanguage.

    дипломная работа (549,8 K)
  • Точні умови усунення особливостей розв’язків загальних дивергентних квазілінійних еліптичних рівнянь з абсорбцією, а також тих, які узагальнюють умови Дж. Серріна. Метод оцінок розв’яків типу "потенціалу" на випадок квазілінійності параболічних рівнянь.

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

    статья (269,9 K)
  • Властивості узагальнено опуклих множин та знаходження їх зв'язків з проблемами аналізу, геометрії та топології. Можливість розкладу голоморфної функції змінних. Узагальнена проблема Мізеля про коло для класу об'єктів, ширшого ніж клас опуклих кривих.

    автореферат (81,2 K)
  • Локальна характеризація топологічних груп, які є індуктивними границями метричних підпросторів. Опис тихонівських просторів. Доведення l-інваріантності властивостей Гуревича, Скiперза, Менгера. Продовження топології абелевої групи на її подільну оболонку.

    автореферат (47,2 K)
  • Топологiчна структура (топологiчно однорiдних) просторiв i груп зi злiченним cs-характером. Комбiнаторнi властивостi вiдкритих покриттiв топологiчних просторiв, вiльнi групи над якими є (сильно) o-обмеженими. Топологія оболонок абелевих топологiчних груп.

    автореферат (76,4 K)
  • Інтегральне представлення розкладу Іто–Вінера для випадкових величин, які наближають гауссівське випадкове поле. Необхідна і достатня умова в термінах коваріації для існування локального часу центрованого гауссівського випадкового поля загального вигляду.

    автореферат (45,2 K)
  • Направления исследования функций многих переменных на безусловный экстремум, а также на условный экстремум. Методика определения координат точек функций, дифференцирование уравнений. Формирование, анализ и оценка соотношений математической связи.

    методичка (385,7 K)
  • Понятие ломаной, ее элементы и основные виды. Ломаная с самопересечением и замкнутая ломанная. Нахождение длины ломанной. Выпуклые и невыпуклые многоугольники. Определение общего числа диагоналей многоугольника. Стороны многоугольника и его вершины.

    разработка урока (182,5 K)
  • Краткая биография М.В. Остроградского. Основные труды ученого в сфере математического анализа и механики. Характеристика основных научных достижений М.В. Остроградского в области исследования интегрирования рациональных функций и уравнений динамики.

    презентация (458,6 K)
  • Огляд методів гарантованого оцінювання значень лінійних функціоналів, визначених на розв’язках вироджених крайових задач Неймана для еліптичних рівнянь і на їх правих частинах. Доведення однозначної розв’язності систем інтегро-диференціальних рівнянь.

    автореферат (268,9 K)
  • Квадратная таблица, заполненная числами таким образом, что сумма чисел в каждой строке, каждом столбце и на обеих диагоналях одинакова. Самый ранний уникальный магический квадрат, найденный в Кхаджурахо (Индия). Гравюра Альбрехта Дюрера "Меланхолия I".

    презентация (699,7 K)
  • Вопрос истории развития одного из аспектов математики - магических квадратов, а также латинские квадраты как их ближайшие родственники и их применения в математике. Понятие квадрата Пифагора и его роль в составления психологического портрета личности.

    реферат (27,4 K)
  • Методы построения Эйлером магических квадратов разных порядков и способы представления их латинскими. Магические квадраты как основа создания Эйлером комбинаторной теории латинских квадратов. Числовые конструкции размера n × n, заполненные числами.

    статья (19,8 K)
  • Понятие и мистические свойства магических квадратов; история их возникновения в Китае и Европе. Заполнение квадратной таблицы натуральными числами, суммы которых по всем строкам, столбцам и диагоналям одинаковы. Рассмотрение таблиц Ло Шу и Э. Мосхопулос.

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

    автореферат (114,2 K)
  • Опис умов усіх максимальних акретивних розширень. Аналог поняття функції Вейля та інших оператор-функцій, пов'язаних із секторіальними операторами, властивості. Функціональна модель даного оператора, опис резольвент максимальних акретивних розширень.

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

    статья (186,9 K)
  • Системи рівнянь, основні граничні та початкові умови що описують малі потенціальні рухи рідини поблизу рівноважного стану в лінійному наближенні. Методи оптимально-диференціального формулювання еволюційної задачі. Узагальнений розв`язок задачі Коші.

    статья (215,6 K)
  • Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.

    материалы конференции (1,0 M)