コンピューティング

川合慧, 萩谷昌己 著

[目次]

  • コンピューティングと状態遷移
  • オートマトン
  • チューリング機械
  • 計算と論理
  • 命令型計算モデル
  • ホーア論理
  • 並列・分散計算
  • ラムダ計算
  • 関数プログラミング
  • 計算の複雑さ-計算量
  • 計算量の理論
  • いろいろな計算機構
  • 数値の計算
  • 現代のソフトウェア開発
  • コンピューティングの未来

「BOOKデータベース」より

この本の情報

書名 コンピューティング
著作者等 川合 慧
萩谷 昌己
書名ヨミ コンピューティング : ゲンリ ト ソノ テンカイ : ジョウホウガク プログラム : シゼン カンキョウ カガク プログラム
書名別名 原理とその展開 : 情報学プログラム : 自然環境科学プログラム

Konpyutingu
シリーズ名 放送大学大学院文化科学研究科
放送大学大学院教材
出版元 放送大学教育振興会 : NHK出版
刊行年月 2015.3
ページ数 254p
大きさ 21cm
ISBN 978-4-595-14056-3
NCID BB18149446
※クリックでCiNii Booksを表示
全国書誌番号
22550037
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想