- •Тема 1. Основы классической логики
- •Повторение определений основных понятий темы.
- •Тема 2. Отношения между понятиями, суждениями. Умозаключение из суждений с отношениями
- •1. Повторение определений основных понятий темы.
- •1. Повторение определений основных понятий темы.
- •Тема 3. Классы и множества. Логические отношения между классами (множествами). Связь между бинарными отношениями и двуместными предикатами
- •Повторение определений основных понятий темы.
- •Повторение определений основных понятий темы.
- •Повторение определений основных понятий темы.
- •Тема 4. Комбинаторные методы решения логических задач
- •1. Повторение определений основных понятий темы.
- •Тема 5. Формализация бинарных отношений и двуместных предикатов в виде графов
- •1. Повторение определений основных понятий темы.
- •1. Повторение определений основных понятий темы.
- •1. Повторение определений основных понятий темы.
- •Перечень рекомендуемой литературы по курсу «логика» («логика и дискретная математика»)
- •Контрольное задание
- •Контрольное задание
- •Вопросы к зачету по курсу «логика» («логика и дискретная математика»)
- •Задание по логике слушателя группы бо-312
- •Вариант 12
- •Преподаватель: доц. Свертилова н.В
Перечень рекомендуемой литературы по курсу «логика» («логика и дискретная математика»)
-
Учебник логики. Со сборником задач: учебник/ А. Д. Гетманова. М.: КНОРУС, 2011.
-
Логика: учебник/ С.С. Гусев, Э.Ф. Караваев, Г.В. Карпов [и др.]; под. ред. А. И. Мигунова, И.Б. Микиртумова, Б. И. Федорова. М.: Проспект, 2010.
-
Логика: учебно-методическое пособие/ В. Н. Ксенофонтов. М.: Изд-во РАГС, 2010.
-
Дискретная математика.Курс лекций / И.А. Палий. М.: Эксмо, 2008.
-
Дискретная математика. Курс лекций и практических занятий/ С.Д. Шапорев. СПб.:БХВ-Петербург, 2007.
-
Эдельман С.Л. Математическая логика. М.: Высшая школа, 1975.
Контрольное задание
Выполняется одно контрольное задание, в котором содержится 6 задач. По выданному преподавателем номеру варианта задания с помощью таблицы вариантов, приведенной на следующей странице, определяются номера варианты входящих в задание задач. Образец оформления титульного листа задания приведен в Приложении.
Срок сдачи задания: 16 неделя (до 20 декабря).
Сроки зачета задания (с учетом исправления ошибок): 17 неделя (до 27 декабря).
Таблица вариантов
|
Задача |
1 |
2 |
3 |
4 |
5 |
6 |
|
№ варианта задания |
Номера вариантов задач |
|||||
|
|
1 |
1 |
1 |
1 |
1 |
1 |
|
|
2 |
2 |
2 |
2 |
2 |
2 |
|
|
3 |
3 |
3 |
3 |
3 |
3 |
|
|
4 |
4 |
4 |
4 |
4 |
4 |
|
|
5 |
5 |
5 |
5 |
5 |
5 |
|
|
6 |
6 |
6 |
6 |
6 |
6 |
|
|
7 |
7 |
7 |
7 |
7 |
7 |
|
|
8 |
8 |
8 |
8 |
8 |
8 |
|
|
9 |
9 |
9 |
9 |
9 |
9 |
|
|
10 |
10 |
10 |
10 |
10 |
10 |
|
|
1 |
2 |
3 |
4 |
5 |
6 |
|
|
2 |
3 |
4 |
5 |
6 |
7 |
|
|
3 |
4 |
5 |
6 |
7 |
8 |
|
|
4 |
5 |
6 |
7 |
8 |
9 |
|
|
5 |
6 |
7 |
8 |
9 |
10 |
|
|
6 |
7 |
8 |
9 |
10 |
1 |
|
|
7 |
8 |
9 |
10 |
1 |
2 |
|
|
8 |
9 |
10 |
1 |
2 |
3 |
|
|
9 |
10 |
1 |
2 |
3 |
4 |
|
|
10 |
1 |
2 |
3 |
4 |
5 |
|
|
1 |
3 |
5 |
7 |
9 |
2 |
|
|
2 |
5 |
7 |
9 |
2 |
4 |
|
|
3 |
7 |
9 |
2 |
4 |
6 |
|
|
4 |
9 |
2 |
4 |
6 |
8 |
|
|
5 |
2 |
4 |
6 |
8 |
10 |
|
|
6 |
4 |
6 |
8 |
10 |
1 |
|
|
7 |
6 |
8 |
10 |
1 |
3 |
|
|
8 |
8 |
10 |
1 |
3 |
5 |
|
|
9 |
10 |
1 |
3 |
5 |
7 |
|
|
10 |
1 |
3 |
5 |
7 |
9 |
|
|
1 |
6 |
7 |
8 |
9 |
10 |
|
|
2 |
7 |
8 |
9 |
10 |
1 |