アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界

田代博司 著

[目次]

  • 第1章 論理学についての序章的考察
  • 第2章 論理学と推論のアルゴリズム
  • 第3章 命題論理学と推論のアルゴリズム:真理表作成法
  • 第4章 命題論理学:自然演繹法
  • 第5章 述語論理学と推論のアルゴリズム
  • 第6章 人間と論理

「BOOKデータベース」より

この本の情報

書名 アルゴリズムの論理学 : ロゴスの形式化理論の展開と限界
著作者等 田代 博司
書名ヨミ アルゴリズム ノ ロンリガク
出版元 北樹
刊行年月 1995.4
ページ数 252p
大きさ 22cm
ISBN 4893844679
NCID BN12602935
※クリックでCiNii Booksを表示
全国書誌番号
96023816
※クリックで国立国会図書館サーチを表示
言語 日本語
出版国 日本
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想