諏訪地域公共図書館

⇒「ログイン」
トップページ > 検索・予約 > 詳細検索 > 検索結果一覧 > 資料詳細

資料詳細

資料情報

タイトル
論理と計算のしくみ
タイトルヨミ
ﾛﾝﾘ/ﾄ/ｹｲｻﾝ/ﾉ/ｼｸﾐ
著者
萩谷／昌己‖著
著者ヨミ
ﾊｷﾞﾔ,ﾏｻﾐ
著者標目(著者紹介)
東京大学名誉教授。理学博士。専門は計算機科学。
著者
西崎／真也‖著
著者ヨミ
ﾆｼｻﾞｷ,ｼﾝﾔ
著者標目(著者紹介)
東京科学大学情報基盤センター教授。博士（理学）。専門は計算機科学。
出版者
岩波書店
出版者ヨミ
ｲﾜﾅﾐ/ｼｮﾃﾝ
本体価格
\4100
内容紹介
計算機科学の基盤となっている「論理と計算」に関する基本概念について解説するとともに、両者の間のさまざまな関係を説明。命題論理と述語論理、ゲーデル不完全性定理、ラムダ計算などを取り上げる。章末問題も収録。
ＩＳＢＮ(10桁)
978-4-00-006194-0
出版年月,頒布年月等
2026.2
ページ数等
14,256p
大きさ
21cm
NDC9版
410.9
ＮＤＣ10版
410.9

所蔵情報

32844139
所蔵館
風樹文庫
請求記号
410 2026
資料区分
一般書
禁帯区分
資料状態
予約数
0件
注意点
  • 画面上では貸出可能でも所在不明・汚損・破損等で貸出できない場合があります。
  • ホームページから予約するには図書館で利用登録及びパスワード・メールアドレス登録をする必要があります。
  • 雑誌の最新号は、次号受入までは貸出できませんのでご注意ください。
  • 岡谷各分室と茅野市民館・茅野各分室および信州風樹文庫の資料は予約できません。
  • 富士見町図書館のみが所蔵する漫画は、受取館は富士見町図書館のみとなります。他の館での受取を希望される場合は窓口で直接予約してください。
  • 視聴覚資料は予約できません。
予約
  • この資料は予約できません。
「予約カート」を見る
「予約状況一覧」を見る
[一覧表示に戻る]
[戻る]
[このページの先頭へ]