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