B04.011

Дискретная математика и математическая логика

Course ID
B04.011
Campus
32 мкр.
Level
Бакалавриат
Semester
7
Credit
5
Method

Описание

Цель дисциплины: ознакомить студентов с первоначальными понятиями математической логики, основными разделами дискретной математики и их применением. Дисциплина направлена на формирование у студентов навыков логико-комбинаторного мышления.
В учебную программу дисциплины включены следующие важные разделы: высказывания и предикаты, множества и отношения, комбинаторика, булевы функции, графы, элементы теории кодирования.

Результаты обучения

описывает основные понятия и методы дискретной математики и математической логики, выводы и методы их аргументации, основные направления их применения; использует основные методы решения задач дискретной математики и математической логики; записывает математические суждения с языком логики алгебры и логики предикатов; может работать в группе, правильно доказывать свою точку зрения; работает самостоятельно с математической литературой.