資料詳細

検索条件

  • 著者
    西崎真也
ハイライト
  • 1 件中、 1 件目

論理と計算のしくみ 貸出可

萩谷 昌己／著 -- 岩波書店 -- 2007.6 -- 410.9

  • 総合評価
    5段階評価の0.0
    (0)
  • レビュー
    0

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
県立 書庫 /410/9/56 1106452374 一般 　 在架 iLisvirtual

ページの先頭へ

資料詳細

タイトル論理と計算のしくみ
タイトルカナロンリ ト ケイサン ノ シクミ
著者 萩谷 昌己 ／著, 西崎 真也 ／著  
著者カナハギヤ マサミ,ニシザキ シンヤ
出版地東京
出版者岩波書店
出版年2007.6
ページ数14,256p
大きさ22cm
内容紹介命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。
一般件名数学基礎論
NDC分類(8版) 410.9
ISBN13978-4-00-006191-9
本文の言語jpn
書誌番号1106418503

ページの先頭へ

レビュー一覧

レビューが登録されていません。

ページの先頭へ