Логика формальная и графическая модель описания изготовления винных изделий

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

Рубрика Математика
Вид контрольная работа
Язык русский
Дата добавления 07.06.2010
Размер файла 165,2 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ УКРАИНЫ

Государственный университет информатики и искусственного интеллекта

Кафедра системного анализа и моделирования

Итоговая работа

по дисциплине: «Основы дискретной математики»

на тему: «Логика формальная и графическая модель

описания изготовления винных изделий»

Выполнил:

__________ст.гр. СУА-09А А.А. Мусофранов

(дата, подпись)

Донецк 2010

План:

Введение

1. Выделение множеств

2. Отношения между множествами

3. Исследование на рефлексивность, транзитивность, симметричность

4. Построение графа

5. Матрицы смежности и инцидентности

Вывод

Список использованной литературы

Введение

Данная работа посвящена разработке логико-формальной модели описания методики изготовления винных изделий. Хотелось бы сказать пару слов о винах. По назначению вина делятся на столовые и десертные. По цвету различаются белые, розовые и красные вина. К белым относятся вина, имеющие цвет от светло-соломенного до янтарного или цвет крепко заваренного чая. У розовых и красных вин очень много оттенков от светло-рубиновых до темно-гранатовых. Белые вина с возрастом приобретают более темные тона, а красные, наоборот, бледнеют, так как красящие вещества выпадают в осадок. Эти данные необходимы для дальнейшей работы с множествами, а также для становления связи между ними( исследования на рефлексивность, транзитивность, симметричность)

Выделение множеств

Все ингредиенты и выходную продукцию можно разделить на множества.

Итак, в первом множестве будут участвовать главные ингредиенты для изготовления вина:

-вода;

-этиловый спирт;

-сахар;

-стабилизаторы;

-ароматизаторы;

-дрожжи;

- мед;

Во втором множестве выделим разновидности винограда:

-белый виноград;

-винный(синий);

-мускатный виноград;

-киш-мыш;

Теперь в виде отдельного множества можно выделить разновидности исходной продукции-вина:

-мускатное вино;

-белое вино;

-полусладкое красное вино;

-красное вино;

-мадера;

Еще раз выведем результат всех полученных множеств:

Отношение между множествами

После определения множеств можно приступить к определению взаимоотношение между ними.

Конечные множества (множество содержащее конечное количество элементов) являются свойствами, которыми могут обладать или не обладать множества . Итак, рассматривая правило задания множеств указанием характеристических свойств, можно определить какими свойствами будет обладать то или иное множество ,а какими нет. Это можно определить по формуле

,

где

Для получения элементов из множества С, необходимо использовать операцию объединения:

)

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

Исследование на рефлективность, транзитивность, симметричность

Исследование на рефлексивность, транзитивность и симметричность производится при помощи бинарных отношений между множествами. Бинарное отношение на множество А- это всякое подмножество декартового произведения А*А. Бинарное отношение на некоторое множество называется:

1) Рефлексивным, если ;

Если рассматривать данное отношение с точки зрения виноделия, то можно сделать вывод, что все элементы множества А рефлексивны по отношению к множеству С, так как полностью участвуют в его образовании.

2) Симметричность, если ;

Отношение симметричности между множествами - это возможности заменить некоторых элементов, похожих с ним по действующей силе. К таким элементам можно отнести только лишь сахар и мед, так как они могут заменять друг друга в изготовлении продукции, практически не изменяя исходный вкус вина.

3) Транзитивность, если

Транзитивность можно вычислить по соотношению: . Но по выделенным множествам явно видно, что транзитивность не один из элементов поставленных множеств не обладают, так как заменить некоторые элементы другими нельзя.

Графы

Матрицы смежности и инциденции

,

где А-матрица смежности;

,

где В-матрица инцидентности;

Вывод

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

Список использованной литературы

1. http://supercook.ru/russian/rus-60.html;

2. http://ru.wikipedia.org/wiki/;


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

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

    контрольная работа [129,4 K], добавлен 07.06.2010

  • Отношение Р и наличие стандартных свойств: рефлексивность, антирефлексивность, симметричность, антисимметричность, транзитивность. Графы и матрицы замыканий отношения Р. Таблица значений, граф и матрица функции f. Исследование М на линейность (полноту).

    контрольная работа [3,3 M], добавлен 06.06.2011

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

    лабораторная работа [85,5 K], добавлен 09.01.2009

  • Доказательство тождества с помощью диаграмм Эйлера-Венна. Определение вида логической формулы с помощью таблицы истинности. Рисунок графа G (V, E) с множеством вершин V. Поиск матриц смежности и инцидентности. Определение множества вершин и ребер графа.

    контрольная работа [463,0 K], добавлен 17.05.2015

  • Описание заданного графа множествами вершин V и дуг X, списками смежности, матрицей инцидентности и смежности. Матрица весов соответствующего неориентированного графа. Определение дерева кратчайших путей по алгоритму Дейкстры. Поиск деревьев на графе.

    курсовая работа [625,4 K], добавлен 30.09.2014

  • Ориентированные и неориентированные графы: общая характеристика, специальные вершины и ребра, полустепени вершин, матрицы смежности, инцидентности, достижимости, связности. Числовые характеристики каждого графа, обход в глубину и в ширину, базис циклов.

    курсовая работа [225,5 K], добавлен 14.05.2012

  • Понятие о геометрическом преобразовании. Роль движений в геометрии. Применение аффинных преобразований при решении задач. Свойства аффинного преобразования. Транзитивность, рефлексивность и симметричность. Свойство перспективно-аффинного соответствия.

    курсовая работа [547,9 K], добавлен 08.05.2011

  • История возникновения, основные понятия графа и их пояснение на примере. Графический или геометрический способ задания графов, понятие смежности и инцидентности. Элементы графа: висячая и изолированная вершины. Применение графов в повседневной жизни.

    курсовая работа [636,2 K], добавлен 20.12.2015

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

    курсовая работа [271,1 K], добавлен 09.05.2015

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

    реферат [81,0 K], добавлен 23.11.2008

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