Пояснительная записка
Учебная
дисциплина "Дискретная математика с элементами математической логики" для
специальности 09.02.07 «Информационные системы и
программирование».
Цель и планируемые результаты освоения
дисциплины:
В
результате освоения учебной дисциплины студент должен уметь:
-
применять
логические операции, формулы логики, законы алгебры
логики;
- формулировать
задачи логического характера и применять средства математической логики для их
решения.
В
результате освоения дисциплины студент должен знать:
-
основные
принципы математической логики, теории множеств и теории
графов;
-
формулы
алгебры высказываний;
- методы
минимизации алгебраических преобразований;
- основы
языка и алгебры предикатов.
Вариативная часть
В
результате освоения вариативной части учебной дисциплины Дискретная математика с
элементами математической логики студент должен уметь:
-
применять
логические операции, формулы логики, законы алгебры
логики;
- определять
типы графов и давать их характеристики.
В
результате освоения вариативной части учебной дисциплины Дискретная математика с
элементами математической логики студент должен знать:
- методы
упрощения булевых функций;
-
бинарные
отношения и их свойства;
- элементы
теории отображений и алгебры подстановок
- основные
понятия теории графов, характеристики и виды графов.
Освоение
учебной дисциплины направлено на формирование общих
компетенций:
Код компетенции |
Формулировка
компетенции |
Знания,
умения |
ОК
01 |
Выбирать
способы решения задач профессиональной деятельности, применительно к
различным контекстам |
Умения:
распознавать задачу и/или проблему в профессиональном и/или социальном
контексте; анализировать задачу и/или проблему и выделять её составные
части; определять этапы решения задачи; выявлять и эффективно искать
информацию, необходимую для решения задачи и/или
проблемы; составить
план действия; определить необходимые ресурсы; владеть
актуальными методами работы в профессиональной и смежных сферах;
реализовать составленный план; оценивать результат и последствия своих
действий (самостоятельно или с помощью
наставника) |
Знания:
актуальный профессиональный и социальный контекст, в котором приходится
работать и жить; основные источники информации и ресурсы для решения задач
и проблем в профессиональном и/или социальном
контексте; алгоритмы
выполнения работ в профессиональной и смежных областях; методы работы в
профессиональной и смежных сферах; структуру плана для решения задач;
порядок оценки результатов решения задач профессиональной
деятельности | ||
ОК
02 |
Осуществлять
поиск, анализ и интерпретацию информации, необходимой для выполнения задач
профессиональной деятельности |
Умения:
определять задачи для поиска информации; определять необходимые источники
информации; планировать процесс поиска; структурировать получаемую
информацию; выделять наиболее значимое в перечне информации; оценивать
практическую значимость результатов поиска; оформлять результаты
поиска |
Знания:
номенклатура информационных источников, применяемых в профессиональной
деятельности; приемы структурирования информации; формат оформления
результатов поиска информации | ||
ОК
04 |
Работать
в коллективе и команде, эффективно взаимодействовать с коллегами,
руководством, клиентами. |
Умения:
организовывать работу коллектива и команды; взаимодействовать с коллегами,
руководством, клиентами в ходе профессиональной
деятельности |
Знания:
психологические основы деятельности коллектива, психологические
особенности личности; основы проектной
деятельности | ||
ОК
05 |
Осуществлять
устную и письменную коммуникацию на государственном языке с учетом
особенностей социального и культурного контекста. |
Умения:
грамотно излагать свои мысли и оформлять документы по профессиональной
тематике на государственном языке, проявлять толерантность в рабочем
коллективе |
Знания:
особенности
социального и культурного контекста; правила оформления документов и
построения устных сообщений. | ||
ОК
09 |
Использовать
информационные технологии в профессиональной
деятельности |
Умения:
применять средства информационных технологий для решения профессиональных
задач; использовать современное программное
обеспечение |
Знания:
современные средства и устройства информатизации; порядок их применения и
программное обеспечение в профессиональной
деятельности | ||
ОК
10 |
Пользоваться
профессиональной документацией на государственном и иностранном
языке. |
Умения:
понимать общий смысл четко произнесенных высказываний на известные темы
(профессиональные и бытовые), понимать тексты на базовые профессиональные
темы; участвовать в диалогах на знакомые общие и профессиональные темы;
строить простые высказывания о себе и о своей профессиональной
деятельности; кратко обосновывать и объяснить свои действия (текущие и
планируемые); писать простые связные сообщения на знакомые или
интересующие профессиональные
темы |