記号論理学入門
著者
書誌事項
記号論理学入門
森北出版, 1997.2
- タイトル読み
-
キゴウ ロンリガク ニュウモン
大学図書館所蔵 件 / 全143件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
参考文献: p186-187
索引: p190-195
内容説明・目次
内容説明
本書は、著者が広島市立大学で行った記号論理学の入門コースの講義原稿をまとめたものである。内容は、初級クラスに必要最低限の、命題論理及び1階述語論理の公理論、モデル理論のみを扱い、初学者に記号論理学とはどういうものかに関するおおよその概念を得させるために、これに導入を付した。自習される読者の便宜を考えて、本文中の練習問題の約半数には巻末に解答を付してある。
目次
- 1 導入
- 2 命題論理の意味論
- 3 述語論理の意味論
- 4 命題論理の公理論
- 5 述語論理の公理論
「BOOKデータベース」 より