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

5.00
  • (1)
  • (0)
  • (0)
  • (0)
  • (0)
本棚登録 : 3
レビュー : 1
kaizenさん 論理・演算   読み終わった 

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

レビュー投稿日
2011年12月12日
読了日
2008年3月12日
本棚登録日
2011年12月12日
0
ツイートする
このエントリーをはてなブックマークに追加

『コンピュータによる定理の証明 (1983...』のレビューをもっとみる

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

まだコメントはありません。

コメントをする場合は、ログインしてください。
ツイートする