述語論理・入門 : 基礎からプログラムの理論へ

著者

• 上江洲, 忠弘 ウエス, タダヒロ

書誌事項

述語論理・入門 : 基礎からプログラムの理論へ

上江洲忠弘著

遊星社 , 星雲社 (発売), 2007.4

タイトル別名

述語論理入門 : 基礎からプログラムの理論へ

タイトル読み

ジュツゴ ロンリ ニュウモン : キソ カラ プログラム ノ リロン エ

注記

引用文献: p[195]-196

内容説明・目次

目次

• １章　記号による命題の表現と証明の図形表現
• ２章　言語と形式的表現
• ３章　自然演繹の論理体系
• ４章　完全性定理
• ５章　推件計算
• ６章　証明図の中の式の書き替え
• ７章　標準形
• ８章　ゲンツェンのカット除去定理
• ９章　ロビンソンの体系と論理プログラム

「BOOKデータベース」 より

詳細情報

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