서울대 람다대수 가르침 ㅇㅇ

[익명(175.223)]

당연히 가르침 ;;

[커헠(msca8h)]

무슨 수업에서 - return 0;

[성공한다.(223.62)]

람다대수는 무슨책보고 공부해야하지

[성공한다.(223.62)]

난 학교에서 프로그래밍언어론 수업때 람다대수 맛보기정도로만 가르쳐줫는데

[커헠(msca8h)]

https://goo.gl/dRdLnN
난 이거 보고 있다 - return 0;

[fds(220.118)]

람다칼큘은 쉽게가르치면 엄청 쉬움. 어렵게 가르치면(주로 수학과생들) 초장부터 카테고리, 위상수학, 대수학 좍좍 나와가지고 컴공생은 힘듬.

[성공한다.(121.190)]

오 꿀팁 감사

[커헠(msca8h)]

ㄴ 그건 오토마타 알고리즘도 똑같이 적용되는 얘기임 - return 0;

[커헠(msca8h)]

근데 람다대수가 위상수학까지 나오냐 그건 특이하네 - return 0;

[fds(220.118)]

함수형 언어 붐을 일으킨 denotational semantics 가 scott topology 에서 시작된거라 제대로 들이팔때는 당연히 나옴.

[커헠(msca8h)]

ㄴ 아 그게 토폴로지에서 나옴? 책에선 그런 얘기 안 하던데 배워감 ㄱㅅ - return 0;

[땡칠도사(07dosa)]

아무리 그래도 초장부터 카테고리나 다른걸 가르치진 않지[...] 개념은 빌려올지언정 내용은 안팜. ㅇㅇ

[fds(220.118)]

아니 수학과 대상으로 (학부땐 이쪽 강의가 아예 없고 주로 석사쯤 시작)개설된 강의에선 초장부터 팜.

[fds(220.118)]

판다고 하는건 좀 이상하고 이미 다 알고있을거라 생각하고 아무생각없이 언급하는 그런정도. 학부때 기본으로 했을거니깐. 뭐 개념같은거 정의하면 그거 설명하면서 예시로 학부 대수학에 나오는 galois correspondence 같은걸 들어주고 그런식.

[커헠(msca8h)]

수학과에서 람다대수는 계산이론 때문에 하는건가 아니 면 따로 관련 분야가 있음? 활용이 생각보다 굉장히 다양하다고 듣긴 했는데 - return 0;

[땡칠도사(07dosa)]

그쯤되면 다 배워쳐먹은 것들이 와서 듣는 수업이잖아[...]

[땡칠도사(07dosa)]

여튼지간에 쉽게 가르친다, 간단하게 가르친다의 문제가 아니라, 람다 칼큘러스는 하나의 독립된 formal system이고, 그 것을 한단계 더 추상화 해서 보면 computable topology적 시각에서 특성을 분석하는 정도 아니게씀?

[fds(220.118)]

근데 솔까 이론 컴퓨터 과학쪽은 수학과 출신들이 다해먹는게 맞긴 한거같음. - _-; 대학때 보면 그쪽은 교수도 컴공전공보다 수학과전공출신이 더 많았던듯...람다대수는 수학에선 수리논리학이랑 많이 엮임.

[땡칠도사(07dosa)]

컴싸는 결국 수학임 ㅇㅇ 이거 컴퓨터보다 오래된 학문이라규?

[fds(220.118)]

그러니까 단순히 람다칼큘 "그자체"만 가르치면 이건 point set 위상이랑 마찬가지로 쉬움. 근데 저런 펀더멘탈한 분야들의 특징은 그것 자체로는 별게 없는데 다른것들이랑 엄청 쉽게 엮인다는거고 거기서 그 파괴력이 나오는거라 그것 자체보다 그거랑 엮이는 그 연결고리들 배우는게 사실 더 중요하다고 봄.

[커헠(msca8h)]

근데 내 질문은 그걸 컴퓨터과학/공학과 학부에서 가르치는 대학이 있음? - return 0;

[땡칠도사(07dosa)]

람다 가르치든 안가르치든 별로 상관 없는데? PL 계열에서 가르치기도 하고, Automata/Computation 계열에서 가르치기도 하는데, 전자에서는 그렇게 주요 개념은 아니고, 후자는 그 분야 자체가 기본교육에서 빼는 추세라....

[fds(220.118)]

내가 다니던 대학은 수학과에서 카테고리 이론이나 람다대수같은거 가르치면 거기에 수학과 1/3정도 컴공생 1/3 정도 그리고 철학과(!) 1/3 정도 있었음. 글고, 컴공은 몰겠고 컴퓨터 과학쪽 신경쓰는 대학에선 가르칠거같은데 잘 모르겠음. 교수가 수학전공이어도 저런거 가르치는 교수면 컴퓨터 과학부로 취업했을테고...원래는 그쪽에 강의개설하는게 맞을듯.

[커헠(msca8h)]

빼는 추세라고? 컴퓨터 과학/공학에서 컴퓨테이션이 빠질 수 있는건가.. 이해가 안되는디 - return 0;