科学技術と共に歩む

コンピュータサイエンス教科書シリーズ 16

計算論

• 小林 孝次郎 創価大教授 著

計算可能性と計算の複雑さの理論の入門書。コンピュータはどのような問題を解くことができるのか，ということをきちんと論ずるための数学的な枠組みを与える。基本的な結果に限定し，それらが成り立つ理由をわかりやすく説明する。