この商品をご覧のお客様は、こんな商品もチェックしています。
- 複素関数論の基礎
-
価格：2,640円（本体2,400円＋税）
【2015年11月発売】
- 無限と連続 哲学的実数論
-
価格：3,520円（本体3,200円＋税）
【2013年03月発売】
- 数学嫌いな人のための数学 新装版
-
価格：1,980円（本体1,800円＋税）
【2023年12月発売】
- 整数と群・環・体 素数と数の認識論
-
価格：2,530円（本体2,300円＋税）
【2017年05月発売】
- 高校・大学生のための整数の理論と演習
-
価格：2,970円（本体2,700円＋税）
【2008年06月発売】
のマークが目印です。
[BOOKデータベースより]
計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な３つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら３つの異なる観点で計算を表現し、その特徴を認識する。
１ プログラムによる計算の表現
[日販商品データベースより]２ チューリング機械による計算の表現
３ 帰納的関数による計算の表現
４ ラムダ計算による計算の表現
５ 並列・並行・分散計算の表現
情報理論の基礎である計算可能性を、プログラム言語やチューリング機械などさまざまな観点から解説した入門書。練習問題も豊富で、徹底的に基礎理論のみを追求した本書は情報科学系初年級の教科書に最適である。