Федеральное государственное бюджетное образовательное учреждение
высшего образования «Горно-Алтайский государственный университет»
(ФГБОУ ВО ГАГУ, ГАГУ, Горно-Алтайский государственный университет)
кафедра математики, физики и информатики
рабочая программа дисциплины (модуля)
ОБЩЕПРОФЕССИОНАЛЬНЫЙ
Дискретная математика и математическая логика
02.03.01_2024_624.plx
02.03.01 Математика и компьютерные науки
к.т.н., доцент каф. математики, физики и информатики, Кудрявцев Николай Георгиевич
Распределение часов дисциплины по семестрам
Семестр
(<Курс>.<Семестр на курсе>)
Консультации (для студента)
Контроль самостоятельной работы при проведении аттестации
Консультации перед экзаменом
УП: 02.03.01_2024_624.plx
1. ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
получение базовых знаний по основам теории множеств, булевых функций, теории графов, конечных автоматов и математической логики в итоге - знакомство с математическим аппаратом, используемым при работе с компьютером, позволяющим успешно работать в области программирования, компьютерного и математического моделирования и искусственного интеллекта
2. МЕСТО ДИСЦИПЛИНЫ В СТРУКТУРЕ ООП
Требования к предварительной подготовке обучающегося:
Дисциплины и практики, для которых освоение данной дисциплины (модуля) необходимо как предшествующее:
Проектная деятельность в цифровых технологиях
Технологии программирования
Цифровые технологии в профессиональной деятельности
3. КОМПЕТЕНЦИИ ОБУЧАЮЩЕГОСЯ, ФОРМИРУЕМЫЕ В РЕЗУЛЬТАТЕ ОСВОЕНИЯ ДИСЦИПЛИНЫ (МОДУЛЯ)
ОПК-1: Способен консультировать и использовать фундаментальные знания в области математического анализа, комплексного и функционального анализа алгебры, аналитической геометрии, дифференциальной геометрии и топологии, дифференциальных уравнений, дискретной математики и математической логики, теории вероятностей, математической статистики и случайных процессов, численных методов, теоретической механики в профессиональной деятельности
Знаком с основными понятиями и определениями математических объектов. Знает свойства математических объектов, а также формулировки и методы доказательств математических утверждений
ИД-1.ОПК-1:Знает основные понятия, определения, свойства математических объектов, формулировки и методы доказательств математических утверждений
Умеет доказывать утверждения, связанные с математическим аппаратом дискретной математики, решать задачи, связанные с булевыми функциями, теорией графов, конечными автоматами и исчислением высказываний
ИД-2.ОПК-1:Умеет доказывать утверждения, решать задачи в области математических наук
Способен объяснять постановку задач и способы их решения из области дискретной математики, также проводить консультации по этим вопросам
ИД-3.ОПК-1:Способен консультировать в области фундаментальной математики