「Logic Programming」を解説文に含む見出し語の検索結果(171～180/428件中)
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...
.mw-parser-output .pathnavbox{clear:both;border:1px outset #eef;padding:0.3em 0.6em;margin:0 0 0.5em...
構成的証明（こうせいてきしょうめい、英: constructive proof）とは、数学的命題の証明において、命題の真を示すだけでなく、その証明から対象の構成法、計算手続き、または証明対象を...
構成的証明（こうせいてきしょうめい、英: constructive proof）とは、数学的命題の証明において、命題の真を示すだけでなく、その証明から対象の構成法、計算手続き、または証明対象を...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
.mw-parser-output .hatnote{margin:0.5em 0;padding:3px 2em;background-color:transparent;border-bottom...
クリーネ代数（クリーネだいすう、英: Kleene algebra）は、冪等半環に反復を表す単項演算 ∗ {\displaystyle {}^{*}} を付加した代数的構造であり...
クリーネ代数（クリーネだいすう、英: Kleene algebra）は、冪等半環に反復を表す単項演算 ∗ {\displaystyle {}^{*}} を付加した代数的構造であり...
単一の指数関数（青い曲線）と比較した二重指数関数（赤い曲線）。二重指数関数（にじゅうしすうかんすう、英: double exponential function）とは、指数関数の肩に指数関数を...