{"product_id":"9784000061940","title":"論理と計算のしくみ（新装版）","description":"\u003cp\u003e論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「しくみ」を理解する。\u003c\/p\u003e","brand":"岩波書店","offers":[{"title":"Default Title","offer_id":48603734212843,"sku":"00000_00000_00000_00000","price":50.5,"currency_code":"SGD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0758\/4484\/5803\/files\/9784000061940-1.jpg?v=1781735833","url":"https:\/\/kinokuniya.com.sg\/zh\/products\/9784000061940","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}