Чтобы посмотреть этот PDF файл с форматированием и разметкой, скачайте его и откройте на своем компьютере.
Министерство образования и науки Российской Федерации
ФИЛИАЛ ФЕДЕРАЛЬНОГО ГОСУДАРСТВЕННОГО БЮДЖЕТНОГО
ОБРАЗОВАТЕЛЬНОГО УЧРЕЖДЕНИЯ ВЫСШЕГО
ПРОФЕССИОНАЛЬНОГО ОБРАЗОВАНИЯ
«БАЙКАЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ
ЭКОНОМИКИ И ПРАВА» в г. УСТЬ
-
ИЛИМСКЕ
(Филиал
ФГБОУ ВПО «БГУЭП» в г. Усть
-
Илимске)
ПРОГРАММА УЧЕБНОЙ ДИ
СЦИПЛИНЫ
ЭЛЕМЕНТЫ МАТЕМАТИЧЕС
КОЙ ЛОГИКИ
230401 Информационные системы (по отраслям)
Техник по информационным системам
Усть
-
Илимск 201
3
2
Программа учебной дисциплины разработана на основе Федерального гос
у-
дарственного образовательного стандарта (далее
–
ФГОС) по специаль
ности
среднего профессионального образования (далее
–
СПО)
230401 Информацио
н-
ные системы (по отраслям) укрупненной группы 230000 Информатика и вычисл
и-
тельная техника
.
Организация разработчик: филиал ФГБОУ ВПО «Байкальский государстве
н
ный
университет эконо
мики и права»
Цикловая коми
с
сия Механизации, технологии и информатизации.
Разработчик:
Л.Н. Панковец, старший преподаватель математических и общих
естественнонаучных дисциплин
Рецензент:
Н.А.Студенникова
–
старший преподаватель математических и общих
естественнонаучных дисциплин
Программа учебной дисциплины рассмотрена на заседании цикловой коми
с
сии
Механизации, технологии и информатизации.
Протокол № ……… от «...» ……………………..201_____г.
Председатель цикловой коми
с
сии…………………………………….Н.Е.Мансурова
Прог
рамма учебной дисциплины рекомендована учебно
-
методическим советом
филиал ФГБОУ ВПО «Байкальский государственный университет эк
о
номики и
права».
Протокол № ……… от «...» ……………………..201_____г.
Председатель УМС……………………………………………………...Е.Е. С
а
вельева
3
СОДЕРЖАНИЕ
СОДЕРЖАНИЕ
................................
................................
................................
................................
......
3
1. ПАСПОРТ ПРОГРАММ
Ы УЧЕБНОЙ ДИСЦИПЛИНЫ
................................
.................
4
1.1.
Область
применения программы
................................
................................
................................
..
4
1.2. Место учебной дисциплины в структуре основной профессиональной образовательной
программы
................................
................................
................................
................................
.......
4
1.3. Цель
и задачи учебной дисциплины
–
требования к результатам освоения учебной
дисциплины
................................
................................
................................
................................
.....
4
1.4. Перечень формируемых компетенций
................................
................................
..........................
4
1.
5. Количество часов на освоение программы учебной дисциплины
................................
.............
5
2. СТРУКТУРА И СОДЕР
ЖАНИЕ УЧЕБНОЙ ДИСЦИ
ПЛИНЫ
................................
.....
6
2.1. Объем учебно
й дисциплины и виды учебной работы
................................
................................
.
6
2.2.
Тематический план и содержание учебной дисциплины Элементы математической
логики
................................
................................
................................
................................
..............
7
3.
УСЛОВИЯ РЕАЛИЗАЦИИ У
ЧЕБНОЙ ДИСЦИПЛИНЫ
................................
..............
11
3.1. Требования к минимальному материально
-
техническому обеспечению
................................
11
3.2. Информацион
ное обеспечение обучения
................................
................................
...................
11
4. КОНТРОЛЬ И ОЦЕНКА
РЕЗУЛЬТАТОВ ОСВОЕНИ
Я УЧЕБНОЙ
ДИСЦИПЛИНЫ
................................
................................
................................
................................
..
13
4
1.
ПАСПОРТ ПРОГРАММЫ У
ЧЕБНОЙ ДИСЦИПЛИНЫ
ЭЛЕМЕНТЫ МАТЕМАТИЧЕС
КОЙ Л
ОГИКИ
1.1.
Область применения программы
Программа учебной дисциплины является частью основной професси
о-
нальной образовательной программы в соответствии с ФГОС по специальн
о
сти
СПО
230401 Информационные системы (по отраслям) укрупненной группы
230000 Информат
ика и вычислительная техника
.
1.2. Место учебной дисциплины в структуре основной профессиональной образ
о-
вательной программы
Учебная дисциплина «Элементы математической логики» входит в баз
о-
вую (обязательную) часть математического и общего естественн
о
нау
чного цикла
ФГОС (ЕН.02).
1.3. Цель и задачи учебной дисциплины
–
требования к результатам освоения
учебной дисциплины
В результате освоения учебной дисциплины обучающийся должен уметь:
-
формулировать задачи логического характера и применять средства м
а-
тематической логики для их решения.
В результате освоения учебной дисциплины обучающийся должен знать:
-
основные принципы математической логики, теории множеств и те
о
рии
алгоритмов;
-
формулы алгебры выск
а
зываний;
-
методы минимизации алгебра
и
ческих преобра
зований;
-
основы языка и алгебры предик
а
тов.
1.4. Перечень формируемых компетенций
Изучение дисциплины направлено на формирование следующих о
б
щих и
профессиональных компетенций. Общекультурные компетенции (ОК) студента,
формируемые в результате освоения
дисципл
и
ны:
ОК
1. Понимать сущность и социальную значимость своей будущей пр
о-
фессии, проя
в
лять к ней устойчивый интерес.
ОК 2. Организовывать собственную деятельность, выбирать типовые м
е-
тоды и способы выполнения профессиональных задач, оценивать их эффек
ти
в-
ность и к
а
чество.
ОК 3. Принимать решения в стандартных и нестандартных ситуациях и
нести за них отве
т
ственность.
ОК 4. Осуществлять поиск и использование информации, необходимой
5
для эффективного выполнения профессиональных задач, профессионального и
ли
чнос
т
ного развития.
ОК 5. Использовать информационно
-
коммуникационные технологии в
профессиональной деятельности.
ОК 6. Работать в коллективе и команде, эффективно общаться с коллег
а-
ми, руководством, потребителями.
ОК 7. Брать на себя ответственность за ра
боту членов команды (подч
и-
ненных), результат выполнения заданий.
ОК 8. Самостоятельно определять задачи профессионального и личнос
т-
ного развития, заниматься самообразованием, осознанно планировать повышение
кв
а
лификации.
ОК 9. Ориентироваться в условиях ча
стой смены технологий в профе
с-
с
и
ональной деятел
ь
ности.
ОК 10. Исполнять воинскую обязанность, в том числе с применением п
о-
лученных профе
с
сиональных знаний (для юношей).
Профессиональные компетенции (ПК) студента, формируемые в р
е
зультате
освоения дисципл
и
н
ы:
ПК 1.1. Собирать данные для анализа использования и функционир
о
вания
информационной системы, участвовать в составлении отчетной док
у
ментации,
принимать участие в разработке проектной документации на модификацию и
н-
формационной системы.
ПК 1.2. Взаимодейс
твовать со специалистами смежного профиля при ра
з-
работке методов, средств и технологий применения объектов профессиональной
деятельности.
ПК 1.4. Принимать участие в приемо
-
сдаточных испытаниях.
ПК 2.3. Применять методики тестирования разрабатываемых прил
о
жений.
1.5. Количество часов на освоение программы учебной дисциплины
Максимальная учебная нагрузка обучающегося 128 часов, в том чи
с
ле:
-
обязательная аудиторная учебная нагрузка 80 часов,
-
самостоятельная работа обучающегося 48 часов.
6
2. СТРУКТУРА
И СОДЕРЖАНИЕ УЧЕБНОЙ
ДИСЦИПЛИНЫ
2.1. Объем учебной дисциплины и виды учебной работы
Вид учебной работы
Объем часов
Максимальная учебная нагрузка (всего)
128
Обязательная аудиторная учебная нагрузка (всего)
80
в том числе:
лекции
32
практ
ические занятия
48
Самостоятельная работа обучающегося (всего)
48
в том числе:
систематическая проработка конспектов занятий, учебной
литературы
12
решение задач
18
выполнение контрольных работ
10
подготовка к промежуточной аттестации
8
Итоговая аттестация в форме экзамена в 3 семестре
7
2.2.
Тематический план и содержание учебной дисциплины
Элементы математ
и
ческой логики
Наименование
разделов и тем
Содержание учебного материала, практические раб
о
ты,
самостоятельная р
а
бота обучающихся
Объем
часов
Уровень
о
с
воения
Раздел 1. Основы теории множеств
6
Содержание учебного материала
Лекции
Понятие множества. Операции надо множествами
2
1,2
Практические занятия
Операции надо множествами. Диаграммы
Эйлера
-
Вьена.
2
Тема 1.1.
Множества и операции над
ними.
Самостоятельная работа обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
2
Раздел 2.
Логика высказываний
26
Содержание учебного материала
Лекции
Операции над высказываниями. Алфавит логики высказываний. Формулы логики выск
а-
зываний. Интерпретации формул логики высказываний. Истинностные значения и исти
н-
ностные функции формул логики высказываний.
2
1,2
Практические занятия
Основные схемы логически правильных рассуждений. Таблицы истинн
о
сти.
4
Тема 2.1.
Высказывания
.
Интерпрет
а-
ции формул логики в
ысказ
ы-
ваний
Самостоятельная работа обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
2
Содержание учебного материала
Лекции
Тождественно истинные и тождественно ложные формулы логики высказываний. Выпо
л-
нимые множества формул. Логическое следование. Логическ
ие следствия из посылок.
Правильные и неправильные аргументы.
2
1,2
Практические занятия
Тождественно истинные и тождественно ло
ж
ные формулы логики высказываний
4
Тем
а 2.2.
Тождественно истинные и
тождественно ложные фо
р-
мулы логики высказыв
а
ний
Самостоятельная работа обучающихся
Самостоятельная работа обучающихся в форме выполнен
ия домашнего задания и подг
о-
товки к пра
к
тической работе.
4
Содержание учебного материала
2
8
Лекции
Эквивалентные формулы. Основные эквивалентности логики высказываний. Упр
о
щение
формул логики высказываний.
1,2
Пра
ктические занятия
У
п
рощение формул логики высказываний.
2
Самостоятельная работа обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
4
Раздел 3. Булева алгебра
60
Содержание учебного материала
Лекции
Аксиомы булевой алгебры. Элементарные булевы функции. Законы логики. Равн
о
сильные
преобразования. Дизъюнктивные и конъюктивные формы. Способы задания булевых
функций. Эквивалентные пр
е
образо
вания. Метод Блейка
-
Порецкого.
6
1,2
Практические занятия
Свойства дизъюнкции и конъюнкции. Теоремы одной переменной. Упражнения на прим
е-
нение теорем склеивания, поглощения, теоремы де Моргана. Инвертирование сложных
выражений.
6
Тема 3.1.
Функ
ции алгебра лог
и
ки
.
Самостоятельная раб
ота обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
6
Содержание учебного материала
Лекции
Минтермы. Совершенная дизъюнктивная нор
мальная форма. Теорема разложения для
ДНФ. Карта Вейча. Алгебраическое упрощение булевых функций. Понятие и
м
пликанты.
Метод Квайна. Метод Петрика.
4
1,2
Практические занятия
Нанесение функций на карту Вейча. Нахождение СДНФ при помощи карт Вейча. Нахо
ж-
д
ение пр
о
стых импликант по карте Вейча. Минимизация булевых функций при помощи
карт Вейча.
8
Тема 3.2.
Дизъюнктивные формы б
у-
левых функций.
Самостоятельная работа обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
6
Содержание учебного материала
2
9
Лекции
Макстермы. Совершенная конъюнктивная нормальная форма. Теорема разложения для
КНФ. Пер
е
вод функций из КНФ в ДНФ.
1,2
Практические занятия
Нахождение сокращенных КНФ. Нахожд
ение тупиковых и минимальных КНФ.
4
Самостоятельная работа обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
2
Содержание учебного материала
Л
екции
Понятие порядка булевой функции. Граф
-
схема булевой функции. Абсолютно минимал
ь-
ные формы. Повышение порядка булевых функций. Классификация форм высших поря
д-
ков.
2
1,2
Практические занятия
Построение граф
-
схема булевой функции
4
Тема 3.4.
Формы высших порядков
Самостоятельная р
абота обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
2
Содержание учебного материала
Лекции
Операция двоичного слож
ения. Многочлен Жегалкина. Основные классы функций. Полн
о-
та множества функций. Важнейшие замкн
у
тые классы. Теорема Поста.
2
1,2
Практические занятия
Алгебра Жегалкина, линейные функции. Двойственность, самодвойственные фун
к-
ции.
2
Тема 3.5.
Операция двоичного слож
е-
ния. Полнота множес
т
ва.
Самостоятельная раб
ота обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
4
Раздел 4. Логика предикатов.
18
Содержание учебного материала
Тема 4.1.
Понятие предиката
Лекции
Понятие предиката, опе
рации, константы. Логические операции над предикатами и их те
о-
ретико
-
множественный смысл. Сигнатура. Кванторы общности и существ
о
вания.
2
1,2
10
Практические занятия
Предикаты и операции над ними.
4
Самостоятельная работа обучающихся
Самостоятельная раб
ота обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
4
Содержание учебного материала
Лекции
Выполнимость и истинность. Истинностное значение формул логики п
редикатов. Тожд
е-
ственно истинные и тождественно ложные формулы логики предикатов. Выполнимые
множества формул. Логическое следование. Эквивалентные соотношения. Префиксная
нормальная форма.
2
1,2
Практические занятия
Тожд
е
ственно истинные и тождественно
ложные формулы логики предикатов
2
Тема 4.2.
Истинностное значение фо
р-
мул логики предикатов
Самостоятельная работа обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
4
Раздел 5. Элементы теории алгоритмов
18
Содержание учебного материала
Лекции
Вычислимые функции и алг
о
ритмы. Основы теории вычислимых функций
2
1,2
Практические занятия
Основы теории вычислимых функций
4
Тема 5.1.
Вычислимые функции
и а
л-
горитмы
Самостоятельная работа обучающихся
Самостоятельная работа обучающих
ся в форме выполнения домашнего задания и подг
о-
товки к пра
к
тической работе.
4
Содержание учебного материала
Лекции
Основные требования к алгоритмам. Машина Тьюринга: основные понятия, спос
о-
бы
зад
а
ния. Операции над машинами Тьюринга.
2
1,2
Практические занятия
Построение машины Тьюринга числовой функции, фун
к
ции разветвления.
2
Тема 5.2.
Нормальный алгоритм Ма
р-
кова. Машина Ть
ю
ринга.
Самостоятельная работа обучающихся
Самостоятельная работа обучающихся в форме выполнения домашнего задания и подг
о-
т
овки к пра
к
тической работе.
4
Всего:
128
11
3. УСЛОВИЯ РЕАЛИЗАЦИ
И УЧЕБНОЙ ДИСЦИПЛИНЫ
3.1. Требования к минимальному материально
-
техническому обеспечению
Реализация учебной дисциплины требует наличия учебного кабинета. Об
о-
рудование учебного кабинета вкл
ючает:
-
посадочные места (по количеству обучающихся);
-
рабочее место преподавателя;
-
раздаточный материал по изучаемым темам.
Технические средства обучения:
-
мультимедиапроектор,
-
ноутбук.
3.2. Информационное обеспечение обучения
Перечень
рекомендуемых учебных изданий, Интернет
-
ресурсов, дополн
и-
тельной литературы
Основные источники:
3.
Успенский, В. А., Верещагин, Н. К. и др.
Вводный курс математической л
о-
гики : учеб. пособие для вузов / В. А. Успенский, Н. К. Верещагин, В. Е.
Плиско .
-
2
-
е
изд.
-
М. : ФИ
З
МАТЛИТ , 2002 .
-
125 с.
4.
Ершов, Ю. Л., Палютин, Е. А.
Математическая логика : учеб. пособие / Ю. Л.
Ершов, Е. А. Палютин.
-
4
-
е изд., стер.
-
СПб. : Лань, 2005 .
-
336 с.
5.
Игошин В. И. Математическая логика: учебное пособие
–
М.: ИНФРА
-
М,
2012
Дополнительные источники:
1. Анапольский Л.Ю., Никулина С.И. Сборник задач по математике в эк
о-
номике. Ч.2: Линейная алгебра. Функции нескольких переменных.
–
И
р
кутск: Изд
-
во ИГЭА, 2001.
2. Колесников А.Н. Краткий курс математики для экономистов: Учебное
по
собие.
–
М.: ИНФРА
-
М, 2001.
2.
Шипачев В.С. Задачи по высшей математике: Учебное пособие для вузов.
–
М.: Высшая школа, 2011.
3.
Игошин В. И.
Математическая логика и теория алгоритмов : учебное пос
о
бие
/ В. И. Игошин .
-
М. : Ак
а
демия , 2004 .
-
447 с.
1.
Атрос, С.
М.
Элементы теории множеств и математической логики :
метод. рекомендации / С. М. Атрос .
-
Кемерово : КРИПКиПРО , 2004
.
-
38 с. : рис. .
-
Педагогические таланты Ку
з
басса.
2.
Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Мат
е-
12
матическая логика : учеб. пос
о
бие / Ю. Л. Ершов, Е. А. Палютин .
-
3
-
е
изд. .
-
СПб. : Лань , 2004 .
-
336 с.
3.
Романович, Владимир Александрович
Лекции по математической
логике . Ч. 1 : учеб. пособие для студентов математических специал
ь-
ностей / В. А. Романович ; Томский гос. ун
-
т .
-
Томс
к : Изд
-
во ТГУ ,
2005
4.
Игошин, Владимир Иванович
Задачи и упражнения по математич
е-
ской логике и теории алгоритмов : учеб. пособие для вузов / В. И.
Игошин .
-
2
-
е изд., стер. .
-
М. : Academia , 2006 .
-
303 с.
5.
Клини, Стивен Коул
Математическая логика : пер. с
англ. / С. К.
Клини .
-
3
-
е изд., стер. .
-
М. : URSS , 2007 .
-
480 с.
6.
Игошин, Владимир Иванович
Математическая логика и теория а
л-
горитмов : учеб. пособие / В. И. Игошин .
-
3
-
е изд., стер. .
-
М. : Ак
а-
демия , 2008 .
-
447 с.
7.
Лихтарников, Леонид Моисеевич, Сук
ачева, Тамара Геннадьевна
Математическая логика : курс лекций, задачник
-
практикум и реш
е-
ния, учеб. пособие / Л. М. Лихтарников, Т. Г. Сукачева .
-
3
-
е изд.,
испр. .
-
СПб. : Лань , 2008 .
-
276 с.
8.
Набебин, Алексей Александрович, Кораблин, Юрий Прокофьевич
Мат
ематическая лог
и
ка и теория алгоритмов : учебное пособие / А. А.
Набебин, Ю. П. К
о
раблин .
-
М. : Научный мир , 2008 .
-
343 с.
9.
Гончаров, Сергей Савостьянович
Математическая логика . Ч. 1 :
учеб. пособие / С. С. Гончаров ; Федеральное агентство по образов
а-
ни
ю .
-
Новосибирск : Изд
-
во Новосибирского гос. ун
-
та , 2007 .
-
165 с
10.
Задачи и упражнения по математической логике, дискретным
функциям и теории алгоритмов :
учеб. пособие / М. М. Глухов [и
др.] .
-
СПб. : Лань , 2008 .
-
111 с.
11.
Гринченков, Дмитрий Валерьевич,
Потоцкий, Сергей Иванович
Математическая логика и теория алгоритмов для программистов :
учеб. пособие / Д. В. Гринченков, С. И. Потоцкий .
-
М. : Кн
о
Рус , 2010
.
-
206 с.
12.
Математическая логика и теория алгоритмов:
РАН, СО, Ин
-
т м
а-
тематики; ред.: А. А. Боров
ков, С. С. Гончаров, Ю. Л. Ершов.
-
Нов
о-
сибирск : Ин
-
т математики СО РАН , 1993.
-
204 c. Би
б
лиогр.: с. 198
-
199.
13.
Попов, Александр Иванович.
Введение в математическую логику /
А. И. Попов; Ленингра
д
ский гос. ун
-
т им. А.А. Жданова.
-
Л.: Изд
-
во
ЛГУ, 1959.
-
108 с. Библиогр.: с. 106
-
107.
14.
Математическая логика в программировании:
Сб.ст.: Пер. с англ.
-
М.: Мир, 1991.
-
408 c.
-
Математическое обеспечение ЭВМ.
-
ISBN 5
-
03
-
001635
-
Х: 105 р.
15.
Лавров, Игорь Андреевич, Максимова, Лариса Львовна.
Задачи
по теории множест
в, мат
е
матической логике и теории алгоритмов / И.
А. Лавров, Л. Л. Максимова.
-
3
-
е изд.
-
М.: Наука. Физ.
-
мат.лит.,
13
1995.
-
256 c. Библиогр.: с. 248
-
249.
16.
Мендельсон, Эллиот.
Введение в математическую логику: моногр
а-
фия / Э. Мендельсон; Пер. Ф. А. Кабаков.
-
М.: Наука. Физ.
-
мат.лит.,
1971.
-
320 c.
-
11000 р.
17.
Александрова, Регина Александровна, Потапова, Алефтина М
и-
хайлов
. Элементы теории множеств и математической логики: Пра
к-
тикум / Р.А. Алекса
н
дрова, А.М. Потапова; Калининградский гос. ун
-
т.
-
Калининград
: Изд
-
во Кал
и
нинградского ун
-
та, 1997.
-
66 c ил.
Основная литература:
1.
Кузнецов О.П., Адельсон
-
Бельский Г.М. Дискретная математика для инжен
е-
ра.
–
М.: Наука 1988.
2.
Ерусалимский, Яков Михайлович
. Дискретная математика: теория, задачи,
приложения/Я. М. Ерус
алимский.
—
3
-
е изд.
—
М.: Вузовская книга, 2000.
3.
Зыков А.А. Основы теории графов.
–
М.: Наука 1987.
4.
Мендельсон Э. Введение в математическую логику
–
М.: Наука 1974.
5.
Гаврилов Гарий Петрович
. Задачи и упражнения по курсу дискретной матем
а-
тики: учебное пос
обие для вузов / Г. П. Гаврилов, А. А. Сапоженко.
—
2
-
е изд.,
перераб. и доп.
—
М. : Наука, 1992.
6.
Лавров Игорь Андреевич
. Задачи по теории множеств, математической логике
и теории алгоритмов / И. А. Лавров, Л. Л. Максимова.
—
5
-
е изд.
—
М.: Фи
з-
матлит, 2006
.
7.
Лихтарников, Л. М.
Математическая логика: Курс лекций. Задачник
-
практикум
и решения / Л. М. Лихтарников, Т. Г. Сукачева.
—
СПб.: Лань, 1999.
Дополнительная литерат
у
ра:
8.
Свами М., Тхуласираман К. Графы, сети и алгоритмы
–
М., Мир, 1984.
9.
Яблонский С.В. Вве
дение в дискретную математику
–
М.: Наука 1979.
10.
Харари Ф. Теория графов. М.: Мир, 1973.
11.
Уилсон Р. Введение в теорию графов. М.: Мир, 1977
-
207с.
12.
Корниенко А.В. Дискретная математика: Учебное пособие.
–
2
-
е изд.
–
Томск:
Изд. ТПУ, 2000.
Интернет
-
ресурсы:
1.
www
.
biblioclub
.
ru
4. КОНТРОЛЬ И ОЦЕНКА
РЕЗУЛЬТАТОВ ОСВОЕНИ
Я
УЧЕБНОЙ ДИСЦИ
П
ЛИНЫ
Контроль и оценка результатов освоения учебной дисциплины осуществл
я-
ется преподавателем в процессе проведения практических занятий,
тестирования,
устных опросов, а также выполнения обучающимися индивидуальных заданий и
расчетно
-
практических работ.
Оценка качества освоения учебной программы включает текущий контроль
успеваемости, промежуточную аттестацию по итогам освоения дисциплины
.
Текущий контроль проводится в форме устного опроса и выполнения тест
о-
14
вых заданий. Промежуточная аттестация по дисциплине проводится в форме э
к-
зам
е
на.
Результаты обучения
(освоенные умения, усвоенные знания)
Формы и методы контроля и
оценки р
е
зультатов о
бучения
Уметь:
-
формулировать задачи логического
характера и применять средства мат
е-
матической логики для их решения.
Анализ решения и оценка резул
ь-
татов выполнения практических
самосто
я
тельных работ.
Анализ выполнения тестовых з
а-
даний.
Анализ и оценк
а результатов ус
т-
ного о
п
роса.
Анализ и оценка индивидуальных
зад
а
ний.
Знать:
-
основные принципы матем
а
тической
логики, теории множеств и теории а
л-
гори
т
мов;
-
формулы алгебры высказ
ы
ваний;
методы минимизации алгебра
и
ческих
преобразований;
-
основы языка и ал
гебры предик
а
тов.
Текущий контроль:
Анализ и оценка результатов ус
т-
ного о
п
роса.
Анализ решения и оценка резул
ь-
татов выполнения практических
заданий и решения задач по видам
професси
о
нальной деятельности.
Промежуточный контроль:
тестовый контроль.
Итоговый
контроль:
экзамен.
ДОПОЛНЕНИЯ И ИЗМЕНЕН
ИЯ В РАБОЧЕЙ ПРОГРАМ
МЕ
НА 20__/20__ УЧЕ
Б
НЫЙ ГОД
В программу вносятся следующие изменения:
___________________________________________________________________
_______________________________________________
_______________________
______________________________________________________________________
______________________________________________________________________
__________________________________________________________________
15
Разработал преподаватель
_______________________
«_____»___________20__ г.
Программа рассмотрена и одобрена на заседании кафедры (цикловой
комиссии)
________________________________
_______________________________
(наименование кафедры (цикловой комиссии)
Протокол №____ от «____»________ 20__ г.
Заведующий кафедрой (ПЦК)_______________
___
«______»_______________20_ г.
Согласовано
Заместитель директора по учебно
-
методической и воспитательной работе
____________________________
«______»______________ 20__ г.
«Утверждаю»
Директор __________________________
«_____»________________ 20__
г.