数学的帰納法的日文

发音:

日文翻译
造句

数学归纳法

数学（1）数学. （2）算数.
的【熟語】端的【成語】有的放矢,一语破的
帰納きのう2 0 帰納【名】【他サ】归纳
法（1）法律.法令. 合法／合法的である. 婚姻 hūnyīn 法／婚姻...
帰納法きのうほう归纳法。
完全帰納法かんぜんきのうほう完全归纳法。
超限帰納法ちょうげんきのうほう〈数〉超限归纳法。
数学的構造数学结构
数学的モデルすうがくてきmodel数学模型。
数学的論理学符号逻辑
数学的直観主義数学直觉主义
自然哲学の数学的諸原理自然哲学的数学原理
自然哲学的数学原理自然哲学の数学的諸原理
量子力学の数学的基礎量子力学的数学表述
量子力学的数学表述量子力学の数学的基礎
学的学术，科学上
帰納的関数递归函数
帰納的集合递归集合
帰納言語递归语言
博学的ご存知
哲学的てつがくてき 0 哲学的【形動】哲学(的);哲学上
文学的ぶんがくてき 0 文学的【形動】文学(的)
星学的ウラン
科学的科学
道学的どうがくてき 0 道学的【形動】道学式(的);满口仁义道德(的);迂腐(的)

例句与用法

（証明の概略）正例の記号列の数｜ＳＰ｜に関する数学的帰納法によって証明する．
（证明的概要）关于正例的符号串的数量｜ＳＰ｜通过数学归纳法证明。
証明１ノードの高さに関する数学的帰納法により証明する．
证明１用关于节点的高度的数学归纳法来证明。
（証明の概略）規則集合Ｐ１の大きさ｜Ｐ１｜に関する数学的帰納法によって証明する．
（证明的概要）对规则集合Ｐ１的大小｜Ｐ１｜使用数学归纳法进行证明。
任意のｉについてＡＫｂの結論がＫｂからの論理的帰結であることを，議論の長さｉについての数学的帰納法で示す．
对于任意的ｉ，用关于讨论长度ｉ的数学归纳法来表示ＡＫｂ的结论是从Ｋｂ中得出的逻辑推论。
数学的帰納法により一般に，図形Ｇの任意個数の内点の凸結合で表される任意の点は，図形Ｇ∞の内点であることが示される．
由数学归纳法可以显示一般以图形Ｇ的任意个数内点的凸结合表示的任意点是图形Ｇ∞的内点。
《証明》任意のｉについて命題４の＠ｅｑｕａｔｉｏｎ＿０＠が無衝突であることをＦの反復回数ｉについての数学的帰納法で示す．
《证明》用关于Ｆ循环次数ｉ的数学归纳法来表示对于任意的ｉ，命题４的＠ｅｑｕａｔｉｏｎ＿０＠是无冲突的。
以下，すべての奇数のｉについて，Ａｒｇを根に持ち高さがｉの正当化された対話木が存在するとき＠ｅｑｕａｔｉｏｎ＿０＠であることを，ｉについての数学的帰納法を用いて示す．
以下，对所有的奇数ｉ，用关于ｉ的数学归纳法来说明存在根为Ａｒｇ且高度为ｉ的合理化后的对话树时＠ｅｑｕａｔｉｏｎ＿０＠。
このときすべてのｉ（＠ｅｑｕａｔｉｏｎ＿０＠）に対し，＠ｅｑｕａｔｉｏｎ＿１＠であればＡｒｇを根にもち高さが＠ｅｑｕａｔｉｏｎ＿２＠以下の正当化された対話木Ｔｉが存在することを，Ｆの反復回数ｉについての数学的帰納法で証明する．
这时对所有的ｉ（＠ｅｑｕａｔｉｏｎ＿０＠），如果是＠ｅｑｕａｔｉｏｎ＿１＠的话，用关于Ｆ循环次数ｉ的数学归纳法来证明存在底部为Ａｒｇ高度在＠ｅｑｕａｔｉｏｎ＿２＠之下的合理化的对话树Ｔｉ。
このアプローチは先に述べた完備性については問題がないが，数学的帰納法やフレーム問題に対するｃｉｒｃｕｍｓｃｒｉｐｔｉｏｎなど，離散的なａｃｔｉｏｎｔｈｅｏｒｙの良い性質がそのままでは殆ど成立しない可能性があることから，あまり研究されていない．
这种研究方法在之前论述的完备性方面没有问题，但是因为存在对数学归纳法和框架问题的ｃｉｒｃｕｍｓｃｒｉｐｔｉｏｎ等、离散的ａｃｔｉｏｎｔｈｅｏｒｙ的良好性质几乎不会照原样成立的这种可能性，所以没有被研究。
すなわち定数Ｔ，ｇおよびＨｏｌｄｓ，ｄｏはそのまま用いる．＠ｅｑｕａｔｉｏｎ＿０＠その結果得られた上記ｎの式及びＮＳＣｎの公理（ＳＳＣを持ち上げたもの及び超実数の計算規則）を＊Ｌとする．ＮＳＣに於いてもアクションａｎの繰り返しに対する数学的帰納法を用いることができるので（移行原理），以下のように解くことができる．
也就是说照原样使用常量Ｔ，ｇ和Ｈｏｌｄ，ｄｏ。将＠ｅｑｕａｔｉｏｎ＿０＠结果得到的上述ｎ的式子和ＮＳＣｎ的公理（提出ＳＳＣ的东西和超实数的计算规则）定为＊Ｌ。在ＮＳＣ里，因为可以使用针对行动ａｎ的反复的数学归纳法（转移原理），所以可以解决如下。