本文へスキップ
ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 多言語

検索内容:

well-formed formulae

名詞
活用形 複数形

plural of well-formed formula

原形: well-formed formula
日本語の意味
「整形式論理式」の複数形。つまり、形成規則に従って正しく構成された論理式(well-formed formula)の複数形を指す。
英語の意味
plural of well-formed formula
このボタンはなに?

述語論理を学ぶ際、学生は証明に取り組む前に整形式を識別することを学ばなければならない。

well-formed formula

名詞

(logic) A statement that is expressed in a valid, syntactically correct, manner.

日本語の意味
論理学において、構文的に正しく、定められた形式に従って組み立てられた命題または論理式
英語の意味
(logic) A statement that is expressed in a valid, syntactically correct, manner.
このボタンはなに?

命題論理では、文法的に正しい式は真理値の割り当てによって真または偽と評価されます。

関連語

plural

plural

Euler's continued fraction formula

固有名詞

(mathematics) A formula connecting a finite sum of products to a finite continued fraction: a_0+a_0a_1+a_0a_1a_2+⋯+a_0a_1a_2⋯a_n= cfrac a_0 1- cfrac a_1 1+a_1- cfrac a_2 1+a_2- cfrac ddotsddots cfrac a_n-1 1+a_n-1- cfrac a_n 1+a_n,.

日本語の意味
数学において、有限個の積の総和と有限連分数との関係を示す公式。すなわち、a₀+a₀a₁+a₀a₁a₂+⋯+a₀a₁a₂⋯aₙと、a₀の数値から始まる連分数表現の間に成り立つ関係を表す。
英語の意味
(mathematics) A formula connecting a finite sum of products to a finite continued fraction: a_0+a_0a_1+a_0a_1a_2+⋯+a_0a_1a_2⋯a_n= cfrac a_0 1- cfrac a_1 1+a_1- cfrac a_2 1+a_2- cfrac ddotsddots cfrac a_n-1 1+a_n-1- cfrac a_n 1+a_n,.
このボタンはなに?

上級学部生を教える際、私はしばしば積の有限和を連分数として表すオイラーの連分数公式を単純な例で示して、その仕組みを説明します。

Faà di Bruno's formula

固有名詞

(mathematics) An identity that generalizes the chain rule to higher derivatives.

日本語の意味
(数学) 合成関数の高次導関数を求める際に用いられる、チェーン・ルールの高次版を示す公式
英語の意味
(mathematics) An identity that generalizes the chain rule to higher derivatives.
このボタンはなに?

合成関数のn階導関数を計算する際には、高次導関数に対するチェーンルールを一般化する公式が項を体系的に整理する方法を提供します。

Bailey-Borwein-Plouffe formula

固有名詞

(mathematics) A formula for calculating pi, giving rise to a spigot algorithm for computing the nth base-16 digit without computing the preceding digits.

日本語の意味
数学: πを計算するための公式であり、先行する桁を計算せずに16進法でn番目の桁を求めるスピゴットアルゴリズムに応用できる公式。
英語の意味
(mathematics) A formula for calculating pi, giving rise to a spigot algorithm for computing the nth base-16 digit without computing the preceding digits.
このボタンはなに?

研究者たちは、先行する桁をすべて計算することなくπの百万番目の16進の桁を取り出すために、πを計算する公式でスピゴットアルゴリズムを生み出すベイリー・ボルウェイン・プルーフの公式を実装した。

関連語
Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★