論理的アプローチ --
D.グリース /著, F.B.シュナイダー /著, 難波完爾 /監訳, 土居範久 /監訳, 飯島正 /〔ほか〕訳,   ,     -- 日本評論社 -- 2001.07 -- 26cm -- 381p

資料詳細

タイトル コンピュータのための数学
副書名 論理的アプローチ
著者名等 D.グリース /著, F.B.シュナイダー /著, 難波完爾 /監訳, 土居範久 /監訳, 飯島正 /〔ほか〕訳,   ,    
出版 日本評論社 2001.07
大きさ等 26cm 381p
分類 007.1
件名 情報数学
注記 A logical approach to discrete math.
内容 文献あり 索引あり
目次 数学の活用;字句代入,等号,代入;ブール式;命題計算;証明形式の緩和;命題論理の応用;ヒルベルトスタイルの証明系;形式論理;限量化;述語計算〔ほか〕
ISBN(13)、ISBN    4-535-78301-2
書誌番号 1101044156

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.1/362 一般書 利用可 - 2025358310 iLisvirtual