И код направления подготовки
жүктеу/скачать 341.63 Kb.
|
- Бұл бет үшін навигация:
- Элементы математической логики. Логика высказываний.
| Определение. n-aрным отношением на множестве М называется подмножество декартова произведения M x M x M x…M (n раз умножить) или Mn (т.е подмножество множества всех упорядоченных n-ок элементов из M);
говорят, что n-ка (x1,x2,…,xn), называемая иначе кортежем, – частный случай кортежа упорядоченная пара (х, у) – удовлетворяет отношению ρ, если для всех 1 i n, xi М и ρ(x1,x2,…,xn) нестрогое подмножество Mn. Следует обратить внимание, что компоненты xi занимают в кортеже всегда заданное место, т.е кортеж есть упорядоченное множество компонент. Тернарное отношение — частный случай n-арного алгебраического отношения с n=3. Наиболее изученными и чаще всего используемыми являются унарные и бинарные отношения. Унарные отношения отражают наличие какого-то определенного признака у элементов множества A(например, «быть белым» на множестве шаров в урне). Бинарные отношения используются для определения каких- то взаимосвязей, которыми характеризуются пары элементов во множестве А (так, на множестве людей могут быть заданы, например, следующие бинарные отношения: «жить в одном городе», «быть моложе», «быть сыном» и т.д.) Вопросы для закрепления: Что называется декартовым произведением множеств? Приведите пример. Что называется соответствием? Отображением? Функцией?. Что называют n-aрным отношением? Унарным? Бинарным? Тернарным? Литература: Основная [1]; дополнительная [3]; Интернет ресурсы [1]-[4] Тема 3 Элементы математической логики. Логика высказываний. Количество часов 1 Основные вопросы/план темы: Высказывания. Логические операции. Формулы логики высказываний. Равносильность формул. Тезисы лекции* жүктеу/скачать 341.63 Kb. Достарыңызбен бөлісу:
|