13/03/08 23:19:22.22
>>846
> プログラム意味論 (情報数学講座)
> 横内 寛文
おいおいおい、これは定理の自動証明と全く関係ないぞ。
プログラミング言語の表示的意味論の数学（Scott Domain の理論）の本だろが。
それのどこが定理の自動証明と関係してるんだよ。
>>844
定理の自動証明を勉強したいなら英語の教科書を読むことだ。
もはや完全な古典となった（でも読む価値あり） Chang & Lee
（この本はかつては翻訳が出ていたが既に絶版で古書は大変高値）から始まり
色んなレベルの教科書や専門書が出ている。
Automated Theorem Proving とか Automated Deduction といったタイトルの本は
そのテーマの本。あとは君が「定理の自動証明」のどういうことを勉強したいかで
何を読むべきかが決まる。