Вход

Логика

Рекомендуемая категория для самостоятельной подготовки:
Контрольная работа*
Код 606300
Дата создания 2016
Страниц 12
Мы сможем обработать ваш заказ (!) 23 сентября в 12:00 [мск]
Файлы будут доступны для скачивания только после обработки заказа.
820руб.
КУПИТЬ

Содержание

Задание 1 3
Задание 2 4
Задание 3 5
Задание 4 7
Задание 5 9
Задание 6 11
Список использованных источников 12



Введение

-

Фрагмент работы для ознакомления


Контрольное задание

Задача 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, а затем величину максимального пути и сам путь между теми же вершинами.


Задача 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.00361
© Рефератбанк, 2002 - 2024