書籍情報

記号論理学入門

広島市立大学助教授小松 寿(著)

  • ¥2,592
  • 208ページ
  • A5
  • 978-4-627-05000-6
  • 1997.02

書籍のカテゴリー

  • 数学

    代数学/数学基礎論

  • 数学

    情報数学

  • 情報工学・コンピュータ

    情報数学

ダウンロード

記号論理学は情報科学を学ぶ学生にとって基礎課目の一つです.本書は初学者向きに,命題論理,1階述語論理の公理論,モデル論のみを扱い,練習問題を多数用意して解説したテキストです.

導入
命題論理の意味論
述語論理の意味論
例題論理の公理論
述語論理の公理論
練習問題解答

理工学系専門書,理工学系入門書の検索

詳細検索 >>