г. Хасавюрт, 2018 г
таб. № 2
Форма и порядок итоговой аттестации обучающихся по дисциплине в соответствии с рабочим учебным планом _______________
Протокол №____ от «__»___________20___г.
2015 ‒ 2016__ уч. год _2_курса
№ занятия | Наименование разделов, тем по программе, тем отдельных занятий, видов практических работ | Кол-во ча сов | Вид заня тия | Индекс осваиваемой компетен ции | Межпредмет ные связи | Материальное и информационное обеспечение занятий | Внеаудиторная самостоятельная работа обучаемых | Формы и методы контроля | Задание на дом (параграф, стр, ссылки) |
ОК | ПК | Вид задания и информа-ционное обеспечение | Кол-во ча сов |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 |
| Раздел 1. Числовые множества | 10 | | | | | | | 3 | | |
1 | Множество натуральных чисел. | 2 | Комб | ОК 1. ОК 5. ОК 6. ОК 7. | ПК 1.1. ПК 1.2. | Элементар. матем. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, Задачи и упражнения по математической логике и теории алгоритмов. Игошин В.И. 2-е изд. 2013Стр 14-28 ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://StudFiles.net 3.http://mirknig.su | 1 | Фронт, Индив. Текущ уч | Множество целых чисел. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://StudFiles.net 3.http://mirknig.su |
2 | Множество целых чисел. | 2 | Комб | ОК 1. ОК 5. ОК 6. ОК 7. | ПК 1.1. ПК 1.2. | Элементарная математика | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, Стр 14-28 ТСО: ноутбук, проектор, экран Стр 14-28 ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Фронт, Индив. Текущ Уч | Множество рациональных чисел. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://StudFiles.net 3.http://mirknig.su |
3 | Множество рациональных чисел. | 2 | Ком бинир | ОК 1. ОК 5. ОК 6. ОК 7. | ПК 1.1. ПК 1.2. | Элементарная математика | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | | | Фронт, Индив. Текущ Уч | Иррациональные числа. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://StudFiles.net 3.http://mirknig.su |
4 | Иррациональные числа. | 2 | Практ | ОК 1. ОК 5. ОК 6. ОК 7. | ПК 1.1. ПК 1.2. | Элементарная математика | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, Стр 35 ТСО: ноутбук, проектор, экран Стр 56 ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru | 1 | Фронт, Индив. Текущ Уч | Множество действительных чисел. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://StudFiles.net 3.http://mirknig.su |
5 | Множество действительных чисел. | 1 | Практ | ОК 1. ОК 5. ОК 6. ОК 7. | ПК 1.1. ПК 1.2. | Элементарная математика | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, Стр 39 ТСО: ноутбук, проектор, экран Стр 60 ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | | Фронт, Индив. Текущ Уч | Общие понятия теории множеств. Подмножества. Способы задания. Отношения между множествами. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://StudFiles.net 3.http://mirknig.su |
5 | Контрольная работа | 1 | | | | | | | | | |
| Раздел 2. Основы теории множеств | 6 | | | | | | | 3 | | |
6 | Общие понятия теории множеств. Подмножества. Способы задания. Отношения между множествами. | 2 | Изу-чение ново- го мате- риала | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. матем. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран , | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Основные операции над множествами. Основные источники: Канцедал С.А. Дискретная математика Стр 14-20 Спирина С.М. Дискретная математика Стр 17-28 Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru |
7 | Основные операции над множествами. Пересечение множеств. Объединение множеств. | 2 | Ком бинир | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Вычитание множеств. Дополнение множеств. Основные источники: Спирина С.М. Дискретная математика Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 3.http://cleverstudents.ru |
8 | Вычитание множеств. Дополнение множеств. | 2 | Прак тич | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Подготовка к контрольной работе. Основные источники: Спирина С.М. Дискретная математика Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 3.http://cleverstudents.ru |
9 | Контрольные работы | 2 | | | | | | | | | Понятие высказывания. Основные логические операции. |
| Раздел 3. Алгебра высказываний. | 4 | | | | | | | 2 | | |
10 | Понятие о высказываниях и высказывательных формах | 2 | Комбинир | ОК 1. ОК 2. ОК 4 | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Формулы алгебры высказываний. Таблицы истинности формул. Основные источники: Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru |
11 | Формулы алгебры высказываний. Таблицы истинности формул. | 2 | Ком бинир | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы: 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Коньюнкция и дизъюнкция высказываний. Основные источники: Канцедал С.А. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi. |
12 | Коньюнкция и дизъюнкция высказываний. | 2 | Ком бинир | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы: 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Использование таблиц истинности. Основные источники: Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru |
13 | Высказывания с кванторами. Использование таблиц истинности. | 2 | Практич | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы: 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Отрицание высказываний и высказывательных форм. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru |
14 | Отрицание высказываний и высказывательных форм. | 2 | практ | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы: 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Понятия. Аксиома и теорема. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://StudFiles.net 3.http://mirknig.su |
15 | Контрольная работа . | 2 | Прак тич | | | | | | | Контроль и учет знаний | Понятия. Аксиома и теорема. |
| Раздел 4. Математическое доказательство | | | | | | | | | | |
16 | Понятия. Аксиома и теорема. | 2 | комбин | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы: 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Рассуждения, софизмы. Основные источники: Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru |
17 | Рассуждения, софизмы. | 2 | комбин | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы: 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Метод математической индукции Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru |
18 | Схемы дедуктивных умозаключений. | 2 | Практич | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Математическая логика и теория алгоритмов. В.И. Игошин ИНФРА-М, 2018, ТСО: ноутбук, проектор, экран ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Понятие предиката. Операции над предикатами. Множество истинности предиката Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru |
19 | Метод математической индукции Контрольная работа | 2 | Практич | | | | | | | | |
| Раздел 5. Алгебра предикатов. | | | | | | | | | | |
20 | Метод доказательства по аналогии | | | | | | | | | | |
20 | Понятие предиката. Операции над предикатами. Множество истинности предиката | 2 | Ком бинир | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Канцедал С.А. Дискретная математика: учебное пособие – ИД «ФОРУМ», 2007 Стр 75-88 Спирина С.М. Дискретная математика: учебник – ИЦ «Академия», 2007 Стр 219-224 ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Формулы алгебры предикатов. Равносильные преобразования формул Основные источники: Канцедал С.А. Дискретная математика Стр 81-88 Спирина С.М. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru |
21 | Формулы алгебры предикатов. Равносильные преобразования формул | 2 | Практич | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Канцедал С.А. Дискретная математика: учебное пособие – ИД «ФОРУМ», 2007 Стр 81-88 Спирина С.М. Дискретная математика: учебник – ИЦ «Академия», 2007 Стр 219-224 ТСО: ноутбук, проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Формализованное исчисление предикатов. Основные источники: Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru |
22-23 | Формализованное исчисление предикатов. | 4 | Ком бинир | ОК 1. ОК 5. ОК 6. ОК 7. | ПК 1.1. ПК 1.2. | Алгебра Элементар. мат. | Основные источники: Канцедал С.А. Дискретная математика: учебное пособие – ИД «ФОРУМ», 2007 Спирина С.М. Дискретная математика: учебник – ИЦ «Академия», 2007 Стр 133-140 ТСО: ноутбук, проектор, экран проектор, экран | Доклад, сообщение, реферат, презентация по теме. Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru | 1 | Теку щий учёт | Подготовка к контрольной работе. Основные источники: Канцедал С.А. Дискретная математика Спирина С.М. Дискретная математика Стр 131-170 Интернет ресурсы 1.http://ru.wikipedia.org/ - Свободная энциклопедия 2.http://mathprofi.ru 3.http://cleverstudents.ru |
24 | Контрольная работа | 2 | Практич | ОК 1. ОК 2. ОК 4. | ПК 1.1. ПК 1.2. | | | | | | |