Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
| Код |
267264 |
| Дата создания |
09 мая 2015 |
| Страниц |
6
|
Мы сможем обработать ваш заказ (!) 27 декабря в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Описание
Контрольная работа
по дисциплине
«Логика»
Задание 1
На заданном множестве точек плоскости Q определены предикаты Р1(х), Р2(х), Р(х). Областью истинности предиката Р1(х) является множество Р1, областью истинности предиката Р2(х) – множество Р2, областью истинности предиката Р(х) – множество Р, заштрихованная часть области Q.
а) Используя операции над множествами, записать формулу получения множества Р.
б) Используя логические операции, записать формулу предиката Р(х).
Решение
Задание 2
Дано множество М={а, b}. Предикат Р(х,у), где хÎМ, уÎМ, задан следующей таблицей.
x y Р(х,у)
а а 0
а b 1
b а 1
b b 1
Определить значение истинности высказывания (с объяснением):
xyP(x, y)
Решение
Задание 3
Выписать все элементы отношений ρ= и ρ-1. Исследовать свойства отношения ρ и представить его в ви ...
Содержание
Задание 1 3
Задание 2 3
Задание 3 4
Список использованных источников 6
Введение
-
Фрагмент работы для ознакомления
X = {2, 4, 8, 10}, R = {<х, у>: (х-у) делится на 3}РешениеВыпишем все элементы отношения ρ=<х, у>:ρ={(8, 2), (10, 4)}Выпишем все элементы отношения ρ-1:ρ-1={(2, 8), (4, 10)}Исследовать свойства отношения ρ:рефлексивность: x∈M(xRx) – отсутствует,антирефлексивность (иррефлексивность): x∈M ┐(xRx) – присутствует,корефлексивность: x, y∈M (xRy⟹x=y) – отсутствует,симметричность: x, y∈M (xRy⟹yRx) – отсутствует,антисимметричность: x, y∈M (xRy yRx⟹x=y) – присутствует,асимметричность: x, y∈M (xRy⟹┐(yRx)), эквивалентна одновременной антирефлексивности и антисимметричности отношения – присутствует,транзитивность: x, y, z∈M (xRy yRz⟹xRz) – присутствует,евклидовость: x, y, z∈M (xRy xRz⟹yRz) – присутствует,полнота (или связность): x, y∈M (xRy ˅ yRx) – отсутствует,связность (или слабая связность): x, y∈M (x≠y⟹xRy ˅ yRx) – отсутствует,коннексность (англ. connex): x, y∈M (xRy ˅ yRx ˅ x=y) – отсутствует,трихотомия: x, y∈M верно ровно одно из трех утверждений: xRy, yRx или x=y – отсутствует.
Список литературы
1. Аляев Ю.А. Тюрин С.Ф. Дискретная математика и математическая логика. – М.: Финансы и статистика, 2006. – 368 с.
2. Бочаров В.А., Маркин В.И. «Основы логики: Учебник для вузов». – М.: Инфра-М, 2002.
3. Войшвенко Е.К., Дегтярев М.Г. «Логика: Учебник для вузов». – М.: Владос-пресс, 2001.
4. Германова А.Д. «Логика: Словарь и задачник: Учебное пособие для студентов вузов». – М.: Владос-пресс, 1998.
5. Гуц А.К. Математическая лоrика и теория алrоритмов. – Омск: Издательство Наследие. Диалог-Сибирь, 2003. – 108 с.
6. Иванов Е.А. «Логика: Учебник для юридических вузов». – М.: Бек, 1996.
7. Ивин А.А. «Логика. Учебник для гуманитарных факультетов». – М.: Фаир-пресс, 1999.
8. Логика. Учебное пособие для студентов вузов. – Ростов-на-Дону. Изд. «Феникс», 1996.
9. Марков А. А., Нагорный Н. М. Теория алгорифмов, изд. 2. – М.: ФАЗИС, 1996.
10. Марков А. А. Элементы математической логики. – М.: Изд-во МГУ, 1984.
11. Светлов В.А. Логика: Учебник. – М.: Логос, 2012.
12. Свободная онлайн-энциклопедия Википедия [Электронный ресурс]. – Режим доступа: http://ru.wikipedia.org/
13. Сковиков А.К. Логика: учебник и практикум. Серия: Бакалавр. Базовый курс. – М.: Юрайт, 2014.
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
Другие контрольные работы
bmt: 0.00394