萩谷 昌己/著 -- 岩波書店 -- 2007.6 --

所蔵

所蔵は 1 件です。

所蔵館 所蔵場所 資料区分 請求記号 資料コード 所蔵状態 資料の利用
配架日 協力貸出 利用状況 返却予定日 資料取扱 予約数 付録注記 備考
中央 書庫 一般図書 /410.9/5044/2007 5013791304 Digital BookShelf
2007/08/08 可能 利用可   0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

    • 統合検索
      都内図書館の所蔵を
      横断検索します。
      類似資料 AI Shelf
      この資料に類似した資料を
      AIが紹介します。

資料詳細 閉じる

ISBN 4-00-006191-9
ISBN13桁 978-4-00-006191-9
タイトル 論理と計算のしくみ
タイトルカナ ロンリ ト ケイサン ノ シクミ
著者名 萩谷 昌己 /著, 西崎 真也 /著
著者名典拠番号

110000776560000 , 110005032320000

出版地 東京
出版者 岩波書店
出版者カナ イワナミ ショテン
出版年 2007.6
ページ数 14, 256p
大きさ 22cm
価格 ¥3400
内容紹介 命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。
受賞情報・賞の名称 大川出版賞
受賞情報・賞の回次(年次) 第17回
一般件名 数学基礎論
一般件名カナ スウガクキソロン
一般件名 数学基礎論
一般件名カナ スウガク キソロン
一般件名典拠番号

511035000000000

分類:都立NDC10版 410.9
資料情報1 『論理と計算のしくみ』 萩谷 昌己/著, 西崎 真也/著  岩波書店 2007.6(所蔵館:中央  請求記号:/410.9/5044/2007  資料コード:5013791304)
URL https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1107242977