Перечень рекомендуемой литературы по курсу «логика» («логика и дискретная математика»)
⇐ ПредыдущаяСтр 3 из 3 1. Учебник логики. Со сборником задач: учебник/ А. Д. Гетманова. М.: КНОРУС, 2011. 2. Логика: учебник/ С.С. Гусев, Э.Ф. Караваев, Г.В. Карпов [и др.]; под. ред. А. И. Мигунова, И.Б. Микиртумова, Б. И. Федорова. М.: Проспект, 2010. 3. Логика: учебно-методическое пособие/ В. Н. Ксенофонтов. М.: Изд-во РАГС, 2010. 4. Дискретная математика.Курс лекций / И.А. Палий. М.: Эксмо, 2008. 5. Дискретная математика. Курс лекций и практических занятий/ С.Д. Шапорев. СПб.:БХВ-Петербург, 2007. 6. Эдельман С.Л. Математическая логика. М.: Высшая школа, 1975.
КОНТРОЛЬНОЕ ЗАДАНИЕ Выполняется одно контрольное задание, в котором содержится 6 задач. По выданному преподавателем номеру варианта задания с помощью таблицы вариантов, приведенной на следующей странице, определяются номера варианты входящих в задание задач. Образец оформления титульного листа задания приведен в Приложении. Срок сдачи задания: 16 неделя (до 20 декабря). Сроки зачета задания (с учетом исправления ошибок): 17 неделя (до 27 декабря). Таблица вариантов
Контрольное задание
Задача 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. Социометрические модели.
ПРИЛОЖЕНИЕ.
Задание по логике
Слушателя группы О-911 Иванова Петра Фомича Вариант 15
Воспользуйтесь поиском по сайту: ©2015 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...
|