ТОР 5 статей: Методические подходы к анализу финансового состояния предприятия Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века Характеристика шлифовальных кругов и ее маркировка Служебные части речи. Предлог. Союз. Частицы КАТЕГОРИИ:
|
Контрольное задание. Задача 1. На заданном множестве точек плоскости Q определены предикаты P1(x), P2(x), P(x)Задача 1. На заданном множестве точек плоскости Q определены предикаты P 1 (x), P 2 (x), P(x). Областью истинности предиката P 1 (x) является множество Р1, областью истинности предиката P 2 (x) – множество Р2, областью истинности предиката Р(х) – множество Р, заштрихованная часть области Q. a) Используя операции над множествами, записать формулу получения множества Р. б) Используя логические операции, записать формулу предиката P(x).
Задача 2. Дано множество M= { a, b }. Предикат P(x,y), где x Î M, yÎ M, задан следующей таблицей.
Определить значение истинности высказывания (с объяснением)
Задача 3. Выписать все элементы отношений и . Исследовать свойства отношения и представить его в виде ориентированного графа и координатной диаграммы.
Задача 4. Решить задачу
Задача 5. Для орграфа, представленного следующей матрицей инциденций, найти матрицу смежности, нарисовать диаграмму графа и определить будет ли он связным, сильно связным или несвязным.
Для орграфа, представленного следующей матрицей смежности, найти матрицу инциденций, нарисовать диаграмму графа и определить будет ли он связным, сильно связным или несвязным.
Задача 5. По заданной матрице расстояний графа G найти величину минимального пути и сам путь от вершины s = х1 до вершины t=х6, а затем величину максимального пути и сам путь между теми же вершинами.
ВОПРОСЫ К ЗАЧЕТУ ПО КУРСУ «ЛОГИКА» («ЛОГИКА И ДИСКРЕТНАЯ МАТЕМАТИКА») 1. Логика как наука, ее предмет, структура, значение. 2. Виды логик. 3. Понятие как форма мышления. 4. Понятие и представление. Понятие и термин. Определение и структура понятия. 5. Содержание и объем понятия. 6. Виды понятий. 7. Классификация понятий. 8. Суждение. Виды суждений. 9. Объединенная классификация суждений по качеству и количеству. 10. Виды суждений, не рассматриваемых в классической логике. 11. Комплексный анализ простого категорического суждения. 12. Умозаключения. 13. Дедуктивные умозаключения. 14. Силлогистика. Основные понятия. 15. Индуктивные умозаключения и их виды. 16. Логические основы теории аргументации. 17. Виды и правила доказательства и опровержения. 18. Основные законы логики (тождества, противоречия, исключенного третьего, достаточного основания). 19. Суждения и высказывания как формы мышления. 20. Основные операции над высказываниями. Таблицы истинности. 21. Эквивалентные высказывания и логические законы. 22. Одноместные предикаты: основные понятия. 23. Одноместные предикаты: использование кванторов общности и существования. 24. Двухместные предикаты: основные понятия. 25. Двухместные предикаты: использование кванторов общности и существования. 26. Логические законы, формулирующиеся с использованием кванторов. 27. Множества и классы понятий, основные операции над ними. Круги Эйлера. 28. Прямое (декартово) произведение множеств. Комбинаторные структуры. 29. Понятие отношения. Обратное отношение. Графическое представление бинарных отношений. 30. Отношения эквивалентности. Свойства отношений. Разбиения множеств на классы. 31. Отношения порядка. Свойства отношений. 32. Отображения и их основные свойства. Виды отображений. 33. Комбинаторные структуры (размещения, перестановки, сочетания). 34. Перестановки с учетом повторений. 35. Сочетания с учетом повторений. 36. Бином Ньютона. 37. Биномиальные коэффициенты. Свойства биномиальных коэффициентов. 38. Треугольник Паскаля. 39. Ориентированные графы. Диаграмма графа. Матрицы смежности, инциденций и достижимости. 40. Изоморфизм графов. 41. Маршруты, цепи, циклы. 42. Операции над графами. 43. Деревья (ориентированные, сбалансированные, бинарные, остовные). 44. Разрезы. 45. Потоковые модели. 46. Социометрические модели.
ПРИЛОЖЕНИЕ.
Задание по логике
Не нашли, что искали? Воспользуйтесь поиском:
|