束縛変数 の検索結果 (106件 1〜 10 件を表示)

λ項の束縛変数

…こんにちは。 λxyz.xy(yz) の最後の(yz)は束縛変数でしょうか。 よろしくお願いします。…

解決

Excelのソルバーのアルゴリズムに関する質問

…Excelのソルバーのヘルプの機能のコピぺです。 Microsoft Excel のソルバー ツールでは、テキサス州オースティンのテキサス大学の Leon Lasdon 氏とクリーヴランド州立大学の Allan Waren 氏が開発...…

解決

定積分の等式を満たす関数について

…等式f(x)=2x^2-x+∫2~0f(t) dtを満たす関数f(x)を求めよ。 という問題ですがf(t)とは分かりやすくするためにtとおいているだけでf(x)と考えていいということなのでしょうか?…

解決

論理式

…(1)∃x ∀y[A(x) ∧ (B(y)→C(x,y))] (2)∀x ∀y[A(x) → (D(y)→¬C(x,y))] (3)∀x[B(x) →¬D(x)] (1)(2)を仮説として(3)の論理式を導出原理を用いて証明するにはどうしたら良いか。…

解決

(1変数実数値)関数 f(x) のx

…は何と言うのでしょうか? その答えを「?」で表したときに f(x)はxを「?」とする関数である という言い方は正しいのでしょうか?…

解決

この問2を教えてください

…この問2を教えてください…

締切

論理学の問題

…議論領域は正の整数の集合として P(x,y)は「xはyで割り切れる」とします。 そして以下の論理式に対して 真偽を論じたいと思います。 (場合分けして考えてもよいです) ∀x∃x(P(x,y)∧¬(x=y))...…

解決

変数xについて

…集合についてです。 一つ納得いかない事があります。 例えば A={1、2、3、…} という集合で、x=1のとき〜、x=2のとき〜、…としていくとき、このxは値を代入するにつれて動く数と考えられ...…

締切

制約つき非線形最適化

…次のような制約つき非線形最適化問題を数値的に解きたいと思っています。 minimize Σ(y_n-f(n,a))^2 subject to G(f(n,a))=0 具体的な関数形は必要なら補足します。 (1)ラグランジュ未定乗数法により...…

解決

関数の変数

…(問題) f(x)=3x+∫(0〜π) f(t) sintdtを求めよ。 fという関数(写像)に2つの文字を使っているのですが、この2つの文字はどう考えればよいのですか? 関数f()の()に入る、任意の要素としてxを当てる...…

解決

検索で見つからないときは質問してみよう!

Q質問する(無料)

おすすめ情報

Q&A検索履歴

カテゴリ