4,510円 (税込)Amazon楽天Bookmark Iconブックマーク論理と計算のしくみ 新装版アルゴリズム, 機械学習, 量子コンピュータ, 統計書籍情報発売日:2026年02月13日著者/編集:萩谷 昌己/西崎 真也出版社:岩波書店発行形態:単行本書籍説明内容紹介論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。著者情報萩谷 昌己西崎 真也
類似書籍導入と読解 チューリング「計算可能な数につ...コンピューターは割り算が苦手Kaggleではじめる大規模言語モデル入門...センスの技術Microsoft認定資格試験テキスト A...Excelで学ぶデータ分析本格入門 改訂第...Excelで学ぶ統計解析本格入門 改訂第2...戦略的AI活用による要求工学知識体系の実践...分散アルゴリズムの基礎モデル オブ ザ マインド〜脳を読み解く。...
関連イベント【機械学習エンジニア特集】 データ活用の最前線と機械学習エンジニアの役割2026/01/28(水) 開催【無料】「機械学習って結局何ができる?」今さら聞けないMLの基本と実践的な使い方をまとめて1時間で整...2026/01/25(日) 開催