TECH PLAY

論理と計算のしくみ 新装版

4,510円 (税込)

Amazon楽天
Bookmark Iconブックマーク

論理と計算のしくみ 新装版

書籍情報

発売日：

著者／編集：萩谷 昌己/西崎 真也

出版社：岩波書店

発行形態：単行本

書籍説明

内容紹介

論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。

著者情報

萩谷 昌己

西崎 真也

類似書籍

生成AIが変える世界を紐解く INFRA MECHANISM

生成AIが変える世界を紐解く INFRA ...

Rで学ぶプログラミングの基礎の基礎改訂版

Rで学ぶプログラミングの基礎の基礎改訂版

ゼロから学ぶ Power BI 実践に役立つデータドリブン分析入門

ゼロから学ぶ Power BI 実践に役立...

『［令和8年度］基本情報技術者 超効率の教科書＋よく出る問題集』『かんたん合格 基本情報技術者過去問題集 令和8年度』2冊セット

『［令和8年度］基本情報技術者 超効率の教...

［令和8年度］ITパスポート&基本情報技術者 超効率の教科書＋よく出る問題集 2冊セット

［令和8年度］ITパスポート&基本情報技術...

はじめての統計検定2級 テキスト＆問題集

はじめての統計検定2級 テキスト＆問題集

もっとリアルなCGを作るためのBlenderステップアップ入門

もっとリアルなCGを作るためのBlende...

じわじわわかる機械学習　データ分析・アルゴリズムのなかみ

じわじわわかる機械学習　データ分析・アルゴ...

アナリストのためのChatGPTリサーチ・レポート術 Deep Researchで調査分析力・報告書作成力アップ！

アナリストのためのChatGPTリサーチ・...

初心者からちゃんとしたプロになる　Python基礎入門　改訂2版

初心者からちゃんとしたプロになる　Pyth...