書誌情報

ヘルプ
< 前へ [ 1 / 1 ]   次へ >
資料の種別 図書 資料情報のコピー
タイトル コンピュータのための数学(コンピュータ ノ タメノ スウガク)
副書名 論理的アプローチ(ロンリテキ アプローチ)
著者名等 D.グリース∥著(グリース,デーヴィド)
F.B.シュナイダー∥著(シュナイダー,フレッド・B.)
難波完爾∥監訳(ナンバ,カンジ)
土居範久∥監訳(ドイ,ノリヒサ)
飯島正∥[ほか]訳(イイジマ,タダシ)
統一著者名 グリース,デーヴィド
シュナイダー,フレッド・B.
難波完爾
土居範久
飯島正(工学)
出版者 日本評論社
出版年 2001年
ページと大きさ 381p/26cm
一般注記 A logical approach to discrete math.の翻訳
文献あり 索引あり
件名 情報数学
分類 NDC8 版:007.1
目次 数学の活用
字句代入,等号,代入
ブール式
命題計算
証明形式の緩和
命題論理の応用
ヒルベルトスタイルの証明系
形式論理
限量化
述語計算[ほか]
ISBN 4-535-78301-2
価格 4700円
タイトルコード 1482237
マーク№ 012696500

貸出情報

所蔵数 館内でのみ利用可能な資料 貸出可能な資料 貸出中の資料 予約数
所蔵数
0 冊
館内でのみ利用可能な資料
0 冊
貸出可能な資料
0 冊
貸出中の資料
0 冊
予約数
0 件
< 前へ [ 1 / 1 ]   次へ >
書誌、所蔵ページの表示は以上です。