- •Тема 1. Основы классической логики
- •Повторение определений основных понятий темы.
- •Тема 2. Отношения между понятиями, суждениями. Умозаключение из суждений с отношениями
- •1. Повторение определений основных понятий темы.
- •1. Повторение определений основных понятий темы.
- •Тема 3. Классы и множества. Логические отношения между классами (множествами). Связь между бинарными отношениями и двуместными предикатами
- •Повторение определений основных понятий темы.
- •Повторение определений основных понятий темы.
- •Повторение определений основных понятий темы.
- •Тема 4. Комбинаторные методы решения логических задач
- •1. Повторение определений основных понятий темы.
- •Тема 5. Формализация бинарных отношений и двуместных предикатов в виде графов
- •1. Повторение определений основных понятий темы.
- •1. Повторение определений основных понятий темы.
- •1. Повторение определений основных понятий темы.
- •Перечень рекомендуемой литературы по курсу «логика» («логика и дискретная математика»)
- •Контрольное задание
- •Контрольное задание
- •Вопросы к зачету по курсу «логика» («логика и дискретная математика»)
- •Задание по логике слушателя группы бо-312
- •Вариант 12
- •Преподаватель: доц. Свертилова н.В
Вопросы к зачету по курсу «логика» («логика и дискретная математика»)
-
Логика как наука, ее предмет, структура, значение.
-
Виды логик.
-
Понятие как форма мышления.
-
Понятие и представление. Понятие и термин. Определение и структура понятия.
-
Содержание и объем понятия.
-
Виды понятий.
-
Классификация понятий.
-
Суждение. Виды суждений.
-
Объединенная классификация суждений по качеству и количеству.
-
Виды суждений, не рассматриваемых в классической логике.
-
Комплексный анализ простого категорического суждения.
-
Умозаключения.
-
Дедуктивные умозаключения.
-
Силлогистика. Основные понятия.
-
Индуктивные умозаключения и их виды.
-
Логические основы теории аргументации.
-
Виды и правила доказательства и опровержения.
-
Основные законы логики (тождества, противоречия, исключенного третьего, достаточного основания).
-
Суждения и высказывания как формы мышления.
-
Основные операции над высказываниями. Таблицы истинности.
-
Эквивалентные высказывания и логические законы.
-
Одноместные предикаты: основные понятия.
-
Одноместные предикаты: использование кванторов общности и существования.
-
Двухместные предикаты: основные понятия.
-
Двухместные предикаты: использование кванторов общности и существования.
-
Логические законы, формулирующиеся с использованием кванторов.
-
Множества и классы понятий, основные операции над ними. Круги Эйлера.
-
Прямое (декартово) произведение множеств. Комбинаторные структуры.
-
Понятие отношения. Обратное отношение. Графическое представление бинарных отношений.
-
Отношения эквивалентности. Свойства отношений. Разбиения множеств на классы.
-
Отношения порядка. Свойства отношений.
-
Отображения и их основные свойства. Виды отображений.
-
Комбинаторные структуры (размещения, перестановки, сочетания).
-
Перестановки с учетом повторений.
-
Сочетания с учетом повторений.
-
Бином Ньютона.
-
Биномиальные коэффициенты. Свойства биномиальных коэффициентов.
-
Треугольник Паскаля.
-
Ориентированные графы. Диаграмма графа. Матрицы смежности, инциденций и достижимости.
-
Изоморфизм графов.
-
Маршруты, цепи, циклы.
-
Операции над графами.
-
Деревья (ориентированные, сбалансированные, бинарные, остовные).
-
Разрезы.
-
Потоковые модели.
-
Социометрические модели.
Задание по логике слушателя группы бо-312
Портновой Ксении Михайловны
Вариант 12
N задачи |
1 |
2 |
3 |
5 |
6 |
6 |
N варианта задачи |
2 |
3 |
4 |
5 |
6 |
17 |
Отметка о решении |
|
|
|
|
|
|
Преподаватель: доц. Свертилова н.В
2011 г.