Мальцевские чтения
Представление и обработка знаний в компьютерных системах обучения следящего типа. Парадоксы вычислительной математики. Теория моделей обогащенных булевых алгебр. Алгоритмическая теория разрешимых групп. Линейно минимальные кольца и алгебры. Теория колец.
Подобные документы
Операции алгебры логики. Закон двойственности для булевых функций (правило де Моргана). Преобразование выражения за счет так называемой операции склеивания. Алгоритм минимизации. Метод карт Карно. Представление кодирования булева пространства кодом Грея.
контрольная работа, добавлен 22.10.2013Задание булевых функций от переменных с помощью таблицы истинности, определение формулы, виды важнейших равносильностей (законов) алгебры логики. Равносильные формулы, законы равносильности, логические уравнения. Разложение булевых функций по переменным.
лабораторная работа, добавлен 09.08.2010- 28. Теория катастроф
Определение теории катастроф. Ее задача и область применения. 7 элементарных катастроф по Тому: катастрофы типа "Складка", "Сборка", "Ласточкин хвост", "Бабочка". Потенциальные функции с двумя активными переменными. Классификация катастроф по Арнольду.
презентация, добавлен 30.09.2019 - 29. Теория графов
Основные понятия теории графов. Алгоритм построения эйлерового пути. Теория графов как область дискретной математики, особенностью которой является геометрический подход к изучению объектов. Задача коммивояжера как одна из задач теории комбинаторики.
реферат, добавлен 18.03.2010 Теория вероятностей как один из разделов математики. Типы события и действия над ними. Случайное событие, его виды. Применение операций сложения и умножения при определении вероятностей. Наглядная геометрическая интерпретация этих понятий, дерево исходов.
реферат, добавлен 10.11.2014Изучение различных алгебраических систем. Теория конечных групп симметрий. Группы матриц, перестановок. Отношение порядка в упорядоченном поле. Изучение в математике операций над элементами множества произвольной природы, сложение и умножение чисел.
контрольная работа, добавлен 17.06.2014Теория графов как область дискретной математики с геометрическим подходом к изучению объектов. Решение математических развлекательных задач и головоломок. Эйлеров путь графа. Краткие пути решения. Задача коммивояжера - одна из задач теории комбинаторики.
реферат, добавлен 13.01.2012Строение абелевых групп симметрий хиггсовского потенциала в вакууме для N-дублетной хиггсовской модели. Типы центральных простых конечномерных некоммутативных йордановых супералгебр. Конструкция кольца частных для обобщенной алгебры Новикова-Пуассона.
научная работа, добавлен 28.10.2018Понятие о теории вероятностей и математической статистике как о науках. Случайный эксперимент и его элементарные исходы. Классификация случайных событий и действия над ними. Основные теоремы теории вероятностей. Первичная обработка статистических данных.
презентация, добавлен 24.06.2014Теория игр как теория математических моделей принятия решений в условиях столкновения, когда игрок располагает информацией о множестве возможных ситуаций. Понятие и отличительные особенности динамической игры, составление и структура его дерева.
контрольная работа, добавлен 10.04.2014Противостояние логицизма и интуиционизма, формализма и теоретико-множественных оснований математики. Применяемые в математике аксиомы выбора, закон исключенного третьего, аксиомы сводимости, понятия теории множеств. Значение прикладной математики.
статья, добавлен 11.02.2021Теория частичных алгебраических действий. Частично упорядоченные множества. Частичные группоиды и их свойства. Примеры полурешеток. Доказательство ассоциативности. Понятие упорядоченного множества и порядкового типа. Алгебраическая теория полугрупп.
курсовая работа, добавлен 24.03.2012Порядок и сроки выдачи заданий на курсовое проектирование по дисциплине "Теория конечных графов и ее приложения". Содержание курсового проекта. Пример решения практической задачи на примере составления графика обслуживания одиноких пенсионеров района.
методичка, добавлен 03.10.2017Исследование максимальных подгрупп конечных разрешимых групп путем определения основных понятий - разрешимая группа, ступень разрешимости группы, неразрешимая группа, замкнутая группа, и ограничение и доказательство теорем о пересечении подгрупп.
курсовая работа, добавлен 22.09.2009- 40. Теория игр
Изучение формальных моделей принятия оптимальных решений в условиях конфликта. Конкретизация объектов конфликта и связей между ними в теории игр. Рассмотрение примеров бескоалиционной игры. Антагонистические и позиционные игры в современной теории игр.
реферат, добавлен 22.06.2016 Элементарная теория вероятностей. Условная вероятность и независимость событий. Случайные величины и функции распределения. Предельные теоремы в схеме испытаний Бернулли. Проблема статистического вывода, методы оценки параметров. Доверительные интервалы.
курс лекций, добавлен 15.09.2011Многообразие парадоксов и их причины (парадоксы Греллинга и Бери). Парадоксы как петли (литографии К. Эшера). Абстракции и иерархические языки. Парадоксы, связанные с теорией множеств, открытия Кантора и парадокс Рассела, кризис основ математики.
реферат, добавлен 29.03.2009Основные понятия теории вероятностей, пространство случайных и элементарных событий. Операции над событиями (сумма, разность, произведение) и свойства операций. Сущность алгебры и сигма-алгебры событий, аксиоматическое построение теории вероятностей.
реферат, добавлен 25.02.2011Многообразие парадоксов и их основные причины: парадокс Греллинга, Бери и пр. Парадоксы как петли (парадокс Рассела (о парикмахере), Маннури (о мэре) и пр.). Абстракции и иерархические языки, парадоксы с множествами. Парадоксы и развитие математики.
контрольная работа, добавлен 12.12.2016Множества, операции над ними. Соответствия и функции. Элементы общей алгебры. Различные виды алгебраических структур. Элементы математической логики. Логические функции. Булевы алгебры и теория множеств. Язык логики предикатов. Классы графов и их частей.
курс лекций, добавлен 07.04.2013- 46. Теория автоматов
Раздел дискретной математики, изучающий абстрактные автоматы: вычислительные машины, представленные в виде математических моделей и задачи, которые они могут решать. Работа распознавателя. Функциональная схема абстрактного автомата, порядок работы с ним.
реферат, добавлен 26.11.2014 Определение булевой алгебры (алгебры логики, алгебры суждений) – раздела математики, в котором изучаются логические операции над высказываниями. Характеристика логических операций: отрицания, конъюнкции, дизъюнкции, импликации, а также эквиваленции.
презентация, добавлен 06.02.2020Актуальность решения текстовых задач в современной методике преподавания математики. Понятие и роль текстовых задач в курсе алгебры. Психолого-педагогические основы формирования умения решать данные задачи. Алгебраический и геометрический метод решения.
презентация, добавлен 01.03.2015Положения и теоремы теории вероятности в теории надежности. Теоремы сложения и умножения вероятностей. Теорема гипотез и формула Бейеса. Обработка статистических данных про надежность элементов. Критерий согласия при оценке статистических гипотез.
контрольная работа, добавлен 03.11.2012Теория игр как раздел математики, предметом которого является изучение математических моделей принятия оптимальных решений в условиях конфликта, ее основные понятия и утверждения. Методы решения игры: Брауна-Робинсона, монотонный итеративный алгоритм.
контрольная работа, добавлен 10.05.2017