コンピュータのための数学 : 論理的アプローチ
Author(s)
Bibliographic Information
コンピュータのための数学 : 論理的アプローチ
日本評論社, 2001.7
- Other Title
-
A logical approach to discrete mathematics
A logical approach to discrete math
- Title Transcription
-
コンピュータ ノ タメ ノ スウガク : ロンリテキ アプローチ
Available at / 144 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
その他の訳者: 小野寺民也, 桔梗宏孝, 志村立矢, 高橋真
監訳: 難波完爾, 土居範久
参考文献: p[372]-373
Description and Table of Contents
Table of Contents
- 数学の活用
- 字句代入，等号，代入
- ブール式
- 命題計算
- 証明形式の緩和
- 命題論理の応用
- ヒルベルトスタイルの証明系
- 形式論理
- 限量化
- 述語計算〔ほか〕
by "BOOK database"