目次
コンピューティングと状態遷移
オートマトン
チューリング機械
計算と論理
命令型計算モデル
ホーア論理
並列・分散計算
ラムダ計算
関数プログラミング
計算の複雑さ―計算量
計算量の理論
いろいろな計算機構
数値の計算
現代のソフトウェア開発
コンピューティングの未来
著者等紹介
川合慧［カワイサトル］
１９４４年東京都に生まれる。１９６７年東京大学理学部物理学科卒業。１９６９年東京大学大学院理学系研究科修士課程修了。１９８２年東京大学理学部助教授。１９８８年東京大学教養学部教授。１９９６年東京大学大学院綜合文化研究科教授。現在、放送大学教授・東京大学名誉教授・理学博士。専攻は計算機科学、プログラム言語、コンピュータグラフィクス
萩谷昌己［ハギヤマサミ］
１９５７年東京都に生まれる。１９８０年東京大学理学部卒業。現在、東京大学教授。専攻は情報科学（本データはこの書籍が刊行された当時に掲載されていたものです）
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
vinlandmbit
26
図書館本。コンピュータサイエンス学び直しにあたり、全体感を読ませて頂く。2022/09/14
-
- 電子書籍
- 眼科医が教える あきらめていた目もとの…
