- •6 Отношения. Унарные, бинарные, тернарные отношения.
- •13 Способы задания нечетких множеств. Операции над нечеткими множествами.
- •Операции над нечеткими множествами
- •15 Логика высказываний.
- •16 Логические операции. Формулы логики высказываний. Логические операции.
- •Формулы логики высказываний
- •17 Равносильность формул.
- •18 Нормальные формы формул, приведение к днф, кнф.
- •19 Совершенная дизъюнктивная и совершенная конъюнктивная нормальные формы.
- •Алгоритм получения сднф по таблице истинности.
- •Алгоритм получения скнф по таблице истинности.
- •20 Булева алгебра. Логические функции одной или нескольких переменных.
- •21 Суперпозиции функций. Полные системы логических функций.
- •22 Минимизация в классе дизъюнктивных нормальных форм.
- •23 Исчисление высказываний и исчисление предикатов.
- •Исчисление предикатов
- •24 Аксиоматические теории. Выводимость формул в исчислении высказываний.
- •25. Теорема дедукции. Предикаты, кванторы.
- •26. Формулы логики предикатов, их равносильность, выполнимость и общезначимость.
- •27. Аксиомы исчисления предикатов.
- •28. Алгебраические структуры. Группы.
- •29. Циклические группы. Группы подстановок. Кольца и поля
- •30. Элементы теории кодирования. Представление о кодировании.
- •31. Расстояние Хемминга.
- •32. Теорема о корректирующей способности кодов.
- •33. Матричное кодирование. Групповые коды.
- •34. Коды Хемминга.
- •35. Элементы комбинаторики. Размещения и сочетания.
- •36 Перестановки и подстановки.
- •37 Разбиения Формула включений и исключений.
- •38 Теория графов. Основные понятия и определения.
- •39 Понятие графа. Виды графов.
- •40 Способы задания графов.
- •41 Смежность, инцидентность.
- •42.Операции над графами. Части графов.
- •43 Связность, компоненты связности.
- •44 Числа графов: цикломатическое, хроматическое, внешней и внутренней устойчивости.
- •45 Поиск маршрутов в графе. Задача о минимальном соединении.
- •46 Задача о кратчайшем пути.
- •47 Эйлеровы цепи и циклы. Гамильтоновы цепи и циклы.
- •48 Транспортные сети. Понятие транспортной сети.
- •49 Поток в транспортной сети. Разрез, пропускная способность разреза.
- •50 Алгоритмы построения максимального потока.
- •1) Процедура помечивания вершин.
- •2) Процедура изменения потока.
34. Коды Хемминга.
Код Хемминга – это блочный код, позволяющий исправлять одиночные и фиксировать двойные ошибки, разработанный Ричардом Хеммингом в сороковых годах прошлого столетия.
Желая застраховаться от возможных сбоев и ускорить процесс обработки данных, Хемминг много работал над построением эффективных алгоритмов, позволяющих быстро обнаруживать и исправлять ошибки, и в 1950 году опубликовал способ кодирования, являющийся одним из самых известных на сегодняшний день.
Идея кодов Хемминга заключается в разбиении данных на блоки фиксированной длины и вводе в эти блоки контрольных бит, дополняющих до четности несколько пересекающихся групп, охватывающих все биты блока.
Ричард Хемминг рассчитал минимальное количество проверочных бит, позволяющих однозначно исправлять однократные ошибки.
Если длина информационного блока, который требуется закодировать - m бит. Количество контрольных бит, используемых для его кодирования, – k, то закодированный блок будет иметь длину: n = m+k бит. Для каждого блока такой длины возможны n различных комбинаций, содержащих ошибку.
Алгоритм кодирования Хэмминга - очень популярен и позволяет значительно повысить надежность передачи и хранения информации. Особенно, он выгоден при кодировании больших блоков данных. Существует большое количество различных способов реализации этого алгоритма.
35. Элементы комбинаторики. Размещения и сочетания.
Комбинаторика – это раздел дискретной математики, в котором изучаются вопросы о том, сколько различных комбинаций можно составить из заданных элементов (объектов) с учетом тех или иных условий. Как самостоятельная ветвь математики комбинаторика возникла в ХVII веке в связи с развитием теории вероятностей, хотя отдельные комбинаторные задачи были сформулированы еще в древности. Название этому математическому направлению дал немецкий языковед, философ и математик Готфрид Вильгельм Лейбниц (1646–1716), опубликовавший в 1666 г. свою работу «Об искусстве комбинаторики», в которой впервые появился термин «комбинаторный».
Исходным в комбинаторике является интуитивно ясное понятие выборки (синонимы – «расстановки», «комбинации», «соединения», как набора m элементов из некоторого исходного множества, причем наборы могут быть как упорядоченными, так и неупорядоченными, с повторениями элементов и без повторений.
В настоящее время комбинаторика представляет собой один из важнейших разделов современной дискретной математики, имеющий многочисленные применения на практике. Следовательно, каждый грамотный человек должен иметь достаточно четкое представление об основных (исходных) понятиях комбинаторики, таких, как размещения, перестановки, сочетания, разбиения и некоторых других, и уметь ими пользоваться хотя бы в несложных практических ситуациях. С этой целью и включен раздел комбинаторики в данный курс дискретной математики.
Кортежи длины k, составленные из элементов п-множества, называют размещениями с повторениями из п элементов по k.
Число размещений с повторениями находится по формуле:
Кортежи длины k, составленные из элементов п-множества, так что все элементы каждого кортежа должны быть различными, называют размещениями без повторений из п элементов по k, а их число обозначают .
Число размещений без повторений находится по формуле:
Сочетаниями без повторений из n элементов по т элементов называются соединения, каждое из которых состоит из m элементов, взятых из данных n элементов.
Число сочетаний из п элементов по m обозначают и читают «С из n по m».
Два сочетания из п элементов по т отличаются друг от друга хотя бы одним элементом. В отличие от размещений, порядок следования элементов здесь не учитывается.
Число сочетаний без повторений равно:
Число сочетаний с повторениями из n элементов по m выражается через число сочетаний без повторений.
Число сочетаний с повторениями обозначается символом .
Формула числа сочетаний из m элементов по n элементов с повторениями имеет вид: