「形式的定義」を解説文に含む見出し語の検索結果(1~10/239件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2010/08/09 21:14 UTC 版)「ミーリ・マシン」の記事における「形式的定義」の解説ミーリ・マシンは (S, Σ, Λ,...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/11/22 07:55 UTC 版)「領域理論」の記事における「形式的定義のための手引き」の解説この節では、領域理論の核心と...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/12/26 02:14 UTC 版)「組合せ最適化」の記事における「非形式的定義」の解説組合せ最適化は、最適化問題の中でも最...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/07/26 03:10 UTC 版)「外積代数」の記事における「形式的定義と代数的な性質」の解説ベクトル空間 V 上の外積代...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/08/21 01:53 UTC 版)「リクレル数」の記事における「プロセスの形式的定義」の解説n を自然数とするとき、b進数...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/24 16:03 UTC 版)「証明 (数学)」の記事における「証明の形式的定義」の解説数学における命題の証明において...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/08/10 01:42 UTC 版)「集団的知性」の記事における「数学的技法」の解説特に人工知能方面で「集団的知能指数」(あ...
ミーリ・マシン(Mealy Machine)は出力が現在状態と入力によって決定される有限オートマトンである。つまり、状態遷移図で描くと遷移エッジには出力信号が付記される。例えば、入力 '0' を受けて...
ミーリ・マシン(Mealy Machine)は出力が現在状態と入力によって決定される有限オートマトンである。つまり、状態遷移図で描くと遷移エッジには出力信号が付記される。例えば、入力 '0' を受けて...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/07 16:37 UTC 版)「チャールズ・サンダース・パース」の記事における「数学における発見」の解説パースは基礎数...
< 前の結果 | 次の結果 >