この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
この画像を表示

著者をフォローする

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


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

5つ星のうち 3.5 2件のカスタマーレビュー

その他(2)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
単行本
¥ 5,257

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


ブックマイレージカード
click to open popover

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

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

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

kcpAppSendButton

商品の説明

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

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

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

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

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


登録情報

  • 単行本: 256ページ
  • 出版社: 岩波書店 (2007/6/27)
  • 言語: 日本語
  • ISBN-10: 4000061917
  • ISBN-13: 978-4000061919
  • 発売日: 2007/6/27
  • 梱包サイズ: 21.2 x 14.6 x 2.8 cm
  • おすすめ度: 5つ星のうち 3.5 2件のカスタマーレビュー
  • Amazon 売れ筋ランキング: 本 - 709,679位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る


2件のカスタマーレビュー

5つ星のうち3.5

この商品をレビュー

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

2件中1 - 2件目のレビューを表示

2013年8月19日
形式: 単行本
12人のお客様がこれが役に立ったと考えています
コメント 違反を報告
2014年12月21日
形式: 単行本Amazonで購入
3人のお客様がこれが役に立ったと考えています
コメント 違反を報告