Рекомендуемое количество часов на освоение программы учебной дисциплины для очной формы обучения:
Министерство образования и науки РФ
ФГБОУ ВО «Псковский государственный университет»
Колледж ПсковГУ
УТВЕРЖДАЮ
Проректор по учебной работе
и международной деятельности
____________М.Ю. Махотаева
«___» ______________ 2016г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
ЕН. 02
Элементы математической логики
для специальности
Программирование в компьютерных системах
Форма обучения
Очная, заочная_
Квалификация выпускника - техник-программист
Псков
2016
Разработчики:
Андриенко Т.А. _________________ преподаватель
(Инициалы, фамилия, место работы) (занимаемая должность)
Колледж ПсковГУ
Эксперты:
__________________ _________ _________________
(Инициалы, фамилия, место работы) (занимаемая должность)
__________________ _________ _________________
(Инициалы, фамилия, место работы) (занимаемая должность)
Заместитель директора
по учебной работе
Колледжа ПсковГУ _________ О.В.Ефимова
|
|
|
Программа рассмотрена и рекомендована к утверждению на заседании цикловой комиссии гуманитарных и естественно-научных дисциплин
протокол № от 20.09.2016 г.
Председатель цикловой комиссии _____________ (Л.А. Карасева)
подпись ФИО
«___» 2016 г.
ПАСПОРТ ПРОГРАММЫ УЧЕБНОЙ ДИСЦИПЛИНЫ
1.1.Цели и задачи дисциплины:
- ознакомление обучающихся с важнейшими разделами математической логики для применения полученных знаний в решении практических задач; - повышение уровня математической культуры;
- развитие логичности и конструктивности мышления;
- формирование систематизированных знаний в области математической логики, представлений о проблемах оснований математики и роли математической логики в их решении;
- развитие логического мышления, логической культуры, логической интуиции.
Место дисциплины в структуре ППССЗ:
Математический и общий естественнонаучный учебный цикл
1.3. Требования к результатам освоения учебной дисциплины:
В результате изучения дисциплины обучающийся должен:
|
|
|
Знать:
- основные принципы математической логики, теории множеств;
- формулы алгебры высказываний;
- методы минимизации алгебраических преобразований;
- основы языка и алгебры предикатов.
Уметь:
- формулировать задачи логического характера и применять средства математической логики для их решения;
- выполнять операции над множествами;
- составлять таблицы истинности для высказываний и функций;
- упрощать формулы с помощью равносильных преобразований;
- приводить формулы к дизъюнктивной нормальной форме и совершенной дизъюнктивной нормальной форме (к конъюнктивной нормальной форме и совершенной конъюнктивной нормальной форме);
- решать булевы уравнения;
- записывать высказывания на языке алгебры предикатов;
- находить множество истинности предиката;
- выполнять операции над предикатами.
ОК Техник должен обладать общими компетенциями, включающими в себя способность:
ОК 1. Понимать сущность и социальную значимость своей будущей профессии, проявлять к ней устойчивый интерес.
ОК 2. Организовывать собственную деятельность, выбирая типовые методы и способы выполнения профессиональных задач, оценивая их эффективность и качество.
|
|
|
ОК 3. Принимать решения в стандартных и нестандартных ситуациях и нести за них ответственность.
ОК 4. Осуществлять поиск и использование информации, необходимой для эффективного выполнения профессиональных задач, профессионального и личностного развития.
ОК 5. Использовать информационно-коммуникационные технологии в профессиональной деятельности.
ОК 6. Работать в коллективе и в команде, эффективно работать с коллегами, руководством, потребителями.
ОК 7. Брать на себя ответственность за работу членов команды (подчинённых), за результат выполнения заданий.
ОК 8. Самостоятельно определять задачи профессионального и личностного развития, заниматься самообразованием, осознанно планировать повышение квалификации.
ОК 9. Ориентироваться в условиях частой смены технологий в профессиональной деятельности.
ПК Техник-программист должен обладать профессиональными компетенциями, соответствующими видам деятельности
Разработка программных модулей программного обеспечения для компьютерных систем.
ПК 1.1. Выполнять разработку спецификаций отдельных компонент.
ПК 1.2. Осуществлять разработку кода программного продукта на основе готовых спецификаций на уровне модуля.
|
|
|
Разработка и администрирование баз данных
ПК 2.4. Реализовывать методы и технологии защиты информации в базах данных.
Участие в интеграции программных модулей
ПК 3.4. Осуществлять разработку тестовых наборов и тестовых сценариев.
Рекомендуемое количество часов на освоение программы учебной дисциплины для очной формы обучения:
- максимальная учебная нагрузка обучающегося 102 часа, в том числе:
-обязательная аудиторная учебная нагрузка обучающегося 68 часов;
-самостоятельная работа обучающегося 34 часа.
Дата добавления: 2018-04-04; просмотров: 284; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!