Формирование логико-формальной модели описания цветов

Построение логических взаимосвязей между цветами при помощи аппарата дискретной математики. Структуры объекта в виде множеств, граф отношений между ними. Исследование на рефлексивность, транзитивность, симметричность. Матрицы смежности и инцидентности.

Подобные документы

  • Схема блоков модели Карааслана, система дифференциальных уравнений, методы решения. Блоки и биохимические законы системы Солодянникова, переход между фазами. Моделирование патологий, графики экспериментов. Построение комплексной модели гемодинамики.

    дипломная работа, добавлен 24.09.2012

  • Теория полуколец находит своё применение в теории автоматов, компьютерной алгебре и других разделах математики. Построение классического полукольца частных. Построение полного полукольца частных. Связь между полным и классическим полукольцами частных.

    реферат, добавлен 27.05.2008

  • Изучение конкретного раздела дискретной математики. Решение 5-ти задач по изученной теме с методическим описанием. Методика составления и реализация в виде программы алгоритма по изученной теме. Порядок разработки программного интерфейса и руководства.

    курсовая работа, добавлен 27.04.2011

  • Развитие математики переменных величин: создание аналитической геометрии, дифференциального и интегрального исчисления. Значение появления книги Декарта "Геометрия" в создании математики переменных величин. Становление математики в ее современном виде.

    реферат, добавлен 30.04.2011

  • Определение понятия множеств Г. Кантора, их примеры и обозначения. Способы задания, включение и равенство множеств, операции над ними: объединение, пересечения, разность, дополнение, их определение и наглядное представление на диаграмме Эйлера-Венна.

    реферат, добавлен 11.03.2009

  • Оценка вероятности простоя цеха в виде схемы движения заявок или в виде соответствия "состояния системы"-"события". Выбор единицы моделирования и погрешности измеряемых параметров. Создание блок-схемы и листинга программы, отладка модели на языке GPSS.

    лабораторная работа, добавлен 15.04.2012

  • Функциональные и корреляционные зависимости. Сущность корреляционной связи. Методы выявления наличия корреляционной связи между двумя признаками и измерение степени ее тесноты. Построение корреляционной таблицы. Уравнение регрессии и способы его расчета.

    контрольная работа, добавлен 23.07.2009

  • Построение квадратичных двумерных стационарных систем с заданными интегралами. Выражение коэффициентов интегралов через коэффициенты системы, связь последних между собой тремя соотношениями. Необходимые и достаточные условия существования у системы.

    дипломная работа, добавлен 07.09.2009

  • Нахождение длины ребер, углов между ними, площадей граней и объема пирамиды по координатам вершин пирамиды. Решение системы трех линейных уравнений с тремя неизвестными методом Крамера, средствами матричного исчисления. Уравнение кривой второго порядка.

    контрольная работа, добавлен 01.05.2012

  • Понятие матрицы и линейные действия над ними. Свойства операции сложения матриц. Определители второго и третьего порядков. Применение правила Саррюса. Основные методы решения определителей. Элементарные преобразования матрицы. Свойства обратной матрицы.

    учебное пособие, добавлен 04.03.2010

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

    презентация, добавлен 23.12.2012

  • Анализ динамических процессов в системе на основе использования построенной аналитической модели. Моделирование с использованием пакета расширения Symbolic Math Tolbox. Построение модели в виде системы дифференциальных уравнений, записанных в форме Коши.

    курсовая работа, добавлен 21.06.2015

  • Понятие "граф". Отношения между разнородными элементами. Матричное представление графов. Операции над графами. Маршруты, цепи, циклы. Метрические характеристики графа. Приложение теории графов в различных областях науки и техники. Листинг программы.

    курсовая работа, добавлен 15.12.2008

  • Элементы линейной алгебры. Виды матриц и операции над ними. Свойства определителей матрицы и их вычисление. Решение систем линейных уравнений в матричной форме, по формулам Крамера и методу Гаусса. Элементы дифференциального и интегрального исчислений.

    учебное пособие, добавлен 06.11.2011

  • Предлагается к обсуждению официальным лицам из института им. В.А. Стеклова и любителям математики из Интернета компактный, практически на 2-х страницах способ элементарного доказательства теоремы Ферма в общем виде.

    реферат, добавлен 05.07.2006

  • Достижения древнегреческих математиков, живших в период между VI веком до н.э. и V веком н.э. Особенности начального периода развития математики. Роль пифагорейской школы в развитии математики: Платон, Евдокс, Зенон, Демокрит, Евклид, Архимед, Аполлоний.

    контрольная работа, добавлен 17.09.2010

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

    реферат, добавлен 21.01.2011

  • Тела Платона, характеристика пяти правильных многогранников, их место в системе гармоничного устройства мира И. Кеплера. Агроритм построения треугольника средствами Mathcad. Формирование матрицы вершины координат додекаэдра, график поверхности.

    курсовая работа, добавлен 19.12.2010

  • Вычисление определителя 4-го порядка, математическое решение системы методами матрицы, Крамера и Гаусса. Характеристика понятий невырожденной и обратной, транспонированной и присоединенной матрицы, нахождение алгебраических дополнений элементов таблицы.

    контрольная работа, добавлен 12.06.2011

  • Формирование массивов данных результатов контроля, представленных в форме матрицы. Основные статистические характеристики. Построение диаграмм. Определение коэффициентов точности технологического процесса и параметров контрольных карт, их построение.

    курсовая работа, добавлен 14.10.2011

  • Анализ логических ошибок с помощью E-структур. Коллизиями E-структуры: коллизии парадокса и цикла. Основные методы анализа рассуждений. Построение графа рассуждения и применение к посылкам правила контрапозиции. Корректные и некорректные E-структуры.

    контрольная работа, добавлен 04.09.2010

  • Написание уравнения прямой, проходящей через определенную точку и удаленной от начала координат на заданное расстояние. Расчет длины высот параллелограмма. Построение плоскости и прямой, определение точки пересечения прямой и плоскости и угла между ними.

    контрольная работа, добавлен 16.06.2012

  • Вычисление и построение матрицы алгебраических дополнений. Решение системы линейных уравнений по формулам Крамера, с помощью обратной матрицы и методом Гаусса. Определение главной и проверка обратной матрицы. Аналитическая геометрия на плоскости.

    контрольная работа, добавлен 20.04.2016

  • Понятие обратной матрицы. Пошаговое определение обратной матрицы: проверка существования квадратной и обратной матрицы, расчет определителя и алгебраического дополнения, получение единичной матрицы. Пример расчета обратной матрицы согласно алгоритма.

    презентация, добавлен 21.09.2013

  • Размеры прямоугольной, квадратной, диагональной, скалярной матриц. Линейные операции над матрицами. Умножение строки на столбец (скалярное произведение). Транспонирование матрицы, ее элементы. Образование треугольной таблицы, состоящей из строк, столбцов.

    презентация, добавлен 03.12.2016

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.