Условия реализации УЧЕБНОЙ дисциплины

Требования к минимальному материально-техническому обеспечению

Реализация учебной дисциплины требует наличия учебного кабинета математических дисциплин.

Оборудование учебного кабинета: печатные пособия (таблицы), раздаточный материал (карточки). Оборудование подразделяется на демонстративное (в основном для использования учителем) и раздаточным материал (для самостоятельной работы обучающихся). Одним из важных компонентом кабинета является методическая библиотека учителя, в которую включены учебные пособия, практические пособия (тесты, сборники упражнений) по предмету. В кабинете оформлены временные стенды, посвящены в основном текущим темам уроков. В кабинете имеются папки-накопители с богатой подборкой материала для использования на уроках.

Технические средства обучения: презентации по отдельным темам, учебные программы для ПК (итоговое тестирование по курсу).

Информационное обеспечение обучения

Перечень рекомендуемых учебных изданий, Интернет-ресурсов, дополнительной литературы.

Основные источники:

1. Игошин В.И. Элементы математической логики: Учебник для студентов учреждений СПО/В.И.Игошин. – Москва: издательский центр Академия, 2016.

2. Баврин, И. И. Дискретная математика. Учебник и задачник : для СПО / И. И. Баврин. — Москва : Издательство Юрайт, 2016

3. Зарипова Э.Р. Лекции по дискретной математике. Математическая логика [Электронный ресурс]: учебное пособие/ Зарипова Э.Р., Кокотчикова М.Г., Севастьянов Л.А.— Электрон. текстовые данные.— М.: Российский университет дружбы народов, 2014.— 120 c.— Режим доступа: http://www.iprbookshop.ru/22190.— ЭБС «IPRbooks», по паролю

4. Шевелев, Ю.П. Сборник задач по дискретной математике (для практических занятий в группах). [Электронный ресурс] : Учебные пособия / Ю.П. Шевелев, Л.А. Писаренко, М.Ю. Шевелев. — Электрон. дан. — СПб. : Лань, 2013. — 528 с. — Режим доступа: http://e.lanbook.com/book/5251 — Загл. с экрана.

5. Шевелев, Ю.П. Дискретная математика. [Электронный ресурс] : Учебные пособия — Электрон. дан. — СПб. : Лань, 2016. — 592 с. — Режим доступа: http://e.lanbook.com/book/71772 — Загл. с экрана

Дополнительные источники:

1. Судоплатов, С. В. Математическая логика и теория алгоритмов : учебник и практикум для академического бакалавриата / С. В. Судоплатов, Е. В. Овчинникова. — 5-е изд., стер. — Москва : Издательство Юрайт, 2016.

2. Игошин, Владимир Иванович. Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие для студ. вузов / В. И. Игошин .— 2-е изд., стер. — Москва : Издательский центр Академия, 2006 .

3. . Спирина, М. С. Дискретная математика: учебник / М. С. Спирина, П. А.

Спирин. - 7 изд., стер. - Москва: Издательский центр Академия, 2014.

4. Мощенский В.А. Лекции по математической логике / В.А.Мощенский – Москва: Наука, 2007.

5. http://eqworld.ipmnet.ru/library/mathematics/logic.htm

6. http://mathlog.h11.ru

Контроль и оценка результатов освоения УЧЕБНОЙ Дисциплины

Контроль и оценка результатов освоения учебной дисциплины осуществляется преподавателем в процессе проведения практических занятий и лабораторных работ, тестирования, а также выполнения обучающимися индивидуальных заданий, проектов, исследований.

Результаты обучения (освоенные умения, усвоенные знания)

Формы и методы контроля и оценки результатов обучения

Уметь: - формулировать задачи логического характера и применять средства математической логики для их решения; - выполнять операции над множествами; - составлять таблицы истинности для высказываний и функций; - упрощать формулы с помощью равносильных преобразований; - приводить формулы к дизъюнктивной нормальной форме и совершенной дизъюнктивной нормальной форме (к конъюнктивной нормальной форме и совершенной конъюнктивной нормальной форме); - решать булевы уравнения; - записывать высказывания на языке алгебры предикатов; - находить множество истинности предиката; - выполнять операции над предикатами. Знать: - основные принципы математической логики, теории множеств; - формулы алгебры высказываний; - методы минимизации алгебраических преобразований; - основы языка и алгебры предикатов

Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе. Дифференцированный зачёт Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе. Дифференцированный зачёт

Результаты обучения (освоенные умения)	Формы и методы контроля и оценки результатов обучения
ОК 1. Понимать сущность и социальную значимость своей будущей профессии, проявлять к ней устойчивый интерес.	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе
ОК 2. Организовывать собственную деятельность, выбирать типовые методы и способы выполнения профессиональных задач, оценивать их эффективность и качество.	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе.
ОК 3. Принимать решения в стандартных и нестандартных ситуациях и нести за них ответственность.	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе
ОК 4. Осуществлять поиск и использование информации, необходимой для эффективного выполнения профессиональных задач, профессионального и личностного развития.	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе.
ОК 5. Использовать информационно-коммуникационные технологии в профессиональной деятельности. ОК 6. Работать в коллективе и в команде, эффективно общаться с коллегами, руководством, потребителями.	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе.
ОК 6. Работать в коллективе и команде, эффективно общаться с коллегами, руководством, потребителями	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе
ОК 7. Брать на себя ответственность за работу членов команды (подчиненных), результат выполнения заданий.	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе
ОК 8. Самостоятельно определять задачи профессионального и личностного развития, заниматься самообразованием, осознанно планировать повышение квалификации.	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе
ОК 9. Ориентироваться в условиях частой смены технологий в профессиональной деятельности	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе
ПК 1.1. Выполнять разработку спецификаций отдельных компонент	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе.
ПК 1.2. Осуществлять разработку кода программного продукта на основе готовых спецификаций на уровне модуля	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе.
ПК 2.4. Реализовывать методы и технологии защиты информации в базах данных	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе.
ПК 3.4. Осуществлять разработку тестовых наборов и тестовых сценариев	Выполнение и защита практических работ по темам. Оценка знаний по пятибалльной системе.

Приложение 3А

Аннотация рабочей программы дисциплины

Дата добавления: 2018-04-04; просмотров: 244; Мы поможем в написании вашей работы!

Поделиться с друзьями:

⇐ Предыдущая 1 234 Следующая ⇒

Мы поможем в написании ваших работ!