- •2. Простое и необычное множество. Парадоксы и Антиномии. Парадокс Рассела и его роль в математике. Способы избежать Парадокса Рассела. Логические антиномии.
- •3. Операции над множествами и законы алгебры множеств. Диаграммы Эйлера. Формула включений и исключений. Покрытия и разбиения. Классы разбиения.
- •6. Операции над соответствиями. Объединение, пересечение, дополнение, инволюция (обратное) соответствия, композиция соответствий.
- •7. Прямое и обратное соответствие Галуа и его роль в проективном распознавании образов. Свойства соответствий Галуа. Замкнутое подмножество.
- •8. Бинарное отношение. Способы задания. Рефлексивное, симметричное, антисимметричное, асимметричное, транзитивное отношения.
- •10. Диаграмма Хассе как способ задания отношения частичного порядка на множестве. Непосредственно предшествующие элементы. Линейно упорядоченные подмножества.
- •11. Замыкание отношений. Рефлексивное, симметричное, транзитивное замыкание отношений.
- •12. Понятие нечеткого множества. Функция принадлежности и ее интерпретация. Способы формализации нечетких множеств. Наиболее распространенные параметрические функции принадлежности.
- •15. Бинарная операция и ее основное множество. Способы задания бинарной операции. Таблица Кэли. Операционный квадрат таблицы Кэли.
- •16. Свойства бинарных операций: ассоциативность, коммутативность, дистрибутивность, существование нейтрального и обратного элементов, разрешимость уравнений.
- •18. Группоид. Квазигруппа. Латинский квадрат. Лупа. Полугруппа. Моноид. Группа. Абелева группа.
- •19. Подстановки. Композиция подстановок, нейтральная, обратная подстановка. Группа подстановок и ее таблица Кэли. Подгруппы группы подстановок.
- •20. Группа симметрий фигуры.
- •21. Иерархия систем с двумя бинарными операциями: Кольцо. Виды колец. Тело. Поле.
- •4) Аддитивная и мультипликативная операции коммутативны
- •23. Отображения. Изоморфизм. Автоморфизм. Гомоморфизм. Эпиморфизм. Эндоморфизм. Мономорфизм. Биморфизм.
- •25. Способы задания графов: матрица смежности, матрица инциденций и список смежности.
- •28. Алгоритм определения компонент связности в неориентированном графе.
- •29. Эйлеров путь в графе. Эйлеров цикл. Теорема о существовании эйлерова цикла. Алгоритм нахождения эйлерова цикла и его вычислительная сложность.
- •33. Необхдимое и Достаточное условия для определения дерева. Задача построения минимального остовного дерева. Алгоритм Краскала. Алгоритм Прима. Оценка вычислительной сложности.
- •35. Алгоритм нахождения кратчайшего расстояния от источника до всех верши в общем случае – алгоритм Форда-Беллмана. Сложность алгоритма
- •36. Алгоритм Дейкстры — алгоритм нахождения кратчайшего расстояния от источника до всех верши в случае неотрицательных весов. Сложность алгоритма.
- •37. Лемма о перенумерации вершин. Алгоритм перенумерации вершин графа.
- •38. Алгоритм нахождения кратчайшего расстояния от источника до всех верши в случае бесконтурных графов. Сложность алгоритма.
- •39. Система pert. Алгоритм топологической сортировки. Критический путь и способ его нахождения.
- •41. Потоки в сетях. Классификация вершин по воздействию на поток. Величина потока. Разрез и поток через разрез. Теорема о максимальном потоке. Метод увеличивающих цепей.
- •42. Знаковые орграфы и задачи социологии. Теорема Харари о балансе. Недостатки математической модели о балансе.
- •45. Эквивалентность и включение сетей Петри. Построение дерева достижимости сети Петри.
- •46. Виды сетей Петри: временная, стохастическая, функциональная, цветная, ингибиторная. Использование сети Петри для проверки абстрактного сценария. Сеть Петри для задачи об обедающих философах.
- •48. Основные схемы логически правильных рассуждений.
- •51. Формы записи формул (функций) — инфиксная, префиксная, постфиксная. Преобразования формул: инфиксная в префиксную и постфиксную, префиксная в инфиксную, постфиксная в инфиксную.
- •52. Элементарная конъюнкция, элементарная дизъюнкция. Днф, сднф, кнф, скнф. Построение сднф и скнф по таблице истинности. Преобразования днф в сднф. Преобразование кнф в скнф.
- •53. Полиномы Жигалкина. Построение полиномов Жигалкина.
- •54. Классы логических функций: сохраняющие 0, сохраняющие 1, монотонные, линейные, двойственные, самодвойственные. Критерий поста.
- •55. Упрощение сднф при помощи Карты Карно. Булева алгебра и коммутационные схемы. Анализ и синтез коммутационных схем. Проектирование полубитного сумматора.
- •56. Функции k-значной логики и их задание с помощью таблицы истинности и таблицы Кэли. Примеры k-значных логик: алгебра Вебба, алгебра Поста, алгебра Россера-Тьюкетта.
- •59. Квантор всеобщности и квантор существования. Область действия квантора. Связанное и свободное вхождение переменной в формулу.
- •61. Эквивалентные соотношения логики предикатов. Префиксная нормальная форма. Процедура получения пнф.
- •62. Конечный автомат. Способы задания: таблицей, диаграммой.
- •64. Виды автоматов: Мили, сильносвязанный, автономный, Мура. Изоморфизм и эквивалентность автоматов. Изоморфизм графов и автоматов. Неотличимые автоматы. Минимальный автомат.
- •65. Подстановочные, перестановочные криптограммы, Шифр Тритемиуса.
- •66. Равномерные коды, неравномерные однозначно декодируемы (префиксные) коды: код и дерево Фано, кодирование и дерево по Хафменну.
- •67. Условие однозначной декодируемости для неравномерных кодов.
- •69. Кодирование и декодирование по Хеммингу.
10. Диаграмма Хассе как способ задания отношения частичного порядка на множестве. Непосредственно предшествующие элементы. Линейно упорядоченные подмножества.
Пусть .
Если , то x непосредственно предшествует у.
Обознач.: .
Диаграмма Хассе задает схему непосредственных предшественников.
Если вершина явл. непосредственным предшественником , то помещают на ниж. уровне, а на верхнем. Вершины соединяют не направ. дугами.
В рассмотренном примере .
«быть делителем»: «включение слов друг в друга»:
«быть меньше»: «быть подмножеством»:
11. Замыкание отношений. Рефлексивное, симметричное, транзитивное замыкание отношений.
— замыкание отношения относ. св-ва , если:
обладает св-вом ;
;
явл. подмнож. ∀ др. отношения, содержащего и обладающего св-вом .
R — некоторое бинарное отношение на множ. A:
Рефлексивное замыкание отношения — отношение .
Симметричным замыканием отношения называется отношение .
Транзитивным замыканием отношения называется отношение
Отношение, включающее свои симметрич., рефлексив. и транзитив. замыкания, явл. отношением эквивалентности (обратное утв. также верное).
12. Понятие нечеткого множества. Функция принадлежности и ее интерпретация. Способы формализации нечетких множеств. Наиболее распространенные параметрические функции принадлежности.
__Более строго, нечетким множеством называется совокупность пар {(x| mA(x))}, " x Î U
Пусть, например,
элемент a не принадлежит множеству , элемент b принадлежит ему в малой степени, элемент c более или менее принадлежит, элемент d принадлежит в значительной степени, e является элементом множества
ФУНКЦИИ ПРИНАДЛЕЖНОСТИ::::
__Пример: множество молодых людей B = {х: х-молодой человек}
__До 20 лет человек молод. Возникает вопрос: почему кто-то в свой двадцатилетний юбилей - молодой, а сразу на следующий день уже не молодой? Очевидно, что если передвигать верхнюю границу на 1 день, то можно задаться точно таким же вопросом и т.д. до бесконечности.
__Более естественный путь получения множества B состоит в ослаблении строгого разделения на молодых и не молодых.
Наиболее распространенные параметрические функции принадлежности:::::::::::::::::
треугольные
m(x) = 0, при x <=a;
m(x) = (x – a)/(b – a), при a < x <=b;
m(x) = (c – x)/(c – b), при b < x <=c;
m(x) = 0, при с < x.
трапециевидные
m(x) = 0, при x <a;
m(x) = (x – a)/(b – a), при a < x <=b;
m(x)= 1, при b < x <=c;
m(x) = (d – x)/(d – c), при c < x <=d;
m(x) = 0, при d < x.
__Гауссовские функции принадлежности задаются двумя параметрами
(c,s): m(x) = exp(-0.5(x - c)2/s2).
__Колоколообразные функции принадлежности
задаются параметрами (a,b,c):
m(x) = 1/(1+((x - c)/a)2b)
13. Пустое, нормальное и субнормальное нечеткое множество. Точки перехода нечеткого множества. Отношения между нечеткими множествами: включения и равенства. Множество a –уровня, сильное и слабое сечение.
__Множество, не содержащее элементов, называется пустым и обозначается Æ
__Нечеткое множество А называется пустым, если mA(x)=0, "x Î U
__Носителем нечеткого множества А называется подмножество таких точек U, для которых величина mA(x) положительна. Носитель обозначается S(A) или Supp A: S(A) = {x|xÎ U, mA(x) > 0}
__Высотой h(A) нечеткого множества А называется величина h(A) = max mA(x) по всем x Î U
__Нечеткое множество А называется нормальным, если его высота равна единице. В противном случае нечеткое множество А субнормально. Нечёткое множество унимодально, если mA(x) =1 только на одном x из U .
__Элементы множества U, для которых степень принадлежности mA(x) = 0.5 называются точками перехода нечеткого множества
ОТНОШЕНИЯ МЕЖД МН_МИ::::
__Пусть A и B — нечеткие подмножества. Будем говорить, что A содержится в B, и обозначать A Í B, если " xÎ U, mA(x) £ mB(x)
__A и B равны (A = B), если " xÎ U, mA(x) = mB(x)
___Множеством a -уровня нечеткого множества А - это множество Аa всех таких элементов универсального множества U, степень принадлежности которых больше или равна a: Aa={x |" xÎ U, mA(x) ³a }
Множество a -уровня называют иногда сечением a нечеткого множества А. Причем, если mA(x) ³ a , то говорят о сильном сечении, если mA(x) > a, то о слабом сечении
14. Основные операции над нечеткими множествами: объединение, пересечение, дополнение, разность, дизъюнктивная сумма, степень множества, концентрирование и растяжение, прямое произведение нечетких множеств. Законы алгебры нечетких множеств при максимином и алгебраическом определении функции принадлежности. Законы алгебры нечетких множеств при ограниченной функции принадлежности.
__Пусть А и В — нечеткие множества на универсальном множестве U.
Объединением нечетких множеств А и В в U называют наименьшее нечеткое подмножество AÈB, включающее как А, так и В.
___Функция принадлежности для элементов может быть:
Максимальной mAÈB(x) = max(mA(x), mB(x)), " xÎ U (пример)
Алгебраической mAÈB(x) = mA(x) + mB(x) - mA(x) mВ(x), " xÎ U
Ограниченной mAÈB(x) = min(1,mA(x) + mB(x)), " xÎ U
(Рис(Л-3(14))
ПЕРЕСЕЧЕНИЕ:::::: Пересечением нечетких множеств А и В в U называют наибольшее нечеткое подмножество АÇВ, содержащееся одновременно в А и В.
Функция принадлежности для элементов может быть:
Минимальной mAÇ B(x) = min(mA(x), mB(x)), " xÎ U (пример)
Алгебраической mA Ç B(x) = mA(x) mВ(x), " xÎ U
Ограниченной mA Ç B(x) = max(0, mA(x) + mB(x) - 1), " xÎ U
___Дополнением нечеткого множества А называют нечеткое множество -A с функцией принадлежности: m-A (x) = 1 — mA(x), " xÎ U
__Разность нечетких множеств А и В определяется по-разному, введением двух независимых операций
или mA - B (x) = min(mA(x), 1 — mB(x)), " xÎ U
__Дизъюнктивная сумма АÅВ нечетких множеств А и В определяется " xÎ U как
mA Å B (x) = max[ min(mA(x), 1 — mB(x) ), min(mB(x), 1 — mA(x))]
__Степенью нечеткого множества A называется нечеткое множество Aα с функцией принадлежности
µ(Aα (x)) = µαA (x), " xÎ U, α>0.
__При α = 2 получаем операцию концентрирование (уплотнение) CON(A) = A2. В результате применения этой операции к множеству А снижается степень нечеткости описания, причем для элементов с высокой степенью принадлежности это уменьшение относительно мало, а для элементов с малой степенью принадлежности относительно велико.
__При α = 0.5 получаем операцию растяжения DIL(A) = A0.5
Эта операция увеличивает степень нечеткости исходного нечеткого множества.
__Операция контрастной интенсификации (INT) определяется с помощью функции принадлежности следующим образом:
_Прямое произведение нечетких множеств: Пусть А1, А2, … Аn нечеткие подмножества универсальных множеств U1, U2, … Un соответственно
Прямое произведение А=А1 × А2 ×…× Аn является нечетким подмножеством декартового произведения U = U1 ×U2 ×…×Un c функцией принадлежности вида:
mA(x) = min(mA1(x1), …, mAn(xn)), x = (x1, …, xn) Î U
Нарушение законов (алгебры нечетких множеств?) при максимином и алгебраическом определении функции принадлежности.
A ∩ -A ≠ Ø A È -A ≠ U
Нарушение законов (алгебры нечетких множеств?) при ограниченной функции принадлежности.
Идемпотентности: A Ç A≠A, A È A≠A.
Дистрибутивности: (A Ç B) È C ≠ (A Ç C) È (B Ç C)
(A È B) Ç C ≠ (A È C) Ç (B È C)