паспорт рабочей программы УЧЕБНОЙ ДИСЦИПЛИНЫ

ЕН.02 Элементы математической логики

1.1. Область применения рабочей программы

Рабочая программа учебной дисциплины является частью основной профессиональной образовательной программы в соответствии с ФГОС по специальности СПО 09.02.03 «Программирование в компьютерных системах»

1.2. Место учебной дисциплины в структуре основной профессиональной образовательной программы:

ЕН.00 Математический и общий естественнонаучный цикл

1.3. Цели и задачи учебной дисциплины – требования к результатам освоения учебной дисциплины:

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

-             формулировать задачи логического характера и применять средства математической логики для их решения.

            в результате освоения учебной дисциплины обучающийся должен знать:

-              основные принципы математической логики, теории множеств и теории алгоритмов;

-              формулы алгебры высказываний;

-              методы минимизации алгебраических преобразований

-              основы языка и алгебры предикатов.

            Содержание дисциплины ориентировано на подготовку студентов к освоению профессиональных модулей ОПОП по специальности 09.02.03 «Программирование в компьютерных системах» и овладению профессиональными компетенциями (ПК).

ПК 1.1. Выполнять разработку спецификаций отдельных компонент.

ПК 1.2. Осуществлять разработку кода программного продукта на основе готовых спецификаций на уровне модуля.

ПК 2.4. Реализовывать методы и технологии защиты информации в базах данных. 

ПК 3.4. Осуществлять разработку тестовых наборов и тестовых сценариев.

            В процессе освоения дисциплины у студентов должны быть сформированы общие компетенции:

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

ОК 2. Организовывать собственную деятельность, выбирать типовые методы и способы выполнения профессиональных задач, оценивать их эффективность и качество.

ОК 3. Принимать решения в стандартных и нестандартных ситуациях и нести за них ответственность.

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

ОК 5. Использовать информационно-коммуникационные технологии в профессиональной деятельности.

ОК 6. Работать в коллективе и в команде, эффективно общаться с коллегами, руководством, потребителями.

ОК 7. Брать на себя ответственность за работу членов команды (подчиненных), за результат выполнения заданий.

ОК 8. Самостоятельно определять задачи профессионального и личностного развития, заниматься самообразованием, осознанно планировать повышение квалификации.

ОК 9. Ориентироваться в условиях частой смены технологий в профессиональной деятельности.

ОК 10. Исполнять воинскую обязанность, в том числе с применением полученных профессиональных знаний (для юношей).

1.4. Рекомендуемое количество часов на освоение рабочей программы учебной дисциплины:

максимальной учебной нагрузки обучающегося 158 часов, в том числе:

обязательной аудиторной учебной нагрузки обучающегося 106 часов;

самостоятельной работы обучающегося 52 часов.