Контрольная работа по "Математической логике и теории алгоритмов"

Автор работы: Пользователь скрыл имя, 25 Января 2013 в 02:23, контрольная работа

Краткое описание

1. Отношение задано на множестве целых чисел {53, 43, 54, 42, 44, 60, 50, 20} . Для каждого из следующих отношений:
1.1 проверить, является ли отношение рефлексивным, симметричным,
антисимметричным (строгим, нестрогим), транзитивным;
1.2. построить матрицы и графы этих отношений;
1.3. определить являются ли эти отношения отношениями эквивалентности,
частичного порядка, линейного порядка;
1.4.. для отношений эквивалентности построить классы эквивалентности;
1.5. для отношений частичного порядка применить алгоритм топологической
сортировки и получить отношение строго порядка;
1.6. построить транзитивные замыкания всех отношений.
• xRy  x и y имеют одинаковые остатки при делении на 3;
• xQy  в наборе имеется элемент, больший x , но меньший y ;
2. Будет ли логичным следующее рассуждение: Если губернатор не имеет
соответствующего авторитета или если он не желает принимать на себя
ответственность, то порядок не будет восстановлен и волнения не прекратятся до
тех пор, пока участникам волнений это не надоест, и власти не начнут
примирительные действия. Следовательно, если губернатор не желает взять на себя
ответственность и участникам волнений это не надоест, то волнения не прекратятся.