論理と計算のしくみ 新装版
購入済み
シリーズ
全1冊
作品情報
論理と計算の概念は，いまでは計算機科学の基盤となっている．本書は，命題論理や述語論理，そして様相論理など形式論理の基礎を学んだあと，ゲーデル不完全性定理を通して「計算」の意味を理解する．さらに計算モデルの典型であるラムダ計算について学習し，論理と計算の関係だけでなく，両者をつなぐ「仕組み」を理解する．※この電子書籍は「固定レイアウト型」で作成されており，タブレットなど大きなディスプレイを備えた端末で読むことに適しています．また，文字だけを拡大すること，文字列のハイライト，検索，辞書の参照，引用などの機能は使用できません．
- 著者
- 出版社 岩波書店
- ジャンル
- シリーズ 論理と計算のしくみ 新装版
- 電子版配信開始日 2026/03/26
- ファイルサイズ - MB
作品をシェアする
同じ作者の本
-
論理と計算のしくみ 新装版
￥4,510
購入済み
-
自然計算へのいざない
￥3,740
購入済み
-
SPINによる設計モデル検証
￥3,960
購入済み
岩波書店のおすすめ本
-
世界2026年1月号
￥1,045
購入済み
-
もうひとつの戦後８０年 「終わりと始まり」の１９９５年から考える
￥693
購入済み
-
科学2026年1月号
￥1,760
購入済み
-
ハーバーマス回想録 この世界が少しでも良くなるには……
￥3,300
購入済み
-
大学数学の羅針盤１ 微分積分
￥3,080
購入済み
-
日常生活の精神病理
￥1,584
購入済み
-
高校受験 １５歳の進路選択
￥1,595
購入済み
-
無常の時空 中世文学の思索と表現
￥11,000
購入済み
-
メデイア
￥627
購入済み
-
村山富市回顧録
￥1,562
購入済み
科学・テクノロジーのおすすめ本
-
基本の電子回路を組み合わせてメイド型お掃除ロボを作ってみた
￥2,750
購入済み
-
TRONWARE VOL.218 TRON & オープン技術情報マガジン
￥1,001
購入済み
-
マンガでわかる星座神話と秋の星座
￥2,970
購入済み
-
マンガでわかる星座神話と冬の星座
￥2,970
購入済み
-
マンガでわかる星座神話と春の星座
￥2,970
購入済み
-
マンガでわかる星座神話と夏の星座
￥2,970
購入済み
-
都市再開発事業と不動産鑑定士 協力と連携が再開発事業を成功に導く
￥2,200
購入済み
-
こども宇宙 未知なる宇宙のことがわかる本
￥1,485
購入済み
-
絶滅しない環境学
￥1,760
購入済み
-
秒・メートル・キログラムの大研究
￥3,199
購入済み