4,510円 (税込)Amazon楽天Bookmark Iconブックマーク論理と計算のしくみ 新装版アルゴリズム, 機械学習, 量子コンピュータ, 統計書籍情報発売日:2026年02月13日著者/編集:萩谷 昌己/西崎 真也出版社:岩波書店発行形態:単行本書籍説明内容紹介論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。著者情報萩谷 昌己西崎 真也
類似書籍はじめての統計検定2級 テキスト&問題集もっとリアルなCGを作るためのBlende...じわじわわかる機械学習 データ分析・アルゴ...アナリストのためのChatGPTリサーチ・...初心者からちゃんとしたプロになる Pyth...導入と読解 チューリング「計算可能な数につ...コンピューターは割り算が苦手Kaggleではじめる大規模言語モデル入門...AWSではじめるMCP実践ガイドーー基礎か...センスの技術
関連イベント【無料】チューニングもモデリングも自動で完結!機械学習自動化(AutoML)超入門~自動化して分析の...2026/02/17(火) 開催【無料】実務に効くRの使い方を現場目線で解説!「Rデータ分析超入門」R言語で行う自動化・可視化・分析2026/02/18(水) 開催