Элементы математической логики
Цель дисциплины
ознакомление обучающихся с важнейшими разделами математической логики для применения полученных знаний в решении практических задач; повышение уровня математической культуры; развитие логичности и конструктивности мышления; формирование систематизированных знаний в области математической логики, представлений о проблемах оснований математики и роли математической логики в их решении; развитие логического мышления, логической культуры, логической интуиции.
2.Место дисциплины в структуре ППССЗ:
Дисциплина относится к математическому и общему естественнонаучному учебному циклу.
3.Требования к результатам освоения дисциплины:
ОК Техник должен обладать общими компетенциями, включающими в себя способность:
ОК 1. Понимать сущность и социальную значимость своей будущей профессии, проявлять к ней устойчивый интерес.
ОК 2. Организовывать собственную деятельность, выбирая типовые методы и способы выполнения профессиональных задач, оценивая их эффективность и качество.
ОК 3. Принимать решения в стандартных и нестандартных ситуациях и нести за них ответственность.
ОК 4. Осуществлять поиск и использование информации, необходимой для эффективного выполнения профессиональных задач, профессионального и личностного развития.
ОК 5. Использовать информационно-коммуникационные технологии в профессиональной деятельности.
|
|
|
ОК 6. Работать в коллективе и в команде, эффективно работать с коллегами, руководством, потребителями.
ОК 7. Брать на себя ответственность за работу членов команды (подчинённых), за результат выполнения заданий.
ОК 8. Самостоятельно определять задачи профессионального и личностного развития, заниматься самообразованием, осознанно планировать повышение квалификации.
ОК 9. Ориентироваться в условиях частой смены технологий в профессиональной деятельности.
ПК Техник-программист должен обладать профессиональными компетенциями, соответствующими видам деятельности
Разработка программных модулей программного обеспечения для компьютерных систем.
ПК 1.1. Выполнять разработку спецификаций отдельных компонент.
ПК 1.2. Осуществлять разработку кода программного продукта на основе готовых спецификаций на уровне модуля.
Разработка и администрирование баз данных
ПК 2.4. Реализовывать методы и технологии защиты информации в базах данных.
Участие в интеграции программных модулей
ПК 3.4. Осуществлять разработку тестовых наборов и тестовых сценариев.
В результате освоения учебной дисциплины обучающийся должен:
Знать:
- основные принципы математической логики, теории множеств;
|
|
|
- формулы алгебры высказываний;
- методы минимизации алгебраических преобразований;
- основы языка и алгебры предикатов.
Уметь:
- формулировать задачи логического характера и применять средства математической логики для их решения;
- выполнять операции над множествами;
- составлять таблицы истинности для высказываний и функций;
- упрощать формулы с помощью равносильных преобразований;
- приводить формулы к дизъюнктивной нормальной форме и совершенной дизъюнктивной нормальной форме (к конъюнктивной нормальной форме и совершенной конъюнктивной нормальной форме);
- решать булевы уравнения;
- записывать высказывания на языке алгебры предикатов;
- находить множество истинности предиката;
- выполнять операции над предикатами.
4.Общая трудоемкость дисциплины по формам обучения (очной) составляет:
- максимальная учебная нагрузка обучающегося 102 часа, в том числе:
-обязательная аудиторная учебная нагрузка обучающегося 68 часов;
-самостоятельная работа обучающегося 34 часа.
Общая трудоемкость дисциплины по формам обучения (заочной) составляет:
- максимальная учебная нагрузка обучающегося 102 часа, в том числе:
|
|
|
-обязательная аудиторная учебная нагрузка обучающегося 10 часов;
-самостоятельная работа обучающегося 92 часа.
5.Семестры:3 семестр (для ОФО)
1 семестр (для ЗФО).
6. Основные разделы дисциплины:
Основы теории множеств
Алгебра логики
Булевы функции
Предикаты
7. Автор:
Андриенко Татьяна Анатольевна, преподаватель
[1] Во всех ячейках со звездочкой (*) следует указать объем часов
[2] Указать номера семестров в которых ведется дисциплина
[3] Во всех ячейках со звездочкой (*) следует указать объем часов
[4] Указать номера семестров в которых ведется дисциплина
Дата добавления: 2018-04-04; просмотров: 262; Мы поможем в написании вашей работы! |
Мы поможем в написании ваших работ!