資料詳細

【図書】論理と計算のしくみ

萩谷　昌己　著 -- 岩波書店 -- ２００７．６ -- 410.9

所蔵

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

資料コード	請求記号	所蔵館	所蔵場所	資料区分	状態
105337737	/410.9/16/	県立図書館	書庫２層	和書	在

状態の表記について
   在：「所蔵場所」にあります。
   貸出中：館外へ貸出中です。

   館内閲覧：館内でご利用ください。館外貸出はできません。
   図書館用：館内でご利用ください。図書館（団体）向けに貸し出す資料です。

タイトル	論理と計算のしくみ
著者	萩谷　昌己　著 , 西崎　真也　著
出版者	東京　岩波書店
出版年	２００７．６
ページ数	２５６ｐ
大きさ	２２ｃｍ
一般件名	数学基礎論
NDC分類	410.9
内容紹介	命題論理や述語論理、様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。計算機科学の基礎概念がわかるテキスト。
ISBN	4-00-006191-9
ISBN13桁	978-4-00-006191-9
定価	￥３４００
本体価格	￥３４００