この商品をチェックした人は…

計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
高橋 正子
おすすめ度: 5つ星のうち 5.0  レビューをすべて見る (4)
在庫あり
通常配送無料(一部の商品・注文方法等を除く) 詳細
¥ 3,570
内容(「MARC」データベースより)
計算とは何か、計算できる関数全体は数学的にどのような構造をもっているか、などといった問題について考察する。  続きを読む

こんな商品もチェックしています

関連商品をストア別に表示する:
すべてのストア (51)

以下の条件にあてはまる商品を表示する:
買った商品
チェックした商品

プログラム意味論 (情報数学講座)
論理と計算のしくみ
計算論への入門―オートマトン・言語理論・チューリング機械 (スタンダードテキスト)
論理と計算のしくみ 単行本 萩谷 昌己

圏論による論理学―高階論理とトポス
計算モデル論入門―チューリング機械からラムダ計算へ (Information Science & Engineering (F5))
オートマトン言語理論 計算論〈1〉 (Information & Computing)

プログラミングHaskell
Types and Programming Languages
情報科学における論理 (情報数学セミナー)
プログラミングHaskell 単行本(ソフトカバー) Graham Hutton
Types and Programming Languages ハードカバー Benjamin C. Pierce

  次のページ