「形式的記述」を解説文に含む見出し語の検索結果(1～10/26件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/28 01:04 UTC 版)「アルゴリズム」の記事における「形式的記述」の解説チューリングマシン#形式的な定義を参照...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/15 14:28 UTC 版)「論理的帰結」の記事における「様相的形式的記述」の解説論理的帰結の様相的形式的記述は様相...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/02/28 01:04 UTC 版)「アルゴリズム」の記事における「擬似形式的記述」の解説入力: 空でない数リスト L、出力...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2012/05/01 12:28 UTC 版)「クラフトの不等式」の記事における「定理の形式的記述」の解説を符号化関数とし、の文字数を...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/03/02 04:35 UTC 版)「ダネットの検定」の記事における「ダネットの検定の形式的記述」の解説ダネットの検定は、個...
ナビゲーションに移動検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（また...
ナビゲーションに移動検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（また...
ナビゲーションに移動検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（また...
ナビゲーションに移動検索に移動論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（また...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/11/14 16:23 UTC 版)「形式手法」の記事における「仕様記述」の解説形式手法は開発対象システムの任意のレベルの仕...
< 前の結果 | 次の結果 >