束縛変数

の検索結果 (107件 1〜 20 件を表示)

λ項の束縛変数

…こんにちは。 λ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を当てる...…

解決

全称記号と存在記号について

…(∃a ∈ G)(∀b ∈ G) と (∀a ∈ G)(∃b ∈ G) の違いがよく分かりません。 混乱してしまいます。 左から解釈していけばよいのでしょうか?…

締切

y=ax^2のグラフ

…いつもお世話になっています。 数学で質問です。 yの変域をそれぞれ求めよ。 (1)y=(1/2)x^2 -3≦x≦-1 私は、0≦y≦9/2としました。 けれど違いました。 (2)y=-x^2 2≦x≦5 私は-25≦y≦0としまし...…

解決

高校数学 lim(n→∞)x/n=0

…xが全実数のとき lim(n→∞)x/n=0 が成立することを説明してください。 数学の問題の解説中で証明なく使われていたのですが、いまいち理解できません。 xが全実数ならば、例えばx=nとすれ...…

解決

ある表現が命題かどうかを示すには?

…次の表現 a.月は地球の衛星である。 b.今日は天気がいい。 c.任意のxについてx+y=2である。 が命題かどうかを示し、命題であれば、その真理値を示せという問題があるのですが、 まず、こ...…

締切

置換公理の読み方がわかりません

…置換公理を理解しようとしています。 置換公理とは下記のような真理関数の事だと思います。 『∀x,∀y,∀z;(A(x,y)∧A(x,z)→(y=z)) → ∀a,∃b;[∀y,(y∈b ←→ ∃x∈a;A(x,y))]』 「→」は推論では...…

解決

高校数学、関数(写像)の定義

…lim(x→0)(cosx-cosx^2)/(x-x^2) 解答で、f(x)=cosxとすると、f(x)は全ての実数で微分可能で、f‘(x)=-sinx x>0のとき、x→+0のとき、0<x<1としてよく、平均値の定理より、(f(x)-f(x^2))/(x-x^2)=-sincとあり...…

解決

集合と論理

…A,B⊆R において 次の命題を論理記号を用いてあらわせ、という問題です Aには,任意の実数に対してそれより大きな要素があり、Bには任意の実数に対してそれより小さな要素がある。…

解決

積分定数Cのが無い状態で成り立つ等式にてです。

…∫{f(x) g(x) }'dx=f(x) g(x)+C(Cはある定数)は成り立ちますが、なんで画像のように積分定数:C無しで ∫{f(x) g(x) }'dx=f(x) g(x) が成り立っているんですか?…

解決

整数環 0×∞ 再び

…以下において、数はすべて整数とします。 整数環の規則に従って計算する時、 問題1:この式は正しいですか? 1 + Σ[k=1,∞]1 = ∞ Σ[k=1,∞]1 + 1 = ∞ □私の考え Σ[k=1,∞]1 = 1 + 1 + 1 + ... ...…

解決

ブルバキ 等号を持つ述語論理について

…ブルバキ数学原論 集合論1 をお持ちの方に質問です。 P55、演習§5、7)Tにおいてシェーマ(R⇔S) ⇒(τz(R)=τz(S))(R、Sは関係式、zは文字)が非明示的公理を与えていれば、x=yがTの定理となること...…

解決

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

Q質問する(無料)

おすすめ情報

Q&A検索履歴