- •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. Кодирование и декодирование по Хеммингу.
20. Группа симметрий фигуры.
---
симметрия относительно диагонали 2-4
- симметрия относительно диагонали 1-3
симметрия относительно горизонтальной линии
симметрия относительно вертикальной линии
Вращение по часовой На 900
Вращение по часовой На 1800
Вращение по часовой На 2700
Тождественная
21. Иерархия систем с двумя бинарными операциями: Кольцо. Виды колец. Тело. Поле.
КОЛЬЦО:::
Кольцо - это алгебры вида А=<M,+ ,* > для операций которой выполняются следующие аксиомы колец: для любых (a, b, c Î М):
1) аддитивная операция «+» ассоциативна a + (b + c) = (a + b) + c
2) $ е для «+» аддитивной операции а + е = е + а = а
3) $ а# для «+» аддитивной операции а + а# = a# + a = e
4) Аддитивная операция «+» коммутативна a + b = b + a.
5) Мультипликативная операция ⊗ дистрибутивна относительно «+» аддитивной справа и слева.
a (b + c) = (ab) + (a c)
(b + c) a = (b a) + (c a )
ВИДЫ КОЛЕЦ::::::::::::::::::::::::::::
__Если a (b c) = (a b) с, то кольцо – ассоциативно
__Eсли (aa)b = a(ab), (ab) b = a (b b) - альтернативно;
__Если a b = bа, то кольцо коммутативно;
__Если ab = bа и (ab)(aa) = ((aa) b) a, то кольцо йордановое
__Eсли a2 = a, a(bc) + b(ca) +c(ab) = 0, то это кольцом Ли;
ПОЛЕ:::::::::::::::::::::::::
Поле - это( кольцо) алгебры вида А=<M,+ ,* > для операций которой выполняются следующие аксиомы: для любых (a, b, c Î М):
1) аддитивная и мультипликативная операции ассоциативны a + (b + c) = (a + b) + c, (ab) c = a (bc)
2) $ е для аддитивной и мультипликативной операций
а + е = е + а = а, а е = е а = а
3) $ а# для аддитивной и мультипликативной операции
а + а# = a# + a = e, а а# = a# a = e
4) Аддитивная и мультипликативная операции коммутативны
a+b = b+a, ab=ba
5) Мультипликативная операция дистрибутивна относительно аддитивной справа и слева. a (b + c) = (ab) + (a c), (b + c) a = (b a) + (c a )
___Все элементы поля образуют абелеву группу по сложению (аддитивная группа поля), а все ненулевые элементы — абелеву группу по умножению (мультипликативная группа поля).
ТЕЛО :::::::::::::::::::::::::::: __Тело это кольцо, для которого в случае изъятия 0, выполнены условия
1) $ е для мультипликативной операции а е = е а = а
2) $ а# для мультипликативной операции а а# = a# a = e
3) Мультипликативная операция коммутативна ab=ba
__Теорема. Кольцо является телом тогда и только тогда, когда оно содержит не менее двух элементов и оба уравнения ax = b и xa = b, разрешимы для любых элементов a, bÎ A, где a ¹ 0.
22. Решетка как универсальная алгебра. Решетка как частично упорядоченное множество. Мажоранта, максимальный элемент, наименьшая верхняя (точная верхняя) грань множества Sup. Миноранта, минимальный элемент, наибольшая нижняя (точная нижняя) грань множества Inf. Связь двух определений решеток.
РЕШЕТ КАК УНИВЕРСАЛ АЛГЕБ::::
__Решетка - алгебра с двумя бинарными операциями + , ⊗ удовлетворяющая следующим тождествам
1) _идемпотентность, a+ a = a, a ⊗ a = a
2)_Коммутативностьa + b = b + a, a ⊗ b = b ⊗ a 3)_Ассоциативнос (a + b) + c = a + (b + c), (a ⊗ b) ⊗ c = a ⊗ (b ⊗ c)
4)_Поглощение ( a ⊗ a) + b = a, ( a + a) ⊗ b = a
РЕШ КАК ЧАСТИЧ УПОР МН_ВО::::
__Решетка — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани.
МАЖОРАНТА ,,…….:::::
__Элемент а из А есть мажоранта множества В, если элемент
a есть последующий или равный элемент для всех b из B.
___Если мажоранта Î B, то она максимумом множества B.
___Если множество мажорант имеет минимум, то он единственен и его называют наименьшей верхней гранью Sup B.
МИНОРАНТА,…..,…..:::::
___Элемент а из А есть миноранта множества В, если элемент
a есть предшествующий или равный элемент для всех b из B.
__Если миноранта Î B, то она минимум множества B.
___Если множество минорант имеет максимум, то он единственен и его называют наибольшей нижней гранью Inf B.
СВЯЗЬ ДВУХ ОПРЕД РЕШЕТКИ::::
_Решетка - алгебра с двумя бинарными операциями "+" , "*" удовлетворяющая определенным тождествам
__Решетка — частично упорядоченное множество, в котором каждое двухэлементное подмножество имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани
__Связь между двумя определениями решетки: a +b = sup {a, b}, a * b = inf {a, b}