계산이론이 뭐냐니깐 ㅅㅂ ㅅㅅㅅ튐?

[익명(218.52)]

오토마타 이론 말하는거냐고

[ㅅㅅㅅ(221.145)]

음. 오토마타 이론이랑 비슷한데 계산 이론이 더 범위가 넓어.

[ㅇ(218.52)]

오토마타 말고 뭐가더있는데

[ㅅㅅㅅ(221.145)]

내가 입 아프게 설명해 줘야 됨? 니가 직접 찾아 봐.
https://ko.wikipedia.org/wiki/계산_이론
. 밑에 "[계산 이론] 오토마타 이론, 계산 가능성 이론, 계산 복잡도 이론, 양자 계산 이론"이라 나오잖아. 오토마타 이론은 계산 이론의 일부 분야라고.

[익명(175.223)]

계산복잡도는 이산수학에서 다루는건데 계산가능성하고 양자계산이론은 또뭐여

[d(220.118)]

그냥 알고리듬에 관한 수학분야라 보면 된다. 알고리듬 하면 공학쪽에서는 여러가지 종류의 알고리듬과 자료구조를 배우고 하는식으로 알고리듬 시스템의 '안'에서 논다면 계산이론은 통상의 수학분야처럼 알고리듬 시스템의 내부구조와 경계를 주로 파고든다고 보면 됨. 알고리듬 시스템도 그자체는 유일하지만 람다칼큘이라던가 combinatory logic 이라던가 수많은 isomorphism 이 있기때문에 그런 시스템들 배우고 복잡도도 배우고 등등...

[ㅅㅅㅅ(221.145)]

바보야. 내가 준 위키백과 링크 들어가 보지도 않았니? 거기 밑에 '수하의 주요 분야' 펼쳐 봐라. 이산수학 범주에 "계산 이론, 계산 복잡도 이론, 암호학, 조합학, 그래프 이론"이 있잖아. 이산수학은 그냥 더 큰 범위고.

[ㅅㅅㅅ(221.145)]

d가 아니라 ㅇㅇ에게 한 말.

[ㅅㅅㅅ(221.145)]

수하의 주요 분야 => 수학의 주요 분야

[ㅅㅅㅅ(221.145)]

요즘 오타가 자꾸 작렬하네.