그건 17수능부터 없어져서 한국사가 다시 생기고 탐구영역만 2개로 줄어든 13체제로 돌아간 것입니다.

그것도 인정.

우리 학교는 되게 뭘 많이 지원해주기도 하고 학부 수업에 조교같은거 하면 급여도 받고 있어서 생각하고 있습니다.

우리학과 교수님들이 항상하는 말 : 컴퓨터공학 전공하는 사람들도 컴맹은 존재한다. 

물론 나는 해드릴 수 있음.

보통 컴퓨터공학과에서 이론 쪽은 대수기하학 쪽의 이론도 쓰입니다. 수리논리학도 필요하고요. (다만 이런 쪽은 상당히 어려운 쪽이고 하는 사람도 적어요.) 수리논리학의 이론은 컴퓨터 공학 이론의 상당한 베이스를 이루고 있죠. 특히, 논리 회로를 구성할 때, 주어진 논리 연산과 규칙을 가지고 True/False(혹은 1/0)의 semantic을 명제에 주는 것과 (주어진 명제로부터 새로운 명제를 derive하는 규칙)을 포함하는 해당 논리 체계가 completenes랑 soundness를 동시에 만족하는지를 증명 혹은 반증하는 것은 이론적으로 매우 중요한 작업 중 하나입니다. 근데 이런 건 지나치게 마이너하고,

간단하게 수학이 활용되는 경우를 보자면, 알고리즘의 최적화 쪽입니다. 
최적화는 시간 최적화도 있고, 메모리 최적화도 있는데, 
대표적으로, order가 주어진 n개의 자료를 현대의 컴퓨터 체계로, 순서대로 sort하는 알고리즘의 시간-최적화는 O(n log n)입니다. 

저 O(n log n) 자체는 극한 개념으로 어려운 개념이 아닌데, 중요한 건 저것을 증명해야 한다는 것이죠. 

그리고 대부분의 학문이 깊게 들어가면 어려워 지기도 하고요.