국내에서 보편적으로 쓰는 책은 Kenneth Rosen(<a href=http://www.amazon.com/Discrete-Mathematics-Applications-ConnectPlus-Access/dp/0077916085/ref=sr_1_3?ie=UTF8&qid=1373709102&sr=8-3&keywords=discrete+mathematics)과 target=_blank>http://www.amazon.com/Discrete-Mathematics-Applications-ConnectPlus-Access/dp/0077916085/ref=sr_1_3?ie=UTF8&qid=1373709102&sr=8-3&keywords=discrete+mathematics)과</a> Johnsonbaugh(<a href=http://www.amazon.com/Discrete-Mathematics-Edition-Richard-Johnsonbaugh/dp/0131593188/ref=sr_1_6?ie=UTF8&qid=1373709102&sr=8-6&keywords=discrete+mathematics)로 target=_blank>http://www.amazon.com/Discrete-Mathematics-Edition-Richard-Johnsonbaugh/dp/0131593188/ref=sr_1_6?ie=UTF8&qid=1373709102&sr=8-6&keywords=discrete+mathematics)로</a> 알고 있습니다. 한 학기용 교재로, 이론을 심화해서 배울 필요 없는 보통의 전산학과 학부생을 타겟으로 적절한 교재입니다.

(이 책들을 쓰는 경우는 못 봤습니다만) Gary Haggard의 책이나 Judith L. Gersting의 책이 꽤 오래전부터 번역되어 있었으나 저자의 취향에 맞춰서 좀 쏠려있는 책으로 기억합니다. 또 이번 해에 Susanna S. EPP (<a href=http://www.amazon.com/Discrete-Mathematics-Applications-Susanna-Epp/dp/0495391328/ref=sr_1_1?ie=UTF8&qid=1373709102&sr=8-1&keywords=discrete+mathematics)의 target=_blank>http://www.amazon.com/Discrete-Mathematics-Applications-Susanna-Epp/dp/0495391328/ref=sr_1_1?ie=UTF8&qid=1373709102&sr=8-1&keywords=discrete+mathematics)의</a> 책도 번역되었더군요. 훑어만 봤는데 Rosen이나 Johnsonbaugh와 비슷한 수준의 책으로 기억합니다.

수학과에서도 위에 언급한 책을 쓰는 게 보통입니다. 특정 학교에서 황석근 등저 ENV 이산수학이나 박승안 저 이산수학을 쓸 겁니다. 대개 수학과에서 커버하는 경우 수리논리학 쪽에 가까운 부분은 집합론에서 배우기 때문에 조합론에 다소 비중을 싣긴 할 겁니다.

말씀하신 내용을 커버하는 학부 수준의 이산수학 책은 본 적이 없어서 모르겠고요. 외국이라 하더라도 그 학과 교수들이 이론을 강하게 하지 않는 이상 말씀하신 정리들을 커버하는 경우는 드물 것으로 보입니다. 말씀하신 내용은 mathematical logic이라는 제목으로 된 책을 볼 때 배우는 게 보통입니다.

  개인적인 경험으로, discrete math 에 다른 책은 없다로 말할 수 있을 정도로 Rosen 책이 최고라 봅니다. 적당한 난이도이고 연습문제들도 좋습니다.

  두분 답변 감사합니다. 저도 Rosen 이사람 책으로 공부했어요.

참고되었습니다. 감사합니다. ^^