資料詳細

  • 1 件中、 1 件目

コンピュータのための数学 利用可

Ｄ．グリース／著 -- 日本評論社 -- 2001.7 -- 007.1

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007.1/ｸﾘｽ/一般Ｈ 114806351 一般 利用可

ページの先頭へ

資料詳細

タイトル コンピュータのための数学
書名ヨミ コンピュータ　ノ　タメノ　スウガク
副書名 論理的アプローチ
著者名 Ｄ．グリース ／著, Ｆ．Ｂ．シュナイダー ／著, 難波完爾 ／監訳, 土居範久 ／監訳, 飯島正 ／〔ほか〕訳  
著者ヨミ グリース，デーヴィド , シュナイダー，フレッド・Ｂ． , ナンバ，カンジ , ドイ，ノリヒサ , イイジマ，タダシ  
出版者 日本評論社  
出版年 2001.7
ページ数等 ３８１ｐ
大きさ ２６ｃｍ
内容細目 文献あり　索引あり
原書名 Ａ　ｌｏｇｉｃａｌ　ａｐｐｒｏａｃｈ　ｔｏ　ｄｉｓｃｒｅｔｅ　ｍａｔｈ．／の翻訳
一般件名 情報数学  
ISBN 4-535-78301-2
問合わせ番号（書誌番号） 1100890254
NDC8版 007.1
NDC9版 007.1

ページの先頭へ

内容一覧

タイトル 著者名 ページ
数学の活用
字句代入，等号，代入
ブール式
命題計算
証明形式の緩和
命題論理の応用
ヒルベルトスタイルの証明系
形式論理
限量化
述語計算〔ほか〕

ページの先頭へ