굳이 한다면 전 Discrete mathematics나 Symbolic Logic(=Mathematical Logic) 맛보기 정도 추천드리고 싶네요. 논리력 확장 차원에서. 혹여나 Recursion Theory가 녹아든 부분에서 막힐 수도 있을 테지만 별 무리 없이 넘어가신다면 사실 나머진 따로 준비한다기보다는 들어가고 나서의 열정으로도 충분하다고 봐요. 예전 친구가 쌩문과였는데, CS 더블메이저하고 대체로 A 받고 졸업했어요. 물론, 학점이랑 나중에 현업에 가서 잘하는 건 어떻게 보면 별개의 문제라. 그 예전 친구도 그렇고 보통 발목 잡히는 사람들 보면(발목이 잡힐 수 있다는 가정하에) Mathematical 내지는 Logical 백그라운드가 약한 게 원인 같길래 혹여나 말씀드려봅니다.