学んでみよう!記号論理

著者

• 高崎, 金久 タカサキ, カネヒサ

書誌事項

学んでみよう!記号論理

高崎金久著

日本評論社, 2014.8

タイトル別名

学んでみよう記号論理

タイトル読み

マナンデ ミヨウ キゴウ ロンリ

注記

著者「高崎金久」の「崎」は「山竒」の置き換え

参考文献: p189

内容説明・目次

目次

• 論理の記号化
• 命題論理の考え方
• 意味論的諸概念
• 論理式の標準形
• タブロー法
• 命題論理の演繹体系
• 命題論理の自然演繹
• 述語論理の考え方
• 述語論理の意味論
• 述語論理の演繹体系
• 完全性定理
• 付録　数学的予備知識

「BOOKデータベース」 より

• NII書誌ID(NCID): BB1644619X
• ISBN:
  • 9784535787605
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: vii, 212p
• 大きさ: 21cm
• 分類:
  • NDC8 : 410.96
  • NDC9 : 410.96
• 件名:
  • BSH : 記号論理学