дискретная математика - полностью, математическая логика и теория алгоритмов - полностью и программирование - полностью.