수학과에서도 수리논리는 서자취급...이라기보다 철학과나 언어학, 컴싸과 이런쪽이랑 더 잘 놀고, 수리논리 제대로 가르칠 수 있는 교수 있는 학교가 한국에 아마 없을거임. 그러니 형식언어 그런거 잘 모르는게 당연. 근데 좀 들어가면 위상수학이나 대수 category 이런걸 기본으로 깔고들어가니까 수학과가 유리하긴 함.
fds(220.118)2016-02-06 19:16
뭔가 공부를 하면 할수록 수학적인 이론이나 사고가 많아지는건 느껴진다 컴공과에서 배우는 이산수학을 파트별로 때서 더 확장해서 배우는 느낌인거같다 수학과의 수학은
나도임
엥 수학과인데 형식언어/문법 책보고 무슨소린지 모르겠다고?
아직 제대로 안봤는데 증명 많은거같긴하던데 애초에 수학과 체질이 아닌가벼
수학과에서도 수리논리는 서자취급...이라기보다 철학과나 언어학, 컴싸과 이런쪽이랑 더 잘 놀고, 수리논리 제대로 가르칠 수 있는 교수 있는 학교가 한국에 아마 없을거임. 그러니 형식언어 그런거 잘 모르는게 당연. 근데 좀 들어가면 위상수학이나 대수 category 이런걸 기본으로 깔고들어가니까 수학과가 유리하긴 함.
뭔가 공부를 하면 할수록 수학적인 이론이나 사고가 많아지는건 느껴진다 컴공과에서 배우는 이산수학을 파트별로 때서 더 확장해서 배우는 느낌인거같다 수학과의 수학은