Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
| Код |
605457 |
| Дата создания |
2016 |
| Страниц |
9
|
Мы сможем обработать ваш заказ (!) 22 ноября в 12:00 [мск] Файлы будут доступны для скачивания только после обработки заказа.
|
Содержание
Задание 1 3
Задание 2 3
Задание 3 4
Задание 4 5
Задание 5 7
Список использованных источников 9
Введение
-
Задача 1. На заданном множестве точек плоскости Q определены предикаты P1(x), P2(x), P(x). Областью истинности предиката P1(x) является множество Р1, областью истинности предиката P2(x) – множество Р2, областью истинности предиката Р(х) – множество Р, заштрихованная часть области Q.
a) Используя операции над множествами, записать формулу получения множества Р.
б) Используя логические операции, записать формулу предиката P(x).
Задача 2. Дано множество M={a, b}. Предикат P(x,y), где x M, y M, задан следующей таблицей.
x y P(x,y)
a a 0
a b 1
b a 1
b b 1
Определить значение истинности высказывания (с объяснением)
y x P(x, y)
Задача 3. Выписать все элементы отношений и . Исследовать свойства отношения и представить его в виде ориентированного графа и координатной диаграммы.
X = {2, 4, 16, 22}, R = {: x / y четно}
Задача 4. Для орграфа, представленного следующей матрицей инциденций, найти матрицу смежности, нарисовать диаграмму графа и определить будет ли он связным, сильно связным или несвязным.
0 1 1 0 0
1 0 0 0 0
1 0 0 1 1
0 0 1 0 0
0 0 1 0 0
Задача 5. По заданной матрице расстояний графа G найти величину минимального пути и сам путь от вершины s=х1 до вершины t=х6, а затем величину максимального пути и сам путь между теми же вершинами.
Фрагмент работы для ознакомления
Контрольная работа
по дисциплине
«Логика»
Задание 1
На заданном множестве точек плоскости Q определены предикаты P1(x), P2(x), P(x). Областью истинности предиката P1(x) является множество Р1, областью истинности предиката P2(x) – множество Р2, областью истинности предиката Р(х) – множество Р, заштрихованная часть области Q.
a) Используя операции над множествами, записать формулу получения множества Р.
б) Используя логические операции, записать формулу предиката P(x).
Задание 2
Дано множество M={a, b}. Предикат P(x,y), где x M, y M, задан следующей таблицей.
x y P(x,y)
a a 0
a b 1
b a 1
b b 1
Определить значение истинности высказывания (с объяснением)
y x P(x, y)
Задание 3
Выписать все элементы отношений и . Исследовать свойства отношения и представить его в виде ориентированного графа и координатной диаграммы.
X = {2, 4, 16, 22}, R = {: x / y четно}
Задание 4
Для орграфа, представленного следующей матрицей смежности, найти матрицу инциденций, нарисовать диаграмму графа и определить будет ли он связным, сильно связным или несвязным.
0 1 1 0 0
1 0 0 0 0
1 0 0 1 1
0 0 1 0 0
0 0 1 0 0
Задание 5
По заданной матрице расстояний графа G найти величину минимального пути и сам путь от вершины s=х1 до вершины t=х6, а затем величину максимального пути и сам путь между теми же вершинами.
Список литературы
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. – (Дата обращения: 21.05.2016).
13. Сковиков А.К. Логика: учебник и практикум. Серия: Бакалавр. Базовый курс. – М.: Юрайт, 2014.
14. Судоплатов С.В., Овчинникова Б.В. Математическая логика и теория алгоритмов: Учебник – М.: ИНФРА-М; Новосибирск: Изд-во НГТУ, 2004. – 224 с. – (Высшее образование).
15. В.А. Успенский, А.Л. Семёнов Теория алгоритмов: основные открытия и приложения – М., Наука, 1987, 288 c.
Пожалуйста, внимательно изучайте содержание и фрагменты работы. Деньги за приобретённые готовые работы по причине несоответствия данной работы вашим требованиям или её уникальности не возвращаются.
* Категория работы носит оценочный характер в соответствии с качественными и количественными параметрами предоставляемого материала. Данный материал ни целиком, ни любая из его частей не является готовым научным трудом, выпускной квалификационной работой, научным докладом или иной работой, предусмотренной государственной системой научной аттестации или необходимой для прохождения промежуточной или итоговой аттестации. Данный материал представляет собой субъективный результат обработки, структурирования и форматирования собранной его автором информации и предназначен, прежде всего, для использования в качестве источника для самостоятельной подготовки работы указанной тематики.
Другие контрольные работы
bmt: 0.00437