amazon.co.jp
こんにちは。
おすすめ商品を見るには
サインイン
してください。
初めての方は
こちら
。
6月17日は父の日 父の日ギフト特集
感謝の気持ちが伝わるアイテムが勢ぞろい
マイストア
|
Amazonポイント
|
ギフトストア
|
ギフト券
|
タイムセール
アカウントサービス
|
ヘルプ
すべてのカテゴリーを見る
検索
すべてのカテゴリー
本
洋書
DVD
ミュージック
クラシック
MP3ダウンロード
楽器
TVゲーム
家電&カメラ
パソコン・周辺機器
PCソフト
文房具・オフィス用品
ホーム&キッチン
ペット用品
食品&飲料
ヘルス&ビューティー
コスメ
ベビー&マタニティ
おもちゃ
ホビー
服&ファッション小物
シューズ&バッグ
ジュエリー
時計
スポーツ&アウトドア
DIY・工具
カー・バイク用品
大型家電
カートを見る
ほしい物リスト
本
詳細検索
ジャンル一覧
新刊・予約
Amazonランキング
漫画・アニメ
雑誌
文庫・新書
専門書
この商品をチェックした人は…
計算論 計算可能性とラムダ計算 (コンピュータサイエンス大学講座)
高橋 正子
(著)
おすすめ度:
(
4
)
4レビュー
星5つ
:
(4)
星4つ
:
(0)
星3つ
:
(0)
星2つ
:
(0)
星1つ
:
(0)
›
カスタマーレビューを見る(4)
在庫あり
通常配送無料(一部の商品・注文方法等を除く)
詳細
¥ 3,570
内容(「MARC」データベースより)
計算とは何か、計算できる関数全体は数学的にどのような構造をもっているか、などといった問題について考察する。
続きを読む
こんな商品もチェックしています
関連商品をストア別に表示する:
すべてのストア
(51)
本
以下の条件にあてはまる商品を表示する:
買った商品
チェックした商品
プログラム意味論 (情報数学講座)
単行本 横内 寛文
論理と計算のしくみ
単行本 萩谷 昌己
計算論への入門―オートマトン・言語理論・チューリング機械 (スタンダードテキスト)
単行本 エフィーム キンバー
圏論による論理学―高階論理とトポス
単行本 清水 義夫
計算モデル論入門―チューリング機械からラムダ計算へ (Information Science & Engineering (F5))
単行本 井田 哲雄
オートマトン言語理論 計算論〈1〉 (Information & Computing)
単行本 J. ホップクロフト
プログラミングHaskell
単行本(ソフトカバー) Graham Hutton
Types and Programming Languages
ハードカバー Benjamin C. Pierce
情報科学における論理 (情報数学セミナー)
単行本 小野 寛晰
Amazonについて
採用情報
会社概要
プレスリリース
Amazonと地球
Amazonでビジネス
出品サービス
アソシエイト(アフィリエイト)
フルフィルメント by Amazon
›
すべてのサービスを見る
ヘルプ&ガイド
配送料と配送情報
Amazonプライム
商品の返品・交換
カスタマーサービスに連絡
すべての本ストアを見る
アメリカ
|
カナダ
|
イギリス
|
ドイツ
|
フランス
|
イタリア
|
スペイン
|
中国
Amazonファミリーサイト:
Book Depository
|
靴・バッグの通販サイト Javari
|
MYHABIT
|
Shopbop
利用規約
|
プライバシー規約
© 1996-2012, Amazon.com, Inc. or its affiliates