Някои от курсовете на катедрата
- Дискретна математика и алгоритми, спец. МИ
- Дискретни структури, спец. ИС
- Дискретни структури 1, спец. СИ
- Дискретни структури 2, спец. СИ
- Езици, автомати, изчислимост
- Изчислимост и сложност
- Логическо програмиране
- Машини, езици, сложност и изчислимост
- Теория на множествата
- Семантика на езиците за програмиране