Вариант 2

5.Дано множество числовых выражений . Построить граф этого отношения « меньше, чем» на этом множестве.

6.Множество М членов семьи Смирновых состоит из отца Ивана Михайловича, матери Елены Андреевны и четырёх детей: Миши, Тани, Васи и Оли. Между членами семьи существуют отношения родства, которые можно выразить словами: “быть мужем”, “быть братом” и т.д.

а) Укажите всевозможные отношения на множестве М.

б) Записать отношения «быть дочерью» с указанием всех его элементов и построить граф этого отношения.

в) Построить графы отношений «быть братом», «быть матерью».

8. На рис. 3 изображен граф отношения «а брат в» на множестве детей нашего двора { А, Б, В, Г, Д, Е, Ж, 3, И }. Кто из них является мальчиком? Кто девочкой? О ком нельзя по этому графу ничего сказать?

Рис.3

На множестве N для каждого из следующих отношений найдите область определения рr ₁ р и область значений рr ₂ р и укажите какими свойствами оно обладает:

В ариант 1 Вариант 2

1) хру НОД(х,у)=1; 2) хру у<2х;

3) хру х=у²; 4) хру х≤у;

5) хру у-х=12; 6) хру |у-х|=12;

7 ) хру (х-у):3; 8) хру ху=30;

9) хру х<у+1; 10)хру у=2х+1.

В 1. Пусть р и σ отношение эквивалентности на множестве М. Докажите или опровергните , что р σ и р σ- есть отношение эквивалентности.

В 2. Известно, что отношение р – отношение эквивалентности. Дополните граф этого отношения.

Контрольные вопросы

1. Что такое бинарное отношение на множестве?

2.Как можно записать бинарное отношение?

3.Какое отношение называют рефлексивным?

4.Какое отношение не является рефлексивным?

5.Какое отношение называют симметричным?

6.Какое отношение не является симметричным?

7. Какое отношение называют транзитивным?

8. Какое отношение не является транзитивным?

9. Что такое эквивалентность на множестве?

10.Какое отношение называют порядком?

11.Какие вы знаете еще специальные типы отношений?

Список литературы

1.Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. — М.: Финансы и статистика, 2006. — 368 с.

2.Варпаховский Ф.Л. Элементы теории алгоритмов. - М., Просвещение, 1970. - 25 с. (МГЗПИ)

3.Гуц А.К. Математическая лоrика и теория алrоритмов. - Омск: Издательство Наследие. Диалог-Сибирь, 2003. - 108 с.

4.Босс В. Лекции по математике. Т. 6: От Диофанта до Тьюринга. - М.: КомКнига, 2006. - 208 с.

5.Босс В. Лекции по математике. Т. 10: Перебор и эффективные алгоритмы: Учебное пособие. — М.: Издательство ЛКИ, 2008. - 216 с.

Практическое занятие № 7 Составление простых и составных высказываний.

Тема программы: Формулы логики. Таблицы истинности.

Цели урока:

1)   Обобщить теоретические знания по теме: «Формулы логики. Таблицы истинности».

2) Рассмотреть алгоритмы решений заданий теме «Формулы логики. Таблицы истинности» .

3)   Формировать ответственность; самоконтроль, рассудительность.

Время выполнения: 2 часа.