Дисципліна зосереджена на вивченні дискретних структур і методів, що мають застосування в комп'ютерних науках. Основні теми включають теорію множин, логіку, графи, відношення та функції, комбінаторику та алгоритми. Вивчення цієї дисципліни є основою для подальшого опанування програмування та обчислювальної техніки.