[일반] 컴공인데 질뮨

[익명(218.159)]

자료구조관련 랩실 인턴해볼라하는데

교수님께서 많은 증명테크닉 알아야된다고

다음학기에 대수학과목 수강을 추천하심.

대수학1, 2중에서 대수학1만 수강하면 된다하셧는데

현대대수가 같은과목인지 궁금함

선대를 올해 1학기때 듣고 다까먹엇는데

선수과목이면 방학때 다시 훑어봐야할라나

- dc official App

[익명(182.227)]

원 헛소리여

[익명(182.227)]

일단 대수학 과목이 현대대수학 맞고, 선대 몰라도 현대대수 듣는데 큰 지장은 없지만 알면은 좋고, 대수학은 컴공에 안쓰고 차라리 해석학을 듣거나 선대를 빡쎄게 파는걸 추천함. PL하는것도 아닌데 왜 대수를 들으라는지 도대체 모르겠음

[익명(218.159)]

pl에서는 대수가 쓰임? 것도 신기하네 - dc App

[익명(182.227)]

대수 특정분야로 기이잎게 파면 증명불가 증명가능 P대NP 튜링머신 등등 튀어나옴. 저기 CoQ하는 친구 이론적 기반이 대수에서 나옴

[익명(218.159)]

ㅇㅎ 설명ㄱㅅ 궁금해지네 - dc App

[익명(112.151)]

대수1 이면 주로 군론을다룰텐데 자료구조/알고리즘 등 이산적인 구조를 연구하면 군론이 쓰일수도있음... 근데 그과목이 딱히 증명테크닉? 을 가르치는건 아닌것같은데... 그냥 수학적 maturity 를 기른다는 점에서 의미있을듯 선형대수나 해석학보다 좀더 추상적인과목임