- •Тема 1. Основы классической логики
- •Тема 2. Отношения между понятиями, суждениями. Умозаключение из суждений с отношениями
- •Тема 3. Классы и множества. Логические отношения между классами (множествами). Связь между бинарными отношениями и двуместными предикатами
- •Тема 4. Комбинаторные методы решения логических задач
- •Тема 5. Формализация бинарных отношений и двуместных предикатов в виде графов
- •X1 x2 x1 x1 x2 x1
- •Тема 6. Повторение и закрепление пройденного материала.
- •5.Оценочные средства для текущего контроля успеваемости, промежуточной и итоговой аттестации по дисциплине
- •Контрольное задание
- •6. Учебно-методическое и информационное обеспечение учебной дисциплины
6. Учебно-методическое и информационное обеспечение учебной дисциплины
6.1. Основная литература:
Учебник логики. Со сборником задач: учебник/ А. Д. Гетманова. М.: КНОРУС, 2011.
Логика: учебник/ С.С. Гусев, Э.Ф. Караваев, Г.В. Карпов [и др.]; под. ред. А. И. Мигунова, И.Б. Микиртумова, Б. И. Федорова. М.: Проспект, 2010.
6.2. Дополнительная литература:
Логика: учебно-методическое пособие/ В. Н. Ксенофонтов. М.: Изд-во РАГС, 2010.
Дискретная математика.Курс лекций / И.А. Палий. М.: Эксмо, 2008.
Дискретная математика. Курс лекций и практических занятий/ С.Д. Шапорев. СПб.:БХВ-Петербург, 2007.
7.Материально-техническое обеспечение УЧЕБНОЙ ДИСЦИПЛИНЫ
7.1. Наличие компьютера и проектора для использования лекций-презентаций обязательно на лекционных занятиях и желательно на групповых практических занятиях.
7.2. Требование к программному обеспечению: MS PowerPoint версии 2007 и
выше.
ПРИЛОЖЕНИЕ ОБРАЗЕЦ ОФОРМЛЕНИЯ ТИТУЛЬНОГО ЛИСТА КОНТРОЛЬНОГО ЗАДАНИЯ
Задание по логике
слушателя группы ОБ14-911
Иванова Петра Фомича
Вариант 15
|
N задачи |
1 |
2 |
3 |
5 |
6 |
6 |
|
N варианта задачи |
5 |
6 |
7 |
8 |
9 |
10 |
|
Отметка о решении |
|
|
|
|
|
|
Преподаватель: доц. Свертилова Н.В
2014 г.