論理式と算術式の混じった公式
- 論理式と算術式が混じった公式についての質問です。具体的な例として、x + y = (x xor y) + 2(x & y)やabs(x - y) <= (x xor y)が挙げられます。このような式を扱う数学の分野はありますか？群論や体論で説明できる範囲の公式なので、それらの分野についての入門書を教えていただきたいです。
- 質問は、論理式と算術式が混じった公式についてです。具体的な例として、x + y = (x xor y) + 2(x & y)やabs(x - y) <= (x xor y)が挙げられます。このような式を扱う数学の分野や、それに関連する入門書を教えていただきたいです。
- 論理式と算術式が混じった公式についての質問です。例として、x + y = (x xor y) + 2(x & y)やabs(x - y) <= (x xor y)が挙げられます。このような式を扱う数学の分野があるのであれば、その分野に関連する入門書を紹介していただきたいです。
- ベストアンサー
論理式と算術式の混じった公式
ハッカーのたのしみ、と言う本を読んでいるのですが、例えば、 x + y = (x xor y) + 2(x & y) (x, yは32bit整数) や、 abs(x - y) <= (x xor y) (x、yは符号無し32bit整数) と言うように論理式と算術式の混じった公式が多数出ています。このような式を扱う数学の分野って、あるんでしょうか？ 群論や体論で説明できる範囲の公式なんでしょうか？ (なぜこんな質問をするのかと言うと、今読んでいる「ハッカーのたのしみ」では証明がほとんど省かれているため、入門書のような物があれば読んでみたいのです。群論や体論の範囲でOKなら、それらの入門書を読もうと思っています。) はるか昔、群論をかじった経験はありますがきれいさっぱり失念しています(涙)。そんな私にどなたかアドバイスを下さると幸いですm(_ _)m。
- 11th_style
- お礼率72% (69/95)
- 数学・算数
- 回答数1
- ありがとう数0
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
群論や体論についてご存じのようですので、「束論」についても一度は目を通しておかれることを、お薦めします。コンピューター関連でいえば、「束論」といっても「ブール束」になります。独断もあるかもしれませんが、群論や体論よりは易しい分野だと思います。是非挑戦してみて下さい。
関連するQ&A
- 算術型変換について
c言語で算術型変換がどのように行われているかの質問です。 例えばintが16bitでlongが32bitの環境であるとします。 そして以下のようなプログラムがあるとします。 unsigned long x = 100; signed int y = 1; unsigned int z = 5; long test = x + (y - z); 1、 このときまずy-zについて算術型変換が起きてyとzがunsigned intとなり、 y-z=65532となる。 そしてx/(y-z)について算術型変換が起き、xと(y-z)がunsigned longとり、 x+(y-z)=65632となるのでしょうか？ ２、 もしくはx+(y-z)のすべてに算術型変換を起こしてから計算を行うのでしょうか？ y-zの結果の型をunsigned longとして計算し、y-z=4294967292になるのでしょうか？ 文章がうまくまとめられていないのですが、どちらになるのでしょうか？
- ベストアンサー
- C・C++・C#
- 論理式の解き方
論理式 ______________ (x+y)・(x+z) ―は否定 ・は論理積 ＋は論理和 を[等価な論理式]にするとどうなりますか？ _ x は x の否定。
- ベストアンサー
- その他([技術者向] コンピューター)
- 算術幾何平均の展開式
はじめまして。楕円関数論に興味を持って勉強しております。 ガウスが発見した算術幾何平均の展開式、 \frac{1}{M(1+x,1-x)} = 1 + frac{1}{2}^2 x^2 + frac{3}{8}^2 x^4 + ... の導出法をご存知の方教えてください。または、載っている本を教えて下さい。 よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 論理式について
変数の範囲を自然数とし，p(x,y)を「xはyの約数」とする．このとき，次の論理式のそれぞれについて，その意味と真偽の組み合わせで最も適切なものを選択肢から選びなさい． ∀x∃y p(x,y) ∀y∃x p(x,y) ∃x∀y p(x,y) ∃y∀x p(x,y) 【選択肢】 (1)任意の自然数を割り切る数がある． 真 (2)任意の自然数を割り切る数がある． 偽 (3)すべての自然数には少なくとも1つの倍数がある． 真 (4)すべての自然数には少なくとも1つの倍数がある． 偽 (5)任意の自然数には約数が存在する． 真 (6)任意の自然数には約数が存在する． 偽 (7)すべての自然数で割り切られる数がある． 真 (8)すべての自然数で割り切られる数がある． 偽 自分でやってみて、上から順に(8)(3)(5)(1)となったのですが、どうでしょうか？
- 締切済み
- 数学・算数
- 論理学の問題
議論領域は正の整数の集合として P(x,y)は「xはyで割り切れる」とします。 そして以下の論理式に対して 真偽を論じたいと思います。 （場合分けして考えてもよいです） ∀x∃x(P(x,y)∧￢(x=y))…(1) の数学の用語で表した場合と真偽を考えます。 (1)の論理式は「ある数xはあらゆる数yで割り切れる。ただしxとyは同値でない」と解釈して 数学の用語で表すと x=py（p∈Ｚ＋(正の整数)）でx≠yつまりp≠1となる p∈Ｚ＋（p≠1）よりx＞yでなけらばならない よってあらゆる数yで割り切れることができない よってこの論理式は偽となる これでよいでしょうか？ 数学が苦手なので教えてください。 また、 ∀x∀y∃z(P(z,x)∧P(z,y)) はどのようにとけばよいでしょうか？
- ベストアンサー
- 数学・算数
- 解の公式の数字の当てはめについて。
解の公式の数字の当てはめについて、分からないことがあります。 例題 X^2-100X-2400=0 この式を解の公式で解く場合、二つの式がありますよね。 式の表記に関しては、ウィキペディアに則っています。 (1) X={-b±√(b^2-4ac)}/(2a) a=1、b=-100、c=-2400 (2) X=【-b´±√｛(b´)^2-ac｝】/(a) a=1、b´=-50、c=-2400 ここから、本題に入ります。 まず、前提知識として、-2^2=-4 (-2)^2=4 (-2)^3=8 のルールがありますよね。 (2)式のルートの中のb´は、（）^2なので、-50を代入すると、 （-50）^2なので符号は＋になると思います。 では、(1)の式のルートの中のbには-100を代入すると、 -100^2で（）は無いのだから、符号は-100になるのではないか？という疑問です。 ここで混乱しています。 ここの符号を間違うと、解も変わってしまします。 この疑問について教えてください、よろしくお願いします。
- ベストアンサー
- 数学・算数
- 2次関数の最大と最小の公式の使い方
2次関数の最大と最小の公式の使い方 今、次の2次関数の最大値または最小値を求めなさい という問題を解いているのですが y=x^2+2X+3 この問題を解いたのですがこの場合 a>0 のとき x=-b/2a という公式を使うじゃないですか なので、-1+3でじゃないですか でも y=-x^2+4x-3 この場合は符号が違うので解けないのでしょうか？ どう計算しても、-1になってしまいます どうやったら硬式を使って1にできるのでしょうか？
- ベストアンサー
- 数学・算数
- 公式による乗法がわかりません＞＜
公式による乗法で (X/3－y/3)二乗という問題でこの途中式が (X/2)二乗－2×(X/2)×(y/3)＋(y/3)二乗となるんですが なぜですか？？？？？ どこをどうやってかけてこうしたら・・・・のように教えていただけたらうれしいです＞＜
- ベストアンサー
- 数学・算数
- ５次式に関するなんらかの因数分解の公式はあるのでしょうか
３次式に関して、次のような因数分解があり、例えば、３次方程式の解法に使われます。(ウィキペディアを参照しました) x^3 + y^3 + z^3 - 3 x y z = (x + y + z) (x^2 + y^2 + z^2 - z x - x y - y z) = (x + y + z)(x + ω y + ω^2 z)(x + ω^2 y + ω z) ４次式に関して、次のような因数分解があり、例えば、４次方程式の解法に使われます。 x^4 - 2 (a^2 + b^2 + c^2) x^2 + 8 a b c x + a^4 + b^4 + c^4 - 2 (a^2 b^2 + b^2 c^2 + c^2 a^2) = (x + a + b + c) (x + a - b - c) (x - a + b - c) (x - a - b + c) この延長に５次式に関するなんらかの「美しい」「価値のある」因数分解の公式はあるのでしょうか？ ５次方程式には代数的解法が存在しないですが、それとは特に無関係のような気もしますが。
- ベストアンサー
- 数学・算数
- 不等式 ｙ≦-2ｘ＾2+5ｘ+3 を考える
受験用に演習問題を解いているのですが、(4)が答えを見ても納得できません。-が大きければ大きいほど、小さい数になると思ってたんですが・・・ 解説をどうかよろしくお願いします！！ （１）は解の公式で解きました。 （２）は0,1,2,3 の４個ですか？ でも、ｘ＝0のとき、ｙ＝0にならないんですが・・・ （３）は（２）の４つを不等式にいれて、一番ｙが大きい組み合わせを選びました。 （４）は条件の-2≦ｘ≦4の、（-2）と（4）を不等式に入れて、ｙを出しました。すると、（-9）と（-15）が出ました。最も大きいものなので、（-9）だと思いましたが、正解は（-15）でした。。。(>_<) でも、（３）で、ｘ＝1のときｙ＝6とでているので、最も大きいものは「6」じゃないのか？という疑問も・・・。 問題： 不等式 ｙ≦-2ｘ＾2+5ｘ+3 を考える。 （１）この不等式を満たす二つの整数の組（ｘ，ｙ）を考える。 ｙ＝0のとき、この不等式を満たす実数ｘの範囲は -1/2≦ｘ≦3 である。 （２）したがって、この不等式を満たす二つの整数の組（ｘ，ｙ）の中で、ｙ＝０のものは ４個ある。 （３）また、この不等式を満たす２つの整数の組（ｘ，ｙ）の中で、ｙが最も大きくなる組は （1，6） である。 （４）-2≦ｘ≦4を満たすすべての実数ｘに対してこの不等式が成り立つような実数ｙを考える。 このようなｙの中で最も大きいものは -15 である。
- ベストアンサー
- 数学・算数
