コンピュータによる定理の証明 (1983年) (コンピュータ・サイエンス研究書シリーズ〈27〉)

  • 日本コンピュータ協会
5.00
  • (1)
  • (0)
  • (0)
  • (0)
  • (0)
本棚登録 : 3
レビュー : 1
  • Amazon.co.jp ・本 (346ページ)

感想・レビュー・書評

並び替え
表示形式
表示件数
  • P9で、解釈を何故導入しようとしているのかがわかりませんでした。
    何のためにそうしているのか、何をしたいのかの説明がありません。
    P13で、リテラルは原子式か原子式の否定であると定義している。
    なぜ、リテラルという概念が必要かの説明がありません。
    P54で、表現では、項、項の集合、原子式、原子式の集合、リテラル、節、節の集合を総称するという。基礎表現(ground expression)で、リテラルだけが、リテラルの集合という概念がない。なぜなんだろう。どうしてなんだろう。

全1件中 1 - 1件を表示

著者プロフィール

公益財団法人国際高等研究所 京都大学元総長

「2017年 『〝もう一つの文明〟を構想する人々と語る日本の未来 自然と共に生きる豊かな社会』 で使われていた紹介文から引用しています。」

長尾真の作品

コンピュータによる定理の証明 (1983年) (コンピュータ・サイエンス研究書シリーズ〈27〉)を本棚に登録しているひと

新しい本棚登録 0
新しい本棚登録 1
新しい本棚登録 0
新しい本棚登録 1
新しい本棚登録 1
ツイートする