検索結果

…B \to C+D</math>の[[振幅]]は、[[エネルギー]]と[[移行運動量]]のように2つの独立な[[変数 (数学)|変数]]の[[関数 (数学)|関数]]である。そこで[[スタンリー・マンデルスタム]]は、この2変数の関数としての散乱振幅の[[解析性]]を示す表示を提案した。これがマンデルスタ …

…て、特定の[[条件]]に順ずる[[物体]]の[[運動 (物理学)|運動]]について、その[[位置]]を表すのに'''なるべく少ない[[変数 (数学)|変数]]'''を用いて、簡単で直観的に扱うことができるように、'''[[角度]]'''や'''既知の任意の曲線上の[[距離]]'''で表される変数によって表 …

…identity}}）は、恒真な[[等式]]、すなわち等号 ([[等号|=]]) を含む[[数式]]であって、そこに現れるあらゆる[[変数 (数学)|変数]]がどのような値にあっても、常に等号で結ばれた左右二つの数式の "値" が等しいもののことを言う。変数の動く範囲は、文脈によって異なる。恒等式であるこ [[Category:同値 (数学)]] …

…数'''（めいだいかんすう、[[英語|英]]：Propositional function） とは、[[数理論理学]]において、各[[変数 (数学)|変数]]の変域と終集合とがそれぞれ「真な命題」と「偽な命題」のみから成る、[[集合]]に等しいような[[写像]]である。命題関数は[[真理関数]]でもある。 …という。命題関数をまた'''述語'''、'''性質'''、'''条件'''ともいう。''n'' 変数の命題関数をまた ''n'' 項'''[[関係 (数学)|関係]]'''ともいう。集合 ''D'' を'''[[議論領域]]'''といい、''D'' の各元を'''対象'''という。 …

…関数'''（しんりかんすう、[[英語|英]]：Truth function） とは、[[数理論理学]]において、[[真理値]]の各[[変数 (数学)|変数]]の変域と終集合とがそれぞれ『「真な命題」と「偽な命題」のみから成る[[集合]]』に等しいような[[写像]]である。真理関数は[[命題関数]]でもある …

…formula''}}）とは、ある[[関数 (数学)|関数]]や[[対応 (数学)|対応]]・[[写像]]について、2 つ以上の[[変数 (数学)|変数]]の和として記される変数における値を、それぞれの変数における値によって書き表したもの。 …

…+ 5y + 8z</math> （<math>x</math>, <math>y</math>, <math>z</math>は[[変数 (数学)|変数]]） …

{{math2|''a''{{sub|1}}, ''a''{{sub|2}}, …, ''a{{sub|n}}''}} を[[符号 (数学)|正の]][[実数]]とし、{{math2|1=''k'' = 1, 2, …, ''n''}} に対して[[平均]] {{mvar|S{{sub|k …

…いて、'''自由変数'''（または'''自由変項'''、{{lang-en-short|free variable}}）は[[数式]]や[[論理式 (数学)|論理式]]で置換が行われる場所を指示する記法である。この考え方は'''プレースホルダー'''や[[ワイルドカード (情報処理)|ワイルドカード]]に [[変数 (数学)|変数]]''x'' は、例えば次のように書くと '''束縛変数'''（または'''束縛変項'''、{{lang-en-short|bound variabl …

* <math>\phi</math>が論理式、<math>\alpha</math>が[[変数 (数学)|変数]]であるとき、<math>\forall\alpha\phi</math>、<math>\exists\alpha\phi</math>も論理式である …

'''係数'''（けいすう、''coefficient''）は、[[多項式]]の各項（[[単項式]]）を構成する因子において、ある[[変数 (数学)|変数]]（[[不定元]]）に着目した際の他の部分．3β+2においてβに着目した際、係数は3である。また2のように、それ自体で項全体となっている項（あるいは、 ;一次式の係数: [[環 (数学)|環]] ''A'' とその上の[[環上の加群|加群]] ''E'' が与えられたとき、''E'' の元を表す一次式 &sum; ''a''<sub> …

{{ウィキプロジェクトリンク|数学|[[画像:Nuvola apps edu mathematics blue-p.svg|34px|Project:数学]]}} {{ウィキポータルリンク|数学|[[画像:Nuvola apps edu mathematics-p.svg|34px|Portal:数学]]}} …

論理式の'''エルブラン化'''（{{lang-en-short|Herbrandization}}）とは、[[論理式 (数学)|論理式]]の[[スコーレム標準形|スコーレム化]]の[[双対#論理の双対|双対]]となる構成である。[[ジャック・エルブラン]]に因む。[[トアルフ …R(y,x) \wedge \neg\exists z S(x,z)]</math> を考えよう。（最初のステップで）置換される自由変数は存在しない。変数 <math>y,z</math> は第二ステップで考慮される種類の変数であるから、量化子 <math>\forall y</math> と <math …

として変換すると、変数 ''t'' に関するアレキサンダー多項式と等しくなる。このため、両者をまとめてアレキサンダー－コンウェイ多項式と呼ぶこともある。コンウェイ自身はスケイ …

…[正十七角形]]がコンパスと定規で作図できることを発見したと同時に証明されたことになる。これは任意の[[三角関数]]において、その[[変数 (数学)|変数]]としての[[角度|角]]が 2π/85 [[ラジアン|rad]]のとき、関数の値が[[有理数]]と[[平方根]]の組み合わせのみで表現できることを意 {{ウィキポータルリンク|数学}} …

** [[数学]]で、[[変数 (数学)|変数]]の前に付いて、その変数の（微小な）増分を表す。また[[差分法]]における差分作用素。 …

…ある。これらの法則は、[[平衡状態]]における理想気体の[[圧力]]、[[体積]]、[[絶対温度]]のうち任意の２変数が、その他の[[変数 (数学)|変数]]を[[定数]]として置いた場合、互いに[[比例]]あるいは[[反比例]]の関係にあることを示している。 ボイル＝シャルルの法則はこれらの[[変数 (数学)|変数]]の[[相互依存関係]]を[[簡潔]]に示している。一言でいえば、 …

…[正十七角形]]がコンパスと定規で作図できることを発見したと同時に証明されたことになる。これは任意の[[三角関数]]において、その[[変数 (数学)|変数]]としての[[角度|角]]が 2π/255 [[ラジアン|rad]]のとき、関数の値が[[有理数]]と[[平方根]]の組み合わせのみで表現できることを {{ウィキポータルリンク|数学}} …