아니 이놈의 계산이론

[쿠루우우(sanghyung)]

아니 이거는 뭐야
이게 확실히 열심히 배우면
나의 프로그래밍 사고력을 늘려주는긴가?

형식언어가 카운터블인지는 아닌지는 어떻게 아는거지 횽들?

From dcinside app for Android

[s(109.46)]

뭐 prolog 같은 언어에는 1g 정도 도움될 수 있지만 일반적으로 프로그래밍 사고력이랑은 별 관계 없음. 형식언어가 countable 인 이유는 structural induction 으로 정의되기때문. 프로그래밍이랑은 별 관계가 없지만 가장 재밌는 과목중 하나라고 본다. 알고리듬 자체에 대해선 안배워도 알고리듬의 경계 한계, 수학적 성질등에 대해 배우는 관계로 그쪽으로 테크타서 좀 올라가면 증명이론이랑 연계되면서 흥미있는 이론들 많이 나옴.

[쿠루우우(sanghyung)]

나같은 늅은 왠지 이해가 되다가도 증명하라면 쪼그라들어ㅠ 하지만 횽아의 말에서 이해가 왔음. 열심히 해야지 [핡]