世界大百科事典(旧版)内の終端定理の言及
【形式言語】より
…一般に形式システムでは,推論規則によって公理から定理が導出されるという。導出される定理のうち,どの規則も適用できないものを終端定理と呼ぶ。なお,この例のシステムが生成する終端定理には意味上不適切なものがあるが,その検討は意味論にゆだねられる。…
※「終端定理」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
…一般に形式システムでは,推論規則によって公理から定理が導出されるという。導出される定理のうち,どの規則も適用できないものを終端定理と呼ぶ。なお,この例のシステムが生成する終端定理には意味上不適切なものがあるが,その検討は意味論にゆだねられる。…
※「終端定理」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新