検索結果書誌詳細

  • ※「状態」が在庫の資料は予約できません。 現在の予約数は 0 件です。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

論理と計算のしくみ 

著者名 萩谷 昌己/著
著者名ヨミ ハギヤ マサミ
出版者 岩波書店
出版年月 2026.2


この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

※この書誌は予約できません。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。


登録するリストログインメモ


資料情報

各蔵書資料に関する詳細情報です。

No. 資料番号 請求記号 資料種別 配架場所 帯出区分 状態 貸出
1 140869488410.9/ハロ/一般新着帯出可在庫 

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

2026
410.9 410.9

書誌詳細

この資料の書誌詳細情報です。

タイトルコード 1009921237981
書誌種別 図書
書名 論理と計算のしくみ 
書名ヨミ ロンリ ト ケイサン ノ シクミ
著者名 萩谷 昌己/著   西崎 真也/著
著者名ヨミ ハギヤ マサミ ニシザキ シンヤ
出版者 岩波書店
出版年月 2026.2
ページ数 14,256p
大きさ 21cm
ISBN 4-00-006194-0
ISBN 978-4-00-006194-0
分類記号9版 410.9
分類記号10版 410.9
内容紹介 計算機科学の基盤となっている「論理と計算」に関する基本概念について解説するとともに、両者の間のさまざまな関係を説明。命題論理と述語論理、ゲーデル不完全性定理、ラムダ計算などを取り上げる。章末問題も収録。
著者紹介 東京大学名誉教授。理学博士。専門は計算機科学。
件名1 数学基礎論



目次


内容細目

前のページへ

本文はここまでです。


ページの終わりです。