Вопросы/задания к контрольной работе: Операции над множествами

ВАРИАНТ 1

Практическое задание (ДЗ)

Выполняется во второй, отдельной тетради (файле) - решение задач по вариантам, номер варианта соответствует номеру по списку группы.

Теория множеств.

Задание 1:

Выполнить операции над множествами.

1.1. Множества M, А, В, С – произвольные, множество I – универсальное (универсум), Æ - пустое множество.

1.2. Представить результат графически на диаграмме Эйлера для трех взаимно пересекающихся множеств А, В, С и записать в виде объединения пересечений (конституент единицы) с использованием, где необходимо операции дополнения. Получить то же алгебраически.

Решить в СКА Вольфрам Альфа

Вариант 1. 1) Æ М = (написать ответ),

=

Вариант 2. 1) (написать ответ),

2) =

Вариант 3. 1) (написать ответ),

2) =

Вариант 4. 1) (написать ответ),

2) =

Вариант 5. 1) Æ I(написать ответ),

2 =

Вариант 6. 1) (написать ответ),

2) =

Вариант 7. 1) (написать ответ),

2) =

Вариант 8. 1) (написать ответ),

2) =

Вариант 9. 1) (написать ответ),

2) =

Вариант 10. 1) Æ M =(написать ответ),

2) =

Вариант 11. 1) (написать ответ),

2) =

Вариант 12. 1) Æ =(написать ответ),

2) =

Вариант 13. 1) =(написать ответ),

2) =

Вариант 14. 1) =(написать ответ),

2) =

Вариант 15. 1) =(написать ответ),

2) =

Вариант 16. 1) =(написать ответ),

2) =

Вариант 17. 1) =(написать ответ),

2) =

Вариант 18. 1) =(написать ответ),

2) =

Вариант 19. 1) =(написать ответ),

2) =

Вариант 20. 1) Æ =(написать ответ),

2) =

Вариант 21. 1) =(написать ответ),

2) =

Вариант 22. 1) =(написать ответ),

2) =

Вариант 23. 1) =(написать ответ),

2) =

Вариант 24. 1) =(написать ответ),

2) =

Вариант 25. 1) Æ =(написать ответ),

2) =

Вариант 26. 1) Æ =(написать ответ),

2) =

Вариант 27. 1) =(написать ответ),

2) =

Вариант 28. 1) =(написать ответ),

2) =

Вариант 29. 1) Æ =(написать ответ),

2) =

Вариант 30. 1) =(написать ответ),

2) =

Вариант 31. 1) =(написать ответ),

2)

Вариант 32. 1) =(написать ответ),

2) =

Вариант 33. 1) =(написать ответ),

2) =

Вариант 34. 1) =(написать ответ),

2) =

Вариант 35. 1) Æ I =(написать ответ),

2) =

Задание 2: По заданному десятичному числу, которое вычисляется следующим образом :

Группа АТ: 100 + номер по списку группы,

Группа ТК: 130+ номер по списку группы,

Группа КЗИ: 160+ номер по списку группы,

Группа КОБ: 190+ номер по списку группы,

Группа СТАР: 220+ номер по списку группы,

Группа СРРС: 80+ номер по списку группы,

заштриховать на диаграмме Эйлера для трех взаимно пересекающихся множеств А, В, С соответствующую область и записать ее в виде объединения конституэнт.

Выполнить операции объединения, пересечения и симметрической разности заданного номером множества с множеством №211.

Решить в СКА Вольфрам Альфа

Комбинаторика.

Задание №3. Решить комбинаторную задачу. Выполнить вычисления по пунктам 1-3 в EXEL и приложить скриншоты. Решить в СКА Вольфрам Альфа

Вариант 1.

1.Сколькими способами можно набрать баллы после трех «контрольных точек», если максимальное число баллов по каждой равно 10?

2.Определить число вариантов перестановок разрядов в коде доступа 01032.

3. На складе имеется три типа оборудования. Сколько комплектов можно подготовить для оснащения им 5 торговых павильонов?

4. Решить комбинаторное уравнение x.

Вариант 2.

1.Сколькими способами можно занять места в аудитории, имеющей 15 мест, группой обучающихся из 4 –х человек?

2.Сколькими способами можно построить колонну из 3-х автомобилей 3-х типов? Перечислить варианты.

3. Сколькими способами можно выбрать подгруппу из 4-х студентов из группы, состоящей из 8-ми человек?

4. Решить комбинаторное уравнение x.

Вариант 3.

1.Сколько вариантов состояний имеет экономическая система из 9 подсистем, если каждая подсистема может находиться в 5-ти возможных состояниях?

2.Сколько комбинаций банковских шифров можно получить перестановкой цифр в шифре 20287?

3. Сколькими способами можно выбрать пары состояний из пяти состояний экономической системы?

4. Решить комбинаторное уравнение x.

Вариант 4.

1.Сколько вариантов состояний имеет государство из четырех губерний, каждая из которых может находиться в одном из следующих состояний: а) экономический рост, б) экономический спад, г) стабильное развитие?

2.Сколькими способами может руководитель фирмы назначить на 5 должностей 2-х специалистов с высшим образованием? Перечислить варианты.

3. Сколько пар могут составить три юноши в обществе пяти девушек?

4. Решить комбинаторное уравнение x.

Вариант 5.

1.Сколько комбинаций двоичных коэффициентов a,b,c,d имеется для уравнения

ax-by+cz-dw=0 ?

2.Сколькими способами можно построить колонну из 3-х велосипедистов? Перечислить варианты.

3. Сколькими способами можно составить векторов-составов из 4-х предприятий трех типов?

4. Упростить выражение x.

Вариант 6.

1.Сколько вариантов трёхсимвольных кодов из алфавита {#,@,&}

2.Сколькими способами можно расставить автомобили 10 наименований по трем стоянкам, если на первую должно быть поставлено 3, на вторую –5, а на треть –2?

3. Сколькими способами можно выбрать три квартиры из предложенных восьми?

4. Решить комбинаторное уравнение x.

Вариант 7.

1.Сколько существует вариантов открытия тремя предпринимателями трех типов промышленных предприятий?

2.Сколькими способами можно составить цепочки из символов &, *, ^, $?

3. Сколькими способами можно выбрать два особняка в Перми из предлагаемых пяти?

4. Решить комбинаторное уравнение x.

Вариант 8.

1.Сколькими способами пять семей приобретут по одной квартире в восьми квартирном доме?

2.Сколькими способами можно переставить три строки и два столбца некоторой матрицы?

3. Сколько можно выбрать подгрупп из четырех специалистов, если в группе специалистов 7 человек?

4. Решить комбинаторное уравнение x.

Вариант 9.

1.Подсчитайте число цепочек, состоящих из 5-ти символов 3-х типов.

2.Сколькими способами можно переставить буквы в логине «перешеек»?

3. Сколько можно составить бригад из 5 инженеров 4-х специальностей?

4. Решить комбинаторное уравнение x.

Вариант 10.

1. Подсчитайте число программ на языке АССЕМБЛЕР, не обязательно имеющих смысл, состоящих из 4-х команд 3-х типов?

2. Подсчитайте число пин-кодов, получаемых перестановками символов в коде 0132?

3.Сколько пар можно выбрать из 5-ти сотрудников?

4. Упростить выражение x.

Вариант 11.

1.Сколько десятичных трехзначных номеров существует?

2.Определить число вариантов перестановок символов в слове авасд.

3. Имеется три типа альпинистской обуви. Сколькими способами можно оснастить пятерых экстремалов?

4. Решить комбинаторное уравнение x.

Вариант 12.

1.Сколькими способами можно занять места на соревнованиях, в которых участвуют 15 спортсменов, командой из 4 –х человек, если никакие два участника не набирают одинакового количества очков?

2.Сколькими способами можно построить колонну из 3-х кораблей 3-х типов? Перечислить варианты.

3. Сколькими способами можно выбрать подгруппу из 4-х экономистов в группе, состоящей из 8-экономистов?

4. Решить комбинаторное уравнение x.

Вариант 13.

1.Сколько вариантов состояний имеет устройство из 9 микросхем, если каждая микросхема может находиться в 5-ти возможных состояниях?

2.Сколько комбинаций шифров можно получить перестановкой цифр в шифре 80827?

3. Сколькими способами можно выбрать пары состояний из пяти состояний устройства?

4. Решить комбинаторное уравнение x.

Вариант 14.

1.Сколько вариантов состояний имеет государство из четырех республик, каждая из которых может находиться в одном из следующих состояний: а) экономический спад, б) стабильность, г) экономический подъём?

2.Сколькими способами может руководитель департамента экономики назначить на 5 должностей 2-х специалистов с высшим образованием? Перечислить варианты.

3. Сколько пар могут составить три девушки в обществе пяти юношей?

4. Решить комбинаторное уравнение x.

Вариант 15.

1.Сколько комбинаций двоичных коэффициентов a,b,c,d имеется для уравнения

ax+by+cz-dw=0 ?

2.Сколькими способами можно построить колонну из 3-х гироскутеров? Перечислить варианты.

3. Сколькими способами можно составить наборы продуктов из 4-х продуктов трех типов?

4. Упростить выражение x.

Вариант 16.

1.Сколько трёхцветных (трёхполосных) футболок можно сшить из материала 4-х цветов?

2.Сколькими способами можно расставить автобусы 10 наименований по трем стоянкам, если на первую должно быть поставлено 3, на вторую –5, а на треть –2?

3. Сколькими способами можно выбрать три квартиры из предложенных восьми?

4. Решить комбинаторное уравнение x.

Вариант 17.

1.Сколько существует вариантов приобретения тремя предприятиями трех типов сырья?

2.Сколькими способами можно составить последовательности из символов &, ^, *, $?

3. Сколькими способами можно выбрать два участка в Заозерье из предлагаемых пяти?

4. Решить комбинаторное уравнение x.

Вариант 18.

1.Сколькими способами пять семей приобретут по одной квартире в восьми квартирном доме?

2.Сколькими способами можно переставить три столбца и две строки некоторой матрицы?

3. Сколько можно выбрать подгрупп из четырех специалистов, если в группе специалистов 7 человек?

4. Решить комбинаторное уравнение x.

Вариант19.

1.Подсчитайте число слов, не обязательно имеющих смысл, состоящих из 5-ти букв из множества {а,е,о}?

2.Сколькими способами можно переставить буквы в слове «Веремеев»?

3. Сколько можно составить бригад из 5 -ти рабочих 4-х специальностей?

4. Решить комбинаторное уравнение x.

Вариант 20.

1. Подсчитайте число программ, не обязательно имеющих смысл, состоящих из 4 команд трех типов?

2. Подсчитайте число последовательностей, получаемых перестановками символов в последовательности 0132?

3.Сколько пар можно выбрать из 5-ти бухгалтеров?

4. Упростить выражение x.

Вариант 21.

1.Сколькими способами может набрать очки спортсмен после трех выстрелов по мишени из 9-ти секторов?

2.Определить число вариантов перестановок разрядов в векторе 010323.

3. Имеется три типа снаряжения. Сколькими способами можно оснастить 4-х спасателей?

4. Решить комбинаторное уравнение x.

Вариант 22.

1.Сколькими способами можно занять места в аудитории, имеющей 10 мест, группой учащихся из 4 –х человек?

2.Сколькими способами можно построить колонну из 4-х автомобилей 4-х марок? Перечислить варианты.

3. Сколькими способами можно выбрать подгруппу из 4-х учащихся из группы, состоящей из 9-ми человек?

4. Решить комбинаторное уравнение x.

Вариант 23.

1.Сколько вариантов состояний имеет система из 8 подсистем, если каждая подсистема может находиться в 5-ти возможных состояниях?

2.Сколько комбинаций шифров можно получить перестановкой цифр в шифре 202870?

3. Сколькими способами можно выбрать пары состояний из пяти состояний экономической системы?

4. Решить комбинаторное уравнение x.

Вариант 24.

1.Сколько вариантов состояний имеет государство из трёх губерний, каждая из которых может находиться в одном из следующих состояний: а) экономический рост, б) экономический подъём, г) нестабильность?

2.Сколькими способами может руководитель фирмы назначить на 4 должностей 2-х специалистов с высшим экономическим образованием? Перечислить варианты.

3. Сколько пар могут составить три джентльмена в обществе пяти леди?

4. Решить комбинаторное уравнение x.

Вариант 25.

1.Сколько комбинаций двоичных коэффициентов a,b,c,d имеется для уравнения

ax-by+cz+dw=0 ?

2.Сколькими способами можно построить колонну из 3-х автомобилей? Перечислить варианты.

3. Сколькими способами можно составить наборы инструментов из 3-х устройств трех типов?

4. Упростить выражение x.

Вариант 26.

1.Сколько трёхцветных трёхполосных билбордов можно предложить из материала 3-х

цветов?

2.Сколькими способами можно расставить автокраны 10 наименований по трем стоянкам, если на первую должно быть поставлено 3, на вторую –5, а на треть –2?

3. Сколькими способами можно выбрать три земельных участка из предложенных восьми?

4. Решить комбинаторное уравнение x.

Вариант 27.

1. Подсчитайте число паролей, состоящих из 5 символов {@,$,+}?

2. Подсчитайте число последовательностей, получаемых перестановками символов в последовательности 013270?

3.Сколько пар можно выбрать из 8-ми специалистов?

4. Упростить выражение x.

Теория графов.

Задание №4 а) Задан неориентированный граф без петель из пяти вершин строками матрицы смежности в виде шестнадцатеричного числа, где первая цифра - первая строка, вторая цифра – вторая строка и т.д. Изобразить по заданному шестнадцатеричному числу граф в виде рисунка и определить степени всех вершин, цикломатическое и хроматическое число.

( Вариант соответствует номеру по списку подгруппы).

Вариант 1). 9221

Вариант 2). А321

Вариант 3). В331

Вариант 4). С421

Вариант 5). Д431

Вариант 6). 9221

Вариант 7). F531

Вариант 8). E631

Вариант 9). D521

Вариант 10). C431

Вариант 11). B321

Вариант 12). F721

Вариант 13). 9431

Вариант 14). F321

Вариант 15). E231

Вариант 16). D431

Вариант 17). C521

Вариант 18). B731

Вариант 19). A731

Вариант 20). 9531

Вариант 21). F221

Вариант 22). C721

Вариант 23). B531

Вариант 24). A621

Вариант 25). D231

Вариант 26). 9220

Вариант 27). 9221

Изучить программный продукт Grin (GRaph INterface) (http://graph-software.narod.ru/main.html). Представить распечатки решения задачи определения хроматического числа, определения Эйлерова и Гамильтонова циклов для графа по своему варианту.

Задать произвольно веса рёбер и решить задачу определения кратчайшего пути.

б) Задан ориентированный граф из четырёх вершин четырёхразрядным шестнадцатеричным числом, где каждая цифра соответствует двоичной строке матрицы смежности 4×4.

Получить матрицу всех путей длиной 2 путем возведения в квадрат соответствующей булевой матрицы (вместо суммирования используется операция дизъюнкции).

Вариант 1). 5382Н

Вариант 2). 6382Н

Вариант 3). 5А82Н

Вариант 4). 5В82Н

Вариант 5). 4А82Н

Вариант 6). 3А82Н

Вариант 7). 7В82Н

Вариант 8). 53С2Н

Вариант 9). 63С2Н

Вариант 10).63С6Н

Вариант 11).63САН

Вариант 12).63СЕН

Вариант 13).53СЕН

Вариант 14).43СЕН

Вариант 15). 53D2Н

Вариант 16). 53D6Н

Вариант 17). 53D4Н

Вариант 18). 53DАН

Вариант 19). 53DЕН

Вариант 20). 5ВD2Н

Вариант 21). 5ВD6Н

Вариант 22). 5ВD4Н

Вариант 23). 5ВDЕН

Вариант 24). 5ВD8Н

Вариант 25). 4ВD6Н

Вариант 26). 7ВD6Н

Автоматы.

Задание 5: По заданному десятичному числу получить номер переключательной функции трёх переменных в двоичном, восьмеричном и шестнадцатеричном кодах, таблицу истинности соответствующей функции (ПФ), определить СДНФ, СКНФ, символическую форму функции. Определить свойства функции, обладает ли она функциональной полнотой?

Минимизировать функцию по кубу соседних чисел и карте Карно.

Варианты заданий: соответствуют номеру по списку группы.

Б). Получить булевы производные первого порядка минимизированной функции по всем переменным. Выполнить проверку.

В).Представить функцию в базисе Жегалкина. Выполнить проверку полученного полинома.

Задание 6:Построить асинхронный автомат Мили – распознаватель заданной последовательности для двух бинарных входов. Минимизировать логические функции методом Квайна-Мак-Класки, по карте Карно, методом Л.Ф.Викентьева.

Кодирование.

Задание7: Построить матрицу Хэмминга, уравнения кодирования и декодирования для заданного количества информационных разрядов. Привести пример кодирования и декодирования.

Задание 8: Закодировать с помощью циклического кодирования (порождающий полином G(X³) = X³ + X + 1 ) информационную посылку, десятичный номер которой соответствует сумме номера студента по списку и числа 100.

Продемонстрировать декодирование при передаче информации а) без ошибки;

б) с однократной ошибкой; в) с многократной ошибкой; г) с ошибкой, кратной порождающему полиному.

Варианты – по заданию 5

1. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. – М.: Финансы и статистика, 2006. –357 с.
2. С.Ф.Тюрин. Аляев Ю.А. Практическая дискретная математика и математическая логика – М.: Финансы и статистика, 2010. – 384 с.
3. Тюрин С.Ф., Ланцов В.М. Дискретная математика & математическая логика: учеб. пособие. Перм. нац. исслед. политехн. ун-т. – Пермь: Изд-во ПНИПУ, 2013. – 271 с.
4. Дискретная математика + математическая логика. Учеб. пособие / C.Ф. Тюрин. – Пермь: Изд-во Перм. нац. иссл. политех. ун-та, 2020. –50 с.

МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ

Формальная логика

Задание №9. Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера.

Варианты заданий в формате: (номер варианта, номер фигуры силлогизма, название фигуры)

Логика и алгебра высказываний.

Задание №10:

Формализовать заданное высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 3) «Стрелка Пирса», 3)»Импликация» и «Отрицание», 4) «Импликация» и «Константа нуля»(«0»).

Выполнить разложение Шеннона дизъюнктивное и конъюнктивное по старшей переменной.

1. Если нарушитель пытается взломать систему безопасности, то блокируется дверь и автоматически подаётся сигнал вызова охраны
2. Если сотрудник покажется охраннику подозрительным или не пройдёт биометрический контроль, то его задерживают до выяснения обстоятельств
3. Если возникает угроза захвата специальной документации, её необходимо уничтожить установленным образом и доложить непосредственному начальнику.
4. Подтверждение №1 или №2 осуществляется тогда и только тогда, когда реализуется план В.
5. Если срабатывает датчик YW, то это означает ситуацию вторжения на объект R или на объект Q
6. Угроза типа F возникает тогда и только тогда, когда ситуация №1 эквивалентна ситуации №2
7. Угроза типа F не возникает тогда и только тогда, когда если пароль отменяется, то запрашивается биометрическая идентификация.
8. Неверно, что если система функционирует без отказов и фиксируется ситуация А, то осуществляется переход в режим 2
9. Если поступает сообщение «Кедр», то неверно, что система функционирует без отказов и фиксируется ситуация А
10. Угроза типа F не возникает тогда и только тогда, когда система неисправна или требует обслуживания.
11. Неверно, что если сотрудник пытается выключить систему безопасности, то блокируется дверь и автоматически подаётся сигнал вызова охраны.
12. Неверно, что если сотрудник покажется охраннику подозрительным или не пройдёт биометрический контроль, то его задерживают до выяснения обстоятельств
13. Неверно, что, если возникает угроза захвата специальной документации, её необходимо уничтожить установленным образом и доложить непосредственному начальнику.
14. Неверно, что подтверждение №1 или №2 осуществляется тогда и только тогда, когда реализуется план В.
15. Неверно, что если срабатывает датчик YW, то это означает ситуацию вторжения на объект R или на объект Q
16. Неверно, что гроза типа F возникает тогда и только тогда, когда ситуация №1 эквивалентна ситуации №2
17. Неверно, что угроза типа F не возникает тогда и только тогда, когда если пароль отменяется, то запрашивается биометрическая идентификация.
18. Если система функционирует без отказов и фиксируется ситуация А, то не осуществляется переход в режим 2
19. Если поступает сообщение «Кедр», то неверно, что система функционирует без отказов и не фиксируется ситуация А
20. Неверно, что угроза типа F не возникает тогда и только тогда, когда система неисправна или требует обслуживания.
21. Если нарушитель пытается взломать систему безопасности, то блокируется дверь и автоматически подаётся сигнал вызова охраны
22. Если сотрудник покажется охраннику подозрительным или не пройдёт биометрический контроль, то его задерживают до выяснения обстоятельств
23. Если возникает угроза захвата специальной документации, её необходимо уничтожить установленным образом и доложить непосредственному начальнику.
24. Подтверждение №1 или №2 осуществляется тогда и только тогда, когда реализуется план В.
25. Если срабатывает датчик YW, то это означает ситуацию вторжения на объект R или на объект Q
26. Угроза типа F возникает тогда и только тогда, когда ситуация №1 эквивалентна ситуации №2
27. Угроза типа F не возникает тогда и только тогда, когда если пароль отменяется, то запрашивается биометрическая идентификация.
28. Неверно, что если система функционирует без отказов и фиксируется ситуация А, то осуществляется переход в режим 2

Задание №11: Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства и таблицы истинности.

2.1 .

2.2

2.3

2.4

2.5 .

2.6.

2.7.

2.8

2.9..

2.10.

2.11 .

2.12

2.13

2.14

2.15 .

2.16.

2.17.

2.18

2.19..

2.20.

2.21 .

2.22

2.23

2.24

2.25 .

2.26.

2.27.

2.28

2.29..

2.30.

Арифметизация БФ и ПБФ.

Задание №12: а). Выполнить арифметизацию функции, номер которой указан в задании №5:

Получить разложение в ряд Фурье этой функции.

б). Выполнить арифметизацию псевдо булевой функции, получаемой путём суммирования значений бинарной ПФ (по варианту задания 5а) с соответствующими заданными значениями:

1.Группа КОБ: 0,1,2,4,3,2,1,0;

2.Группа ТК: 0,2,3,5,4,2,1,1;

3.Группа АТ: 1,1,1,6,3,2,1,0;

4.Группа КЗИ: 2,1,1,6,3,2,1,2;

5.Группа СРРС: 3,1,1,6,3,2,1,0;

6.Группа СТАР: 0,3,1,6,3,2,1,0;

Получить ряд Фурье для этой ПБФ. Выполнить проверку.

Например, бинарная ПФ имеет вектор 1,1,1,0,0,0,1,0 (по наборам 0,1,2,3,4,5,6,7). Суммируем поразрядно с заданным шаблоном 0,1,2,4,3,2,1,0. Получаем ПБФ 1,2,3,4,3,2,2,0.

Логический вывод

Задание №13: Проверить аргумент методом резолюций. Получить все следствия из данных посылок.

1. «Если объект не обладает свойством X или обладает свойством Y, то он обладает свойством Z. Если объект обладает свойством X, то он обладает свойством Y., следовательно, объект обладает свойством Z.»
2. «Если Петр поедет в Севастополь, то Иван поедет в Курск. Петр поедет в Читу или в Севастополь. Если Петр поедет в Читу, то Анна останется в Москве. Но Анна не останется в Москве. Следовательно, Иван поедет в Курск.
3. «Если неверно, что событие Х или событие Y, то и событие Z, и событие Z1. Не событие Z или не событие Z1. Следовательно, событие X или событие Y.
4. «Если сегодня вечером будет дождь, то я пойду в экстрим парк. Если завтра будет снег, то я пойду на дискотеку. Сегодня вечером будет дождь или завтра будет снег. Следовательно, я пойду в экстрим парк или на дискотеку.»
5. «Если функция линейная или монотонная, то если она самодвойственна, то сохраняет константу нуля. Данная функция и не линейна, и не монотонна. Следовательно, она самодвойственна и не сохраняет константу нуля.
6. «Яна и Борис – ровесники или Яна старше Бориса. Если Яна и Борис - ровесники, то Оля и Борис разного возраста, Если Яна старше Бориса, то Борис старше Коли. Следовательно, Оля и Борис – разного возраста или Борис старше Коли»
7. «Если алгоритм X, то (алгоритм Y тогда и только тогда, когда алгоритм Z). Если алгоритм X, то алгоритм Z и (если алгоритм Z, то алгоритм Y). Следовательно, алгоритм X.
8. «Если получить зачет по контрольной работе, то будет допуск к экзамену. Я получу зачет, если научусь проверять правильность аргументов методом резолюций. Я не разобрался в этом методе. Следовательно, я не буду допущен к экзаменам.»
9. «Если и программа X, и программа Y, то и программа Z, и не программа Y. Не программа Z или программа Y., следовательно, не программа Y или не программа X.»
10. «Если я достану учебник или конспект, то сдам зачет. Если мой приятель не уедет в Крым, то я достану учебник. Если я достану конспект, то он уедет в Крым. Значит, я сдам экзамен»
11. «Если объект обладает свойством X или обладает свойством Y, то он обладает свойством Z. Если объект обладает свойством X, то он обладает свойством Y., следовательно, объект обладает свойством Z.»
12. «Если Петр не поедет в Севастополь, то Иван поедет в Курск. Петр поедет в Читу или в Севастополь. Если Петр поедет в Читу, то Анна останется в Москве. Но Анна не останется в Москве. Следовательно, Иван поедет в Курск.
13. «Если неверно, что событие Х или событие Y, то и событие Z, и событие Z1. Не событие Z или событие Z1. Следовательно, событие X или событие Y.
14. «Если сегодня вечером будет дождь, то я не пойду в экстрим парк. Если завтра будет снег, то я пойду на дискотеку. Сегодня вечером будет дождь или завтра будет снег. Следовательно, я пойду в экстрим парк или на дискотеку.»
15. «Если функция линейная или монотонная, то если она самодвойственна, то не сохраняет константу нуля. Данная функция и не линейна, и не монотонна. Следовательно, она самодвойственна и не сохраняет константу нуля.
16. «Яна и Борис – ровесники или Яна старше Бориса. Если Яна и Борис - ровесники, то Оля и Борис разного возраста, Если Яна старше Бориса, то Борис старше Коли. Следовательно, неверно, что Оля и Борис – разного возраста или Борис старше Коли»
17. «Если алгоритм X, то (алгоритм Y тогда и только тогда, когда алгоритм Z). Если алгоритм X, то не алгоритм Z и (если алгоритм Z, то алгоритм Y). Следовательно, алгоритм X.
18. «Если получить зачет по контрольной работе, то будет допуск к экзамену. Я не получу зачет, если не научусь проверять правильность аргументов методом резолюций. Я не разобрался в этом методе. Следовательно, я не буду допущен к экзаменам.»
19. «Если и программа X, и программа Y, то и не программа Z, и не программа Y. Не программа Z или программа Y., следовательно, не программа Y или не программа X.»
20. «Если я не достану учебник или конспект, то не сдам зачет. Если мой приятель не уедет в Крым, то я достану учебник. Если я достану конспект, то он уедет в Крым. Значит, я сдам экзамен»
21. «Если объект не обладает свойством X или не обладает свойством Y, то он обладает свойством Z. Если объект обладает свойством X, то он обладает свойством Y., следовательно, объект обладает свойством Z.»
22. «Если Петр не поедет в Севастополь, то Иван не поедет в Курск. Петр поедет в Читу или в Севастополь. Если Петр поедет в Читу, то Анна останется в Москве. Но Анна не останется в Москве. Следовательно, Иван поедет в Курск.
23. «Если неверно, что событие Х или событие Y, то и событие Z, и событие Z1. Не событие Z или не событие Z1. Следовательно, не событие X или событие Y.
24. «Если сегодня вечером будет дождь, то я пойду в экстрим парк. Если завтра будет снег, то я пойду на дискотеку. Сегодня вечером будет дождь или завтра будет снег. Следовательно, я пойду в экстрим парк или на дискотеку.»
25. «Если функция линейная или монотонная, то если она самодвойственна, то сохраняет константу нуля. Данная функция и не линейна, и не монотонна. Следовательно, она не самодвойственна и не сохраняет константу нуля.
26. «Яна и Борис – ровесники или Яна старше Бориса. Если Яна и Борис - ровесники, то Олег и Борис разного возраста, Если Яна старше Бориса, то Борис старше Коли. Следовательно, Олег и Борис – разного возраста или Борис старше Коли»
27. «Если алгоритм X, то (алгоритм Y тогда и только тогда, когда алгоритм Z). Если алгоритм X, то алгоритм Z и (если алгоритм Z, то алгоритм Y). Следовательно, алгоритм X.
28. «Если получить зачет по контрольной работе, то будет допуск к экзамену. Я получу зачет, если научусь проверять правильность аргументов методом резолюций. Я не разобрался в этом методе. Следовательно, я не буду допущен к экзаменам.»
29. «Если и программа X, и программа Y, то и программа Z, и не программа Y. Не программа Z или программа Y., следовательно, не программа Y или не программа X.»
30. «Если я достану учебник или конспект, то сдам зачет. Если мой приятель не уедет в Крым, то я достану учебник. Если я достану конспект, то он уедет в Крым. Значит, я сдам экзамен»

Формальная логика, логика предикатов.

Задание №14. Формализовать умозаключение по заданному модусу в логике предикатов. Доказать или опровергнуть умозаключение по заданному модусу путём построения диаграмм Эйлера и методом резолюций с использованием двух моделей.

Модель 1.

Модель 2. A:

I:

E:

O:

Варианты заданий - соответствуют заданию 1

Теория автоматов и алгоритмов

Задание №15.

Построить машину Тьюринга в виде графа для вычисления минимизированной логической функции по заданию №5.

Построить машину Поста для той же задачи.

Алфавит включает символы 0,1 для значений переменных, заданных на ленте, символ l, символ *.

Значение функции записать после *.

Задание №16.

Построить машину Тьюринга в виде графа для распознавания заданной последовательности (задание №6) символов на ленте.

Построить машину Поста для той же задачи.

Алфавит включает указанные символы, символ l, символ *.

После обнаружения заданной последовательности записать символ* в следующую ячейку и остановиться, либо остановиться при обнаружении l.

Нечёткая логика

Задание №17.

Разработать систему нечёткого вывода по заданию

Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика – М.: Финансы и статистика, 2006 с. 353 в пакете Fuzzy logic toolbox в среде MatLab.

Прибыль 0…200 млн. руб, в данный год 70+ номер по списку группы.

Зарплата 0…100 000, руб.

С.Ф. Тюрин. Аляев Ю.А. Практическая дискретная математика и математическая логика – М.: Финансы и статистика, 2010, Стр.364-381.

Задание №18.

Логическое программирование на языке ПРОЛОГ-Д

Написать ПРОЛОГ программу для определения некоторых родственников по собственному дереву родства.

С.Ф.Тюрин. Аляев Ю.А. Практическая дискретная математика и математическая логика – М.: Финансы и статистика, 2010, Стр.358-364.

Привести пример модифицированного дерева опровержения по аналогии с :

С.Ф.Тюрин. Аляев Ю.А. Практическая дискретная математика и математическая логика – М.: Финансы и статистика, 2010, Рис.П 5.6, Стр.36.