ベストアンサー

数理論理学の問題です

2011/08/12 08:47

次の問題がわかりません。次のラムダ項をもとめよ [(λx.xy)/x](λy.x(λx.x)) [(λx.xz)/y](y(λz.zy)) できれば手順ものせていただけるとありがたいです。よろしくお願いします。

hgam
お礼率30% (21/68)

数学・算数
回答数1
ありがとう数0

みんなの回答 （1）
専門家の回答

質問者が選んだベストアンサー

ベストアンサー

osn3673
ベストアンサー率57% (11/19)

2011/08/12 09:21 回答No.1

授業と Wikipedia 「ラムダ計算」（下記URL）の説明はどちらの方が詳しいのでしょうか．授業の方が詳しいのであれば自分で考えましょう．

参考URL：: http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97

関連するQ&A

行列式の問題が・・・

つぎの問題の解き方を教えてください｜1+x^2 　　 xy 　　xz | ｜ yx 　　1+y^2 　　yz | ｜ zx 　　 zy 　　 1+z^2 |
行列式の等式の証明

｜1+x^2　　xy　　　　　xz　｜｜ yz　　　1+y^2　　　 yz　｜　=　1+x^2+y^2+z^2 ｜ zx　　　 zy　　　　1+z^2｜を証明せよ。という問題です。｜　１　　　x　　　　y　　　　　　z　｜｜　０　　1+x^2　　xy　　　　　xz　｜｜　０　　yz　　　1+y^2　　　 yz　｜　｜　０　　zx　　　 zy　　　　1+z^2｜から導け、と解答には書いてあるのですが、どのように導けばいいのでしょうか？ご回答よろしくお願いします。
因数分解してください

x2乗-xy+xz-zy-4x+5y+z-5 これを因数分解してください
電気磁気学の∇(ナブラ)の問題です。

次の問題を教えてください。一度問題をやったのですが答えがあっているか見てください。 ○スカラー場Φ＝ｘｚ＾２+ｅ＾(ｙ/ｘ)，ψ＝２ｙｚ＾２ーｘｙ＾２が与えられているとする。 (ａ)∇Φを求めよ (ｂ)∇ψを求めよ　　です。。。これらは、 ∇Ａ＝(∂Ａ/∂ｘ，∂Ａ/∂ｙ，∂Ａ/∂Ｚ)を計算した結果、 ∇Φ＝(ｚ＾２　－(ｙｅ＾(ｙ/ｘ))，ｅ＾(ｙ/ｘ)/ｘ，２ｘｚ) ∇ψ＝(－ｙ＾２，(２ｚ＾２)－２ｘｙ，４ｙｚ)になりました。どうでしょうか。
高校数学...。展開

(2ｘ+y－z)(2ｘ－3y－z) ={(2ｘ－z)+y} {(2ｘ－z)－3y} ... 2ｘ－z=A =(A+y)(A－3y) =(2ｘ－z)²－2(2ｘ－z)y－3y² =4ｘ²－4ｘz+z²－4ｘy+2yz－3y³ =4ｘ²－3y²+z²－4ｘy+2yz－4zｘと答えは最終的になるのですが...。 2yzや－4zｘの文字の順番は適当でも構わないのでしょうか? 2zyや－4ｘzでは駄目でしょうか?
因数分解の問題

x^3+3x^2y+zx^2+2xy^2+3xyz+2zy^2　という問題で、zについて整理すると、 (x^2+3xy+2y^2)z+x(x^2+3xy+2y^2)となるところまではわかったのですが、そこからどうしたら(x^2+3xy+2y^2)(z+x)になって、その後の答えになっていくのかがどうしてもわかりません。数学は一番の苦手分野なので、せめて基礎は抑えておきたいので、よろしければわかりやすい解説をお願いします…！
数学Iの展開についての質問です。

(x-y+z)^2の問題を私が展開すると、 =(x-y)^2+2(x-y)z+z^2 =(x^2-2xy+y^2)+(2xz-2yz)+z^2 =x^2+y^2+z^2-2xy+2xz-2yz になります。しかし、答えには x^2+y^2+z^2-2xy-2yz+2zx と書いてあります。次数に数字を入れて計算すれば答えは双方とも一緒になるのですが、なぜ答えと違う順序になるのか知りたいのです。 x^3＞x^2＞xという順序になるのは分かるのですが、ほかの問題も何問か同じように累乗のない項の順序がバラバラになることがありました。どなたか詳しく教えていただけないでしょうか！！よろしくお願いします。
数学の問題

次の問題を解いてください。答えがないので解説も知りたいです。解いたのですが合ってるのかわかんないので… (1){x-‪(2‪√‬x+10)²‬}²=9x (2)(x+‪√‬½x)²=4x (3)(x+7)‪√‬3x=10x (4)0<x<y<zが x²+y²=z², xy=10, xz=y² を満たす時のx⁴の値特に(4)は答えの中にzが残ってしまったので、詳しく知りたいです。お願いします
陰関数の問題

xy+2sin(yz)=1から定まるx,yの陰関数z=g(x,y),y≠y(x)についてzx,zyについて求める問題がわかりません。やり方も含めご教授よろしくお願いします。
線形代数について

次の問いに答えよ。 (1)次の２次形式の符号を求めよ。 f(x,y,z,w) = x^2+4y^2+4z^2-w^2+2xy-2xz+2yz+2xw+4yz+4yw g(x,y,z,w) = xz+xw+yz+yw (2)h(x,y,z)=x^2+z^2+6xy+4xz+6yzとおく。　（x y z）がx^2+y^2+z^2=1を満たすとき、h(x,y,z)の最大値、最小値、及びそれらを与える(x y z)をそれぞれ求めよ。この問題の解答をよろしくお願いします。
2次偏導関数の問題

Z=xy^2/(x^2+2y)の２次導関数を解いたのですが、 Zx={y^2(2y-x^2)}/(x^2+2y)^2 Zy={2xy(x^2+2y-y^2)}/(x^2+2y)^2 となりました。ここからZyyを求めると答えがおかしくなってしまいました。どなたか教えてください。
大学入試問題です。

0＜x≦y≦z≦1のとき、 xz-yz-xy+2y^2≠0 であることを証明せよ。もとの問題はこれとは違うのですが、最終的にここで行き詰まっています。よろしくお願いします。
数理論理学について

導出原理を使い，次の論理式が恒真であることを示せ． ∀xR(x,f(x)) ∧ ∀x∀y(R(x,y)⊃R(y,x)) ⊃ ∀x∃yR(f(x),y) なお，この論理式をスコーレム標準形にすると，次の論理式が得られる． ∃w∃x∃y∃z ( ￢R(w,f(w)) ∨ (R(x,y)∧￢R(y,x)) ∨ R(f(c),z) ) この答え分かりますか？
２次関数の問題がわかりません

「(x-1)/2=(y-2)/3=z+1を満足するx,y,zについてx＾2+y＾2+z＾2の最小値，およびそのときのx,y,zの値を求めよ．」という問題がわかりません解） (x-1)/2=z+1より x-1=2z+2 x=2z+3 xz=z(2z+3) (y-2)/3=z+1より y-2=3z+3 y=3z+5 yz=z(3z+5) またxy=6x＾2+19x+15 x＾2+y＾2+z＾2=(x+y+z)＾2-2xy-2yz-2zx =(6z+8)＾2-2(xy+yz+zx) =6＾2(z+4/3)＾2-2(6x＾2+19x+15+3z＾2+5z+2z＾2+3z) =6＾2(z+4/3)＾2-2(11z＾2+27z+15) このグラフの頂点は（-4/3,-2(11z＾2+27z+15)）かと思いました．この場合の最小値は0<36より-2(11z＾2+27z+15)であり，これにz=-4/3を代入すればいいのかと思いました．しかし，答えにはx=0,y=1/2,z=-3/2,最小値=5/2とありました．どこがどう間違っているのですか？
中三問題　式の展開。

中三の問題で式の展開を習いましたが、よく分からない所があるので質問させて下さい。（”は二乗と考えてください。）（a₊b₊c）"＝a"₊ab₊ac₊ba₊b"₊bc₊ca₊cb₊c" =a"₊b"₊c"₊2ab₊2bc₊2ca・・・・・・・答という風に教科書に書いています。答えの最後の2caは2acでは、ないのでしょうか？アルファベット順にならないのですか？また、（x₊2y₋3z）”=x"₊2xy₋3xz₊2xy₊4y"₋6yz₋3xz₋6yz₊9z" ＝x"₊4y"₊9z"₊4xy₋12yz₋6xz・・・・・・・答この場合、最後の₋12yz₋6xzは₋6xz12yzにならないのでしょうか？理由はxの方が先だからなのですが・・・・僕が理解できていないだけなのですが、高校に上がる前に何とか分かるようになりたいです。よろしくお願いします。
数学の問題です。

実数ｘ、ｙ、ｚは次の関係式を満たす。　ｘ＋ｙ＋ｚ＝（1/ｘ）＋（1/ｙ）＋（1/ｚ）＝ｘｙ＋ｙｚ＋ｚｘ問題Ａ　　ｘ、ｙ、ｚのうち少なくとも１つは１に等しいことを示しなさい。問題Ｂ　　ｘ＞0、ｙ＞0、Ｚ＞0の範囲で、ｘｙ＋2ｚの最小値を求めなさい。
「第２次偏導関数」の問題です。

「第２次偏導関数」の問題です。 (1) z=e^(x^2+y^2) (2) z=sinxy (3) z=log(√x^2+y^2) 合ってるかどうか確かめてください。お願いします。 (1)Zx=2xe^(x^2+y^2) Zy=2ye^(x^2+y^2) Zxx=2e^(x^2+y^2)(2x+1) Zxy=Zyx=4xye^(x^2+y^2) Zyy=2e^(x^2+y^2)(2y+1) (2)Zx=ycosxy Zy=xcosxy Zxx=-y^2sinxy Zxy=Zyx=cosxy-xysinxy Zyy=-x^2sinxy (3)Zx=x/(x^2+y^2) Zy=y/(x^2+y^2) Zxx=-{(x^2-y^2)/(x^2+y^2)^2} Zxy=Zyx=-{2xy/(x^2+y^2)^2} Zyy=(x^2-y^2)/(x^2+y^2)^2
　偏微分の問題です。

　偏微分の問題です。 (問題) Z＝Xf(Y/X)の時、「Z - X・Zx - Y・Zｙ」　を求めよ。私が、与式＝Y(Zx - Zy）と答えたのですが、間違いとの事でした。
因数分解(高校・応用問題)

この因数分解の問題が解ける方いますか? 高校の問題集の中の問題です。 (1)ｘ二乗＋６ｙ＋３ｘｙ－４ (2)ｘ二乗＋２ｘｙ＋９ｚ二乗－６ｘｚ－６ｙｚ見にくい文章でしたらすみません。
数学の問題でわからない問題があります(汗)

数学の問題でわからない問題があります。よければ教えてください。連立方程式 x+y-z=1 x^2+y^2-z^2=9 x^3+y^3-z^3=25 について、次の問いに答えよ。 (1)xyをzで表せ。 (2)x、y、zを求めよ。です。よろしくお願いします。

数理論理学の問題です

質問者が選んだベストアンサー

関連するQ&A

行列式の問題が・・・

行列式の等式の証明

因数分解してください

電気磁気学の∇(ナブラ)の問題です。

高校数学...。展開

因数分解の問題

数学Iの展開についての質問です。

数学の問題

陰関数の問題

線形代数について

2次偏導関数の問題

大学入試問題です。

数理論理学について

２次関数の問題がわかりません

中三問題　式の展開。

数学の問題です。

「第２次偏導関数」の問題です。

偏微分の問題です。

因数分解(高校・応用問題)

数学の問題でわからない問題があります(汗)

注目のQ&A

カテゴリ
一覧

専門家に質問してみよう
専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

数理論理学の問題です

質問者が選んだベストアンサー

関連するQ&A

行列式の問題が・・・

行列式の等式の証明

因数分解してください

電気磁気学の∇(ナブラ)の問題です。

高校数学...。展開

因数分解の問題

数学Iの展開についての質問です。

数学の問題

陰関数の問題

線形代数について

2次偏導関数の問題

大学入試問題です。

数理論理学について

２次関数の問題がわかりません

中三問題 式の展開。

数学の問題です。

「第２次偏導関数」の問題です。

偏微分の問題です。

因数分解(高校・応用問題)

数学の問題でわからない問題があります(汗)

注目のQ&A

カテゴリ 一覧

専門家に質問してみよう 専門家登録

あなたにピッタリな商品が見つかる！ OKWAVE セレクト

中三問題　式の展開。

　偏微分の問題です。

カテゴリ
一覧

専門家に質問してみよう
専門家登録