記号論理学入門
- ¥2,520
- 208ページ
- A5
- 978-4-627-05000-6
- 1997.02
書籍のカテゴリー
- 情報工学
情報工学一般
- 数学
数学一般
ダウンロード
記号論理学は情報科学を学ぶ学生にとって基礎課目の一つです．本書は初学者向きに，命題論理，1階述語論理の公理論，モデル論のみを扱い，練習問題を多数用意して解説したテキストです．
導入
命題論理の意味論
述語論理の意味論
例題論理の公理論
述語論理の公理論
練習問題解答
