「Propositional function」を解説文に含む見出し語の検索結果(11～20/22件中)
原始再帰関数（げんしさいきかんすう、英: Primitive Recursive Function）とは、原始再帰と合成で定義される関数であり、再帰関数（計算可能関数）の部分集合である。原始帰...
原始再帰関数（げんしさいきかんすう、英: Primitive Recursive Function）とは、原始再帰と合成で定義される関数であり、再帰関数（計算可能関数）の部分集合である。原始帰...
原始再帰関数（げんしさいきかんすう、英: Primitive Recursive Function）とは、原始再帰と合成で定義される関数であり、再帰関数（計算可能関数）の部分集合である。原始帰...
二分決定図（にぶんけっていず、英: Binary Decision Diagram, BDD）や二分決定グラフ（にぶんけっていグラフ）とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図（にぶんけっていず、英: Binary Decision Diagram, BDD）や二分決定グラフ（にぶんけっていグラフ）とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図（にぶんけっていず、英: Binary Decision Diagram, BDD）や二分決定グラフ（にぶんけっていグラフ）とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図（にぶんけっていず、英: Binary Decision Diagram, BDD）や二分決定グラフ（にぶんけっていグラフ）とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図（にぶんけっていず、英: Binary Decision Diagram, BDD）や二分決定グラフ（にぶんけっていグラフ）とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図（にぶんけっていず、英: Binary Decision Diagram, BDD）や二分決定グラフ（にぶんけっていグラフ）とは、ブール関数を表現するのに使われる有向非巡回グラフであ...
二分決定図（にぶんけっていず、英: Binary Decision Diagram, BDD）や二分決定グラフ（にぶんけっていグラフ）とは、ブール関数を表現するのに使われる有向非巡回グラフであ...