コンピュータのための数学 : 論理的アプローチ
著者
書誌事項
コンピュータのための数学 : 論理的アプローチ
日本評論社, 2001.7
- タイトル別名
-
A logical approach to discrete mathematics
A logical approach to discrete math
- タイトル読み
-
コンピュータ ノ タメ ノ スウガク : ロンリテキ アプローチ
大学図書館所蔵 件 / 全143件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
その他の訳者: 小野寺民也, 桔梗宏孝, 志村立矢, 高橋真
監訳: 難波完爾, 土居範久
参考文献: p[372]-373
内容説明・目次
目次
- 数学の活用
- 字句代入,等号,代入
- ブール式
- 命題計算
- 証明形式の緩和
- 命題論理の応用
- ヒルベルトスタイルの証明系
- 形式論理
- 限量化
- 述語計算〔ほか〕
「BOOKデータベース」 より