理論的なCSおよび数学-自習の推奨事項
私は非CSの卒業生であり、私の研究分野はCSとは無関係です。しかし、コンピューター科学者になるという大規模な計画の一環として、CSに関連する理論的なコンピューターサイエンスと数学の強固な背景を得たいと思います。私はたくさんの研究を行い、CSと数学のトピックに関する以下の最高/本当に良い本を選びました。あなたの意見を聞きたいです： カバーされているトピックの完全性（私が見逃したものをお勧めします） 重なった素材のカバー/オーバーキルエリア（リストから削除する必要がある本を推奨してください） 本を勉強する順序 リストは長すぎると感じているので、CSに必要なコア知識を失うことなく、いくつかの本を削除することをお勧めします。 したがって、本は次のとおりです。 WWソーヤーによる数学者の喜び 証明方法：ダニエルJ.ヴェレマンによる構造化アプローチ 解決方法：G. Polyaによる数学手法の新しい側面 グレッグ・マイケルソンによるラムダ計算による関数型プログラミングの紹介 Al AhoとJeff Ullmanによるコンピューターサイエンスの基礎（http://i.stanford.edu/~ullman/focs.html） 具体的な数学：グラハム、クヌース、パタシュニックによるコンピューターサイエンスの基礎 Michael Sipserによる計算理論の紹介 オートマタ理論、言語、および計算入門：John E. Hopcroft、Rajeev Motwani、Jeffrey D. Ullman 計算の複雑さ：Oded Goldreichによる概念的展望 計算の複雑さ：ボアズ・バラクのサンジーエフ・アローラによる現代的アプローチ JH van Lint、RM Wilsonによる組み合わせ論コース 計算可能性：Nigel Cutlandによる再帰関数理論の紹介 コンピューターと難治性：NP完全性理論のガイド（MR Garey、DS Johnson） Hartley Rogersによる再帰関数の理論と効果的な計算可能性 GHハーディ、JEリトルウッド、G。ポリアによる不平等 数理論理学：演習を含むコース（パートI）：命題微積分、ブッケ代数、述語微積分byRenéCori、Daniel Lascar 数理論理学：演習を含むコース（パートII）：再帰理論、ゲーデルの定理、集合論、モデル理論、ルネコリ、ダニエルラスカー