数理論理学
著者
書誌事項
数理論理学
共立出版, 2001.8
復刊
- タイトル別名
-
復刊数理論理学
- タイトル読み
-
スウリ ロンリガク
大学図書館所蔵 件 / 全154件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「共立講座現代の数学第1巻・数理論理学」 (増補版, 1971年刊) の復刊
参考書: p[191]-192
内容説明・目次
内容説明
数学基礎論の強力な手段であると共に、電子回路などへの工学的応用、さらには近年の機械学習理論への適用においても、その重要性が認識されている数理論理学の最も基本的な内容が非常に要領よくまとめられた書。
目次
- 第1章 命題論理
- 第2章 述語論理
- 第3章 直観主義論理
- 第4章 述語計算LK
- 第5章 自然数論
- 第6章 様相論理
- 第7章 束論と論理
「BOOKデータベース」 より