計算論入門 : 計算の基本原理理解のために

著者

• 渡辺, 治 ワタナベ, オサム
• 米崎, 直樹 ヨネザキ, ナオキ

書誌事項

計算論入門 : 計算の基本原理理解のために

渡辺治, 米崎直樹著

日本評論社, 1997.3

タイトル読み

ケイサンロン ニュウモン : ケイサン ノ キホン ゲンリ リカイ ノ タメ ニ

注記

参考文献について: p206-207

索引: p208-211

内容説明・目次

内容説明

計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な３つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら３つの異なる観点で計算を表現し、その特徴を認識する。

目次

• １　プログラムによる計算の表現
• ２　チューリング機械による計算の表現
• ３　帰納的関数による計算の表現
• ４　ラムダ計算による計算の表現
• ５　並列・並行・分散計算の表現

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BN16106301
• ISBN:
  • 4535782407
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: v, 211p
• 大きさ: 21cm
• 分類:
  • NDC9 : 007.64
  • NDC8 : 410.9
  • NDC7 : 410.1
• 件名:
  • BSH : 数学基礎論
  • NDLSH : アルゴリズム