
- •2. Простое и необычное множество. Парадоксы и Антиномии. Парадокс Рассела и его роль в математике. Способы избежать Парадокса Рассела. Логические антиномии.
- •3. Операции над множествами и законы алгебры множеств. Диаграммы Эйлера. Формула включений и исключений. Покрытия и разбиения. Классы разбиения.
- •6. Операции над соответствиями. Объединение, пересечение, дополнение, инволюция (обратное) соответствия, композиция соответствий.
- •7. Прямое и обратное соответствие Галуа и его роль в проективном распознавании образов. Свойства соответствий Галуа. Замкнутое подмножество.
- •8. Бинарное отношение. Способы задания. Рефлексивное, симметричное, антисимметричное, асимметричное, транзитивное отношения.
- •10. Диаграмма Хассе как способ задания отношения частичного порядка на множестве. Непосредственно предшествующие элементы. Линейно упорядоченные подмножества.
- •11. Замыкание отношений. Рефлексивное, симметричное, транзитивное замыкание отношений.
- •12. Понятие нечеткого множества. Функция принадлежности и ее интерпретация. Способы формализации нечетких множеств. Наиболее распространенные параметрические функции принадлежности.
- •15. Бинарная операция и ее основное множество. Способы задания бинарной операции. Таблица Кэли. Операционный квадрат таблицы Кэли.
- •16. Свойства бинарных операций: ассоциативность, коммутативность, дистрибутивность, существование нейтрального и обратного элементов, разрешимость уравнений.
- •18. Группоид. Квазигруппа. Латинский квадрат. Лупа. Полугруппа. Моноид. Группа. Абелева группа.
- •19. Подстановки. Композиция подстановок, нейтральная, обратная подстановка. Группа подстановок и ее таблица Кэли. Подгруппы группы подстановок.
- •20. Группа симметрий фигуры.
- •21. Иерархия систем с двумя бинарными операциями: Кольцо. Виды колец. Тело. Поле.
- •23. Отображения. Изоморфизм. Автоморфизм. Гомоморфизм. Эпиморфизм. Эндоморфизм. Мономорфизм. Биморфизм.
- •25. Способы задания графов: матрица смежности, матрица инциденций и список смежности.
- •28. Алгоритм определения компонент связности в неориентированном графе.
- •29. Эйлеров путь в графе. Эйлеров цикл. Теорема о существовании эйлерова цикла. Алгоритм нахождения эйлерова цикла и его вычислительная сложность.
- •30. Гамильтонов цикл в графе. Достаточные условия существования цикла Гамильтона: Дирака, Оре, Поша. Алгоритм с возвратом для поиска гамильтонова пути. Оценки вычислительной сложности алгоритма.
- •31. Задача коммивояжера. Алгоритм поиска субоптимального решения.
- •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) + (ac), (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
РЕШ КАК ЧАСТИЧ УПОР МН_ВО::::
__Решетка — частично упорядоченное множество, в котором каждое 2-ухэлементное подмнож. имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани.
МАЖОРАНТА ,,…….:::::
__Эл-т а из А есть мажоранта множ. В, если эл-т
a есть последующий или равный эл-т для всех b из B.
___Если мажоранта Î B, то она максимумом множ. B.
___Если множ. мажорант имеет минимум, то он единственен и его называют наименьшей верхней гранью Sup B.
МИНОРАНТА,…..,…..:::::
___Эл-т а из А есть миноранта множ. В, если эл-т
a есть предшествующий или равный эл-т для всех b из B.
__Если миноранта Î B, то она минимум множ. B.
___Если множ. минорант имеет максимум, то он единственен и его называют наибольшей нижней гранью Inf B.
СВЯЗЬ ДВУХ ОПРЕД РЕШЕТКИ::::
_Решетка - алгебра с двумя бинарными операциями "+" , "*" удовлетворяющая определенным тождествам
__Решетка — частично упорядоченное множество, в котором каждое 2-ухэлементное подмнож. имеет как точную верхнюю (sup), так и точную нижнюю (inf) грани
__Связь между двумя определениями решетки: a +b = sup {a, b}, a * b = inf {a, b}