ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 英語

検索内容:

well-formed formulae

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

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

well-formed formulas

名詞
活用形 複数形
日本語の意味
「well-formed formula」の複数形として用いられる語。
このボタンはなに?

大学院生は形式論理の講義で、適切に形成された式から帰結を導き出す練習をします。

Euler's continued fraction formula

固有名詞
日本語の意味
数学において、有限個の積の総和と有限連分数との関係を示す公式。すなわち、a₀+a₀a₁+a₀a₁a₂+⋯+a₀a₁a₂⋯aₙと、a₀の数値から始まる連分数表現の間に成り立つ関係を表す。
このボタンはなに?

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

Faà di Bruno's formula

固有名詞
日本語の意味
(数学) 合成関数の高次導関数を求める際に用いられる、チェーン・ルールの高次版を示す公式
このボタンはなに?

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

Bailey-Borwein-Plouffe formula

固有名詞
日本語の意味
数学: πを計算するための公式であり、先行する桁を計算せずに16進法でn番目の桁を求めるスピゴットアルゴリズムに応用できる公式。
このボタンはなに?

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

関連語
Webで検索する

英語 - 英語

項目
項目(1182733)
項目を追加する
例文
例文 (1463611)
例文を追加する
その他
編集者 (32)
編集ガイドライン
クレジット

ログイン / 新規登録

 

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

DiQt(ディクト)

無料

★★★★★★★★★★