中古品
¥5,861
& 配送料無料
中古商品: 良い | 詳細
コンディション: 中古商品: 良い
コメント: 軽い使用感程度できれいな状態です。迅速・丁寧心がけます。 421823
この商品は1-Click注文できません。
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。

著者をフォローする

何か問題が発生しました。後で再度リクエストしてください。


論理と計算のしくみ (日本語) 単行本 – 2007/6/27

5つ星のうち3.6 3個の評価

その他 の形式およびエディションを表示する 他の形式およびエディションを非表示にする
価格
新品 中古品
単行本
¥5,861
¥5,499
無料配送: 3月1日 - 2日 詳細を見る

この商品には新版があります:


click to open popover

Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • iOSアプリのダウンロードはこちらをクリック
    Apple
  • Androidアプリのダウンロードはこちらをクリック
    Android
  • Amazonアプリストアへはこちらをクリック
    Android

無料アプリを入手するには、Eメールアドレスを入力してください。

kcpAppSendButton

商品の説明

内容(「BOOK」データベースより)

論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるλ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。

著者略歴 (「BOOK著者紹介情報」より)

萩谷/昌己
1957年生まれ。1980年東京大学理学部情報科学科卒。東京大学大学院情報理工学研究科教授。理学博士。専門は、計算機科学

西崎/真也
1967年生まれ。1994年京都大学大学院理学研究科博士課程修了。東京工業大学大学院情報理工学研究科准教授。理学博士。専門は、計算機科学(本データはこの書籍が刊行された当時に掲載されていたものです)

登録情報

  • 出版社 : 岩波書店 (2007/6/27)
  • 発売日 : 2007/6/27
  • 言語 : 日本語
  • 単行本 : 256ページ
  • ISBN-10 : 4000061917
  • ISBN-13 : 978-4000061919
  • カスタマーレビュー:
    5つ星のうち3.6 3個の評価

カスタマーレビュー

5つ星のうち3.6
星5つ中の3.6
3 件のグローバル評価
星5つ 0% (0%) 0%
星4つ
57%
星3つ
43%
星2つ 0% (0%) 0%
星1つ 0% (0%) 0%
評価はどのように計算されますか?

この商品をレビュー

他のお客様にも意見を伝えましょう

上位レビュー、対象国: 日本

2013年8月19日に日本でレビュー済み
18人のお客様がこれが役に立ったと考えています
違反を報告
2014年12月21日に日本でレビュー済み
Amazonで購入
4人のお客様がこれが役に立ったと考えています
違反を報告