코어논리학 드뎌 완주

[익명(58.234)]

이제 계산가능성과 논리 볼게요

엄청 어렵다던데 질문 엄청 많이 하게 될듯

양상 논리는 좋은 번역서적 찾기 힘들겠죠?

[익명(180.83)]

그걸 굳이 봐야 하나 싶기는 한데... 좋은 계산이론 교재가 많지 않나요?

[익명(180.83)]

계산가능성 쪽 토픽을 보시려면 이산수학을 먼저 파는 것도 좋습니다.

[익명(58.234)]

무료로 얻어서 보려고 하는데 별론가요? 많이 쓰이는 교재라 들었는데

[익명(180.83)]

계산 쪽에서는 당연히 이 교재 안 쓰고, 논리 쪽은 계산까지 다루는 학부 수업이 많지 않아서 안 씁니다. 당연히 좋은 책이기는 하겠지만 계산 쪽 토픽에 이산수학쪽 예비지식 없이 들어가는 건 조금 비추합니다. 예비지식만 다른 책에서 짧게 보고 들어가셔도 좋을 겁니다.

[익명(58.234)]

튜링기계까지는 대충 알고 있어서 막히느 부분 없었는데 계속 가다 막히면 이산수학으로 갈게여