論理と計算のしくみ 新装版 [単行本]
ショッピングカートに入れる

    • 論理と計算のしくみ 新装版 [単行本]

    • ￥4,510136 ゴールドポイント（3％還元）
    • ただいま予約受付中！発売日以降のお届け日本全国配達料金無料
論理と計算のしくみ 新装版 [単行本]
100000009004209188

論理と計算のしくみ 新装版 [単行本]

萩谷 昌己(著・文・その他)、西崎 真也(著・文・その他)


ゴールドポイントカード・プラスのクレジット決済で「書籍」を購入すると合計12％ゴールドポイント還元！【合計12％還元】書籍の購入はゴールドポイントカード・プラスのクレジット決済がお得です。
通常3％ゴールドポイント還元のところ、後日付与されるクレジット決済ポイント（1％）と特典ポイント（6％）、さらにご利用明細WEBチェックにご登録いただくと2％追加して合計12％ゴールドポイント還元！詳しくはこちら

価格：￥4,510（税込）
ゴールドポイント：136 ゴールドポイント（3％還元）（￥136相当）
お届け日：ただいま予約受付中！発売日以降のお届け
日本全国配達料金無料
出版社：岩波書店
販売開始日： 2026/02/13
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

論理と計算のしくみ 新装版 [単行本] の 商品概要

  • 出版社からのコメント

    命題論理・述語論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理や計算モデルの典型であるラムダ計算について学習する

  • 内容紹介

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

論理と計算のしくみ 新装版 [単行本] の商品スペック

商品仕様
出版社名：岩波書店
著者名：萩谷 昌己（著・文・その他）／西崎 真也（著・文・その他）
発行年月日：2026/02/13
ISBN-13：9784000061940
判型：A5
対象：専門
発行形態：単行本
内容：電子通信
言語：日本語
ページ数：272ページ
他の岩波書店の書籍を探す

    岩波書店 論理と計算のしくみ 新装版 [単行本] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！