検索結果書誌詳細

  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約かごに入れるページに移動します。

蔵書情報

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

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

書誌情報(基本)

書名

論理と計算のしくみ   

著者名 萩谷昌己/著   西崎真也/著
著者名ヨミ ハギヤ マサミ ニシザキ,シンヤ
出版者 岩波書店
出版年月 2007.6


この資料に対する操作

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

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

  

この資料に対する操作

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


マイブックリストに記録ログインするとマイブックリストを利用できます。


資料情報

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

No. 種別 資料番号 所蔵館 請求記号 取扱区分 状態 配架場所 特記 貸出
1 一般書1018289437金森図書館410.9/ハ/ 在架 一般開架 

関連資料

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

2007
410.9

書誌情報(詳細)

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

タイトルコード 1000001188376
種別 図書
著者名 萩谷昌己/著   西崎真也/著
著者名ヨミ ハギヤ マサミ ニシザキ,シンヤ
出版者 岩波書店
出版年月 2007.6
ページ数 256p
大きさ 22cm
ISBN 4-00-006191-7
分類記号 410.9
書名 論理と計算のしくみ   
書名ヨミ ロンリ ト ケイサン ノ シクミ
内容紹介 命題論理・述語論理など形式論理の基礎を学んだ後、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算をつなぐ「仕組み」を理解する。
著者紹介 【萩谷】1957年生まれ。80年東京大学理学部卒。現在、東京大学大学院情報理工学研究科教授。専門は計算機科学。
件名1 数学基礎論



内容細目

もどる

本文はここまでです。


ページの終わりです。