教科書参考書

• 情報論理
  • 小野寛晰「情報科学における論理」日本評論社
    • http://www.amazon.co.jp/exec/obidos/ASIN/4535608148/249-3276535-7902719
  • 萩谷昌己「岩波講座応用数学 [基礎11] 論理と計算」岩波書店
    • http://www.iwanami.co.jp/.BOOKS/01/2/0105130.html
• 離散数学

• OS
  • Silberschatz,Galvin,and Gagne "Operating System Concepts Sixth Edition" Wiley
    • http://www.amazon.co.jp/exec/obidos/ASIN/0471417432/249-3276535-7902719
• 言語処理系論
  • 中田育男「コンパイラの構成と最適化」朝倉書店
    • http://www.amazon.co.jp/exec/obidos/ASIN/4254121393/249-3276535-7902719
• 計算機構成論