論理と計算のしくみ 新装版 電子書籍版

• 

• 4510円（税込）

  初めての方

  最大70%OFFクーポン
  ※値引上限等条件あり

  詳細・獲得はこちら
  購入はこちら試し読み

  • 本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
    この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくはこちら。
  小説・文芸　社会・ノンフィクション

  作品内容

  論理と計算の概念は，いまでは計算機科学の基盤となっている．本書は，命題論理や述語論理，そして様相論理など形式論理の基礎を学んだあと，ゲーデル不完全性定理を通して「計算」の意味を理解する．さらに計算モデルの典型であるラムダ計算について学習し，論理と計算の関係だけでなく，両者をつなぐ「仕組み」を理解する．※この電子書籍は「固定レイアウト型」で作成されており，タブレットなど大きなディスプレイを備えた端末で読むことに適しています．また，文字だけを拡大すること，文字列のハイライト，検索，辞書の参照，引用などの機能は使用できません．

作者の関連作品作者の作品一覧