
- •Содержание
- •Практическое занятие №1 Операции над множествами. Классификация множеств. Элементы теории множеств
- •Операции над множествами
- •Практическое занятие №2
- •Практическое занятие №3*. Проверка теоретико-множественных операций с помощью формул и определений
- •Практическое занятие №4* Представление множеств с помощью кругов Эйлера-Вена.
- •Практическое занятие №5 Бинарные отношения и их свойства. Соответствия между множествами. Отображения. Функции. Соответствия и функции.
- •Соответствия.
- •Взаимнооднозначные соответствия и мощности множеств.
- •Отображения и функции.
- •Отношения и их свойства.
- •Основные понятия и определения.
- •Практическое занятие №6* Элементы теории отображений и алгебры подстановок (перестановок). Операции над подстановками. Перестановки
- •Произведение подстановок
- •Обратная подстановка
- •Графическое представление подстановок
- •Инверсии
- •Задания для практического занятия №6*. Операции над подстановками, перестановками
- •Практическое занятие №7 Операции над высказываниями. Элементы алгебры логики
- •Математическая логика
- •Операции алгебры логики
- •Эквиваленция высказываний
- •Стрелка Пирса (функция Вебба)
- •Практическое занятие №8 Упрощение логических выражений с помощью законов логики
- •Законы алгебры логики
- •Практическое занятие №9* Построение таблиц истинности для высказываний.
- •Практическое занятие №10*,16 Дизъюнктивная нормальная форма (днф), конъюнктивная форма (кнф). Совершенные нормальные формы сднф и скнф в логике высказываний.
- •Практические занятия №11,12,13
- •Язык логики предикатов.
- •Предикаты.
- •Кванторы.
- •Истинные формулы и эквивалентные соотношения.
- •Практическое занятие №14* Операции логики Буля: дизъюнкция, конъюнкция, отрицание, импликация, эквивалентность, стрелка Пирса, штрих Шеффера, сумма по модулю два, разность.
- •Разность и импликация
- •Практическое занятие №15 Булевы вектора (двоичные вектора). Соседние и противоположные булевы вектора. N-мерный единичный куб. Булевы функции (функции алгебры логики) и способы их задания.
- •Практическое занятие №17* Представление булевых функций в виде сднф, скнф. Совершенные нормальные формы: дизъюнктивная, конъюнктивная и полиминальная
- •Решение
- •Сднф – совершенная дизъюнктивная нормальная форма
- •Скнф – совершенная конъюнктивная нормальная форма
- •Практическое занятие №18 Приложение алгебры логики к анализу и синтезу релейно-контактных схем.
- •Стандартные обозначения основных функциональных элементов
- •Метод Куайна для минимизации
- •Карты Карно (диаграмма Вейча)
- •Решение
- •1. Построим сднф – совершенную дизъюнктивную нормальную форму
- •2. Минимизируем сднф
- •Практическое занятие №23,24*
- •23. Операции двоичного сложения и ее свойства. Многочлен Жегалкина. Представление булевой функции в виде многочлена Жегалкина, используя сднф и формы логики.
- •24*. Представление булевой функции в виде многочлена Жегалкина с помощью треугольника Паскаля.
- •Представление булевой функции в виде многочлена Жегалкина, используя днф и формы логики
- •Представление булевой функции в виде многочлена Жегалкина, используя сднф и формы логики
- •Для булевых функций двух аргументов построить спнф, используя сднф и треугольник Паскаля
- •Для булевой функции, заданной вектором значений, определить полином Жегалкина.
- •Решение
- •Практические занятия № 25*, №26*
- •25. Классы Поста. Проверка булевой функции на принадлежность к классам Поста.
- •26. Проверка булевой функции на принадлежность к классам Поста, используя таблицу истинности. Полнота системы логических функций. Базис
- •Практические занятия № 27, №28
- •27. Полнота множества функций. Система базовых функций.
- •28. Исследование системы функций на полноту.
- •Практическое занятие № 29
- •Основные понятия
- •Практическое занятие № 30 Решение задач с помощью алгоритмов машины Тьюринга.
- •Перечень используемых учебных изданий, Интернет-ресурсов, дополнительной литературы
Практическое занятие №6* Элементы теории отображений и алгебры подстановок (перестановок). Операции над подстановками. Перестановки
Определение. Перестановкой степени n называется любая упорядоченная запись натуральных чисел 1, 2, 3, . . . , n в строчку одно за другим. Например, (2, 4, 3, 1, 5.) Это перестановка пятой степени. Вообще можно говорить о перестановках не только чисел, но и объектов любой природы, но для нас наибольший интерес представляет перестановка натуральных чисел. В принципе можно каждому объекту присвоить свой номер, тогда любая
перестановка
объектов может быть заменена перестановкой
чисел. Можно смотреть на перестановку
элементов как на перестановку их номеров.
Таким образом: подстановка на Х
представляет взаимно однозначную
функцию
Пример 1
,
При записи
подстановок используются также круглые
скобки. Подстановку можно задавать и
одной строкой. Например:
Определение. Транспозицией называется такое преобразование перестановки, при котором какие – либо два её элемента меняются местами, а все остальные элементы остаются на своих местах.
Произведение подстановок
Определение. Произведением подстановок называется суперпозиция
Пример 2
Покажем, как выполняется умножение для первого элемента.
|
|
Пример 3
Обратная подстановка
Для того, чтобы получить обратную подстановку, нужно поменять местами образы и прообразы, т.е. первую и вторую строку и привести к каноническому виду.
Пример 4.
Найти обратную подстановку для .
Графическое представление подстановок
|
|
Инверсии
Определение. Говорят, что в данной перестановке два числа образуют
инверсию (беспорядок) если большее из чисел в данной перестановке стоит
левее меньшего (
т.е. пары
:
).
В противном случае эти два числа образуют
порядок.
Будем называть подстановку чётной, если общее количество инверсий, содержащихся и впервой и во второй строчках чётное число и нечётной, если общее число инверсий в двух строчках – число нечётное.
Пример 5. Найти
все инверсии для подстановки
и
Определить четность и нечетность этих
подстановок.
;
1) Для перечислим все возможные инверсии:
Для первого элемента 5: (5;2), (5;1), (5;4), (5;3).
Для второго элемента 2: (2;1)
Для третьего элемента 1: инверсий нет
Для четвертого элемента 4: (4;3)
Всего имеется 6 инверсий, следовательно, подстановка четная.
2 способ. Подсчитаем общее количество инверсий в данной перестановке. Для этого поступим следующим образом:
- возьмём единицу
и сосчитаем, сколько чисел стоит левее
единицы: |5
2 1 4 3|,
,
1 –2
инверсии, затем единицу вычеркнем из
перестановки;
- теперь
возьмём двойку и подсчитаем, сколько
чисел стоит левее двойки|5
2 4 3|,
;
2 – 1
инверсия; вычёркиваем двойку
- и принимаемся
за тройку; |5
4 3| левее
тройки стоит 2
числа, то есть тройка даёт нам 2инверсии,
;
- вычёркиваем
тройку |5
4
| и считаем,
сколько чисел будет левее четвёрки;
четвёрка даёт 1
инверсию,
;
- вычёркиваем
четвёрку |5| и
считаем количество чисел левее пятёрки;
пятёрка даёт 0 инверсий,
.
Итого:
2+1+2+1=6
Общее число инверсий шесть.
2) Для перечислим инверсии:
Для первого элемента 3: (3;2), (3;1).
Для второго элемента 2: (2;1)
Для третьего элемента 5: (5;4), (5;1).
Для четвертого элемента 4: (4;1)
Всего имеется 6 инверсий, следовательно, подстановка четная.
2 способ для подсчета числа инверсий:
1. |3
2 5 4 1|,
|
2. |3 2 5 4|, |
3. |3 5 4|,
|
4. |5 4|, |
5.
|
4+1+0+1+0=6
|