検索内容:
述語論理を学ぶ際、学生は証明に取り組む前に整形式を識別することを学ばなければならない。
大学院生は形式論理の講義で、適切に形成された式から帰結を導き出す練習をします。
上級学部生を教える際、私はしばしば積の有限和を連分数として表すオイラーの連分数公式を単純な例で示して、その仕組みを説明します。
合成関数のn階導関数を計算する際には、高次導関数に対するチェーンルールを一般化する公式が項を体系的に整理する方法を提供します。
研究者たちは、先行する桁をすべて計算することなくπの百万番目の16進の桁を取り出すために、πを計算する公式でスピゴットアルゴリズムを生み出すベイリー・ボルウェイン・プルーフの公式を実装した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★