Contents of Report

[Data of Report]

Report Number:
TR0552
Date of Registration:
1990.04
English Title:
***
Japanese Title:
帰納法を用いる定理証明システム
English Author:
Kanamori,Fujita
Japanese:
金森　直,藤田　博
Name of Organization to which author belongs:
Mitsubishi,Mitsubishi
PDF:
tr0552.pdf

[Contents]

目次.... 2
1はじめに.... 3
2Boyer-Moore 定理証明システム.... 6
2.1停止的なLispプログラム.... 6
2.2有礎帰納法としての数学的帰納法.... 8
2.3一般の有礎帰納法.... 9
2.4有礎帰納法図式の併合など.... 13
2.5有礎帰納法とともに使われる推論.... 16
3Argus 検証システム.... 22
3.1Prologプログラム.... 22
3.2計算帰納法としての数学的帰納法.... 23
3.3一般の計算帰納法.... 26
3.4計算帰納法図式の併合.... 29
3.5計算帰納法とともに使われる推論.... 35
4むすび.... 41
謝辞.... 42
参考文献.... 42
End.... 47

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports