Методическое обеспечение системы текущего и итогового контроля

Методическое обеспечение системы текущего и
итогового контроля
Правила аттестации
В процессе обучения студенты выполняют контрольную работу.
По результатам сдачи контрольной и итоговой работ студент набирает
определенную сумму баллов, которая складывается из оценок контрольной работы
от 0 до 45 баллов, оценки за семинарские занятия от 0 до 10 баллов и итоговой
работы, результаты которой оцениваются от 0 до 45 баллов. Максимальная сумма
баллов — 100. Для студентов заочной формы обучения сумма баллов складывается
из контрольной работы- от 0 до 55 баллов и итоговой письменной работы,
результаты которой оцениваются от 0 до 45 баллов.
Зачет выставляется при получении не менее 60 баллов.
ВАРИАНТЫ КОНТРОЛЬНЫХ РАБОТ ДЛЯ ОРГАНИЗАЦИИ
САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ
Контрольная работа
1. Перечислить элементы множества
1) D = (A B)\C, 2) E = (A\C) B,
если A = {1, 2, 3, 4}, B = {2, 4, 5}, C = {3, 4, 5, 6}.
2. При помощи диаграмм Эйлера - Венна проверить, верны ли равенства
1) (A C)\B = (A\B) C, 2) (A B) C = (A C) (B C).
Получится ли верная формула, если заменить знак = знаком (или )?
3. Используя операции , , \ выразить заштрихованное множество через множества
А, В, С
1) 2)
4. Доказать, что
1) (x1x2) x1 x1, 2) x1 x2 (x1x2) (x1x2).
5. Доказать тождественную истинность формул
1) (x1(x2 x3))(x1x2 x3), 2) (x1x2)(x1 x2).
6. Рассмотрим предикаты, заданные на множестве людей: Р(x, y) - “x - ребенок yа”, М(x) - “x - лицо мужского пола”, x = y - “x и y - один и тот же человек”.
Записать с помощью этих предикатов
1) x - бабушка y-а, 2) x - племянница y-а .
7. Используя предикаты Л(x, y) (x - фамилия лектора, y - предмет), С(x, y) (x фамилия студента, y - предмет), А(x, y) (x - номер аудитории, y - предмет),
1) получить список студентов лектора Иванова (т.е. записать предикат,
принимающий значение "истина" на указанном множестве и только на нем),
2) получить список лекторов, ведущих занятия в аудитории N1.
ОЦЕНОЧНЫЕ СРЕДСТВА ДЛЯ ТЕКУЩЕГО КОНТРОЛЯ
УСПЕВАЕМОСТИ, ПРОМЕЖУТОЧНОЙ АТТЕСТАЦИИ ПО ИТОГАМ
ОСВОЕНИЯ ДИСЦИПЛИНЫ
ТЕМАТИКА КОНТРОЛЬНЫХ РАБОТ
1. Операции над множествами. Свойства операций.
2. Объем и содержание понятия.
3. Отношения между понятиями. Обобщение и ограничение понятия.
4. Произведение множеств. Отношения. Функции.
5. Элементарные логические операции "и", "или", "не", "следовательно".
6. Равносильные формулы, доказательство равносильности.
7. Семантическое следование.
8. Основные законы логики.
9. Предикатные функции. Кванторы существования и всеобщности.
10. Интерпретация формул. Выполнимые, общезначимые формулы.
11. Дедукция и индукция.
12. Методы установления причинных связей.
13. Гипотетико-дедуктивный метод.
14. Аналогия.
СПИСОК ИСТОЧНИКОВ И ЛИТЕРАТУРЫ
Обязательная
1. Вайнтроб А.Ю., Ганнушкина С.А. Элементы теории множеств. М,: РГГУ, 1992.
2. Гладкий А.В. Введение в современную логику. М.: МЦНМО, 2001.
3. Кук Д., Бейз Г. Компьютерная математика. М.: Наука, 1990.
Дополнительная
1. Бочаров В.А., Маркин В.И. Основы логики. М.: ИНФРА-М, 2000.
2. Гетманова А.Д. Логика. М.: Добросвет, 2000.
3. Кун Г. Структура научных революций. М.: Прогресс, 1977.
4. Поппер К. Логика и рост научного знания. М.: ИЛ, 1983.
5. Рузавин Г.И. Логика и аргументация. М., 1997.
6. Уемов А.И. Логические основы метода моделирования. М.: Мысль, 1971.
КОНТРОЛЬНЫЕ ВОПРОСЫ К ЗАЧЕТУ (для студентов, не набравших 60 баллов в
семестре)
1.
2.
3.
Операции над множествами. Свойства операций.
Объем и содержание понятия.
Отношения между понятиями. Обобщение и ограничение понятия.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
Произведение множеств. Отношения. Функции.
Элементарные логические операции "и", "или", "не", "следовательно".
Равносильные формулы, доказательство равносильности.
Семантическое следование.
Основные законы логики.
Предикатные функции. Кванторы существования и всеобщности.
Интерпретация формул. Выполнимые, общезначимые формулы.
Дедукция и индукция.
Методы установления причинных связей.
Гипотетико-дедуктивный метод.
Аналогия.
Объем и содержание понятия.
Отношения между понятиями. Обобщение и ограничение понятия.
Произведение множеств. Отношения. Функции.
Предикатная функция, квантор.
Свободные и связанные переменные.
Логическая формула.