コンピュータのための数学 : 論理的アプローチ
著者
書誌事項
コンピュータのための数学 : 論理的アプローチ
日本評論社, 2001.7
- タイトル別名
-
A logical approach to discrete mathematics
A logical approach to discrete math
- タイトル読み
-
コンピュータ ノ タメ ノ スウガク : ロンリテキ アプローチ
大学図書館所蔵 全144件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
その他の訳者: 小野寺民也, 桔梗宏孝, 志村立矢, 高橋真
監訳: 難波完爾, 土居範久
参考文献: p[372]-373
内容説明・目次
目次
- 数学の活用
- 字句代入,等号,代入
- ブール式
- 命題計算
- 証明形式の緩和
- 命題論理の応用
- ヒルベルトスタイルの証明系
- 形式論理
- 限量化
- 述語計算〔ほか〕
「BOOKデータベース」 より