帰納する oor Portugees

帰納する

Vertalings in die woordeboek Japannees - Portugees

concluir

werkwoord
Open Multilingual Wordnet

induzir

werkwoord
Open Multilingual Wordnet

Geskatte vertalings

Vertoon algoritmies gegenereerde vertalings

Soortgelyke frases

帰納
raciocínio indutivo
数学的帰納法
indução matemática
帰納的可算言語
Linguagem recursivamente enumerável
超限帰納法
indução transfinita
帰納極限
Limite (teoria das categorias)
帰納法の問題
Problema da indução
構造的帰納法
Indução estrutural

voorbeelde

Advanced filtering
Voorbeelde moet herlaai word.
「決定可能部分集合」や「帰納的可算部分集合」は古典数学と古典論理の基本である。
O forro prateadoLASER-wikipedia2 LASER-wikipedia2
S 上の帰納法は通常の数学的帰納法であり、S 上の再帰は原始再帰を与える。
Gritar e implorarLASER-wikipedia2 LASER-wikipedia2
典型的な経験主義者の答えは帰納法です。
Vamos lá.É dinheiro apenasted2019 ted2019
1943年と1952年、スティーヴン・コール・クリーネは同様の概念を帰納的関数を用いて定義した。
Podes tirar o som das teclas, se vais enviar mensagens?LASER-wikipedia2 LASER-wikipedia2
IDSのための異常検知は通常しきい値と統計を用いて達成されるが、ソフトコンピューティング、および帰納的学習を用いても行うことができる。
O que você disse?LASER-wikipedia2 LASER-wikipedia2
こういった手法の何れにおいても技術的な近道となる方法はなく、しばしば本来帰納的でとりわけレヴィ分解(英語版)に基づいているが、その分野は昔も今も非常に多くのことが要求される。
É máquina demais para mim.Eu agradeçoLASER-wikipedia2 LASER-wikipedia2
帰納的方法とは観察と実験から 帰納的方法とは観察と実験から 自然に関する一般法則 つまり自然律を導きます これは新たな証拠が得られれば 修正あるいは否定されます
adoptada pelo Conselho em # de Julho deted2019 ted2019
この画期的な成果により、帰納的可算集合のチューリング次数に関する広範な研究が始まり、非常に複雑かつ自明でない構造の存在が明らかになった。
Já sabemos que vês pornoLASER-wikipedia2 LASER-wikipedia2
1812年には、ラプラスは彼が瞬間積率母関数や最小二乗法、帰納的確率論、仮説の検証といった確率や統計における多くの基礎的結果を統合し打ち立てた“Théorie analytique des probabilities”を出版した。
Vamos para a nossa cabine, obrigadoLASER-wikipedia2 LASER-wikipedia2
ゲーデルの定理は実効的に生成された(即ち帰納的可算な)理論についてのみ適用できる。
Acontece a todos, TwattLASER-wikipedia2 LASER-wikipedia2
とくに注目されるのは、原始帰納的問題で ELEMENTARY に属さないものが存在することである。
Puxe a porcaria do gatilho!LASER-wikipedia2 LASER-wikipedia2
ミルの方法(ミルのほうほう、英: Mill's Methods)は、哲学者ジョン・スチュアート・ミルが1843年の著書『論理学体系』で述べた帰納の五つの方法。
Que porra é aquela?LASER-wikipedia2 LASER-wikipedia2
10年後の1954年、クリーネとポストは計算可能集合と停止問題の間のチューリング次数が存在することは示せたが、そのチューリング次数に属する帰納的可算集合が存在するかは示せなかった。
Uma teta numa tarde de DomingoLASER-wikipedia2 LASER-wikipedia2
彼らは科学の全分野で 帰納法を用いることを 本や論文を通じて説き ― 自然哲学者 大学生 一般大衆に 広く読まれました
Falo com você amanhãted2019 ted2019
単純集合はエミール・ポストによってチューリング完全でなく再帰的でもない帰納的可算集合の研究の中で考案された。
Eu sou um homem adultoLASER-wikipedia2 LASER-wikipedia2
ゲーデルの第二不完全性定理の結論はQにおいても成り立つ:無矛盾なQの帰納的拡大で自身の無矛盾性が証明可能であるものは存在せず、証明図のゲーデル数をdefinable cutに制限したとしても同様である(Bezboruah and Shepherdson (1976), Pudlák (1985), Hájek and Pudlák (1993):387)。
Eu chamava- lhes as Figuras de CeraLASER-wikipedia2 LASER-wikipedia2
全ての帰納言語の属する複雑性クラスをRと呼ぶが、RPクラスを Rと呼ぶこともある。
É bem impressionanteLASER-wikipedia2 LASER-wikipedia2
その直後、Friedberg と Muchnik がそれぞれ独立に中間次数の帰納的可算集合が存在することを示し、ポストの問題を解決した。
Não perca tempo, fabricante de brinquedosLASER-wikipedia2 LASER-wikipedia2
ディオファントス集合は再帰理論に先行しているため、歴史的にはこれが帰納的可算集合の最初の定義であった(ただし、これらが同じものを表していると分かったのは帰納的可算集合が登場してから30年以上も後のことである)。
A filha de TrudyLASER-wikipedia2 LASER-wikipedia2
後に Degtev は (1,n+1)-再帰的だが (1,n)-再帰的ではないような帰納的可算集合を階層状に分類した。
Outras informações: a) fornecedora para a PFEP- Natanz; b) envolvida no programa nuclear iranianoLASER-wikipedia2 LASER-wikipedia2
この帰納的論法を使えば 囚人は何人いても構いません
Aguenta como um homemted2019 ted2019
例えば、すべての有限集合のクラスのインデックス集合 FIN の階層レベルは Σ2、すべての帰納的集合のクラスのインデックス集合 REC の階層レベルは Σ3、すべての補有限集合のクラスのインデックス集合 COFIN の階層レベルは Σ3、すべてのチューリング完全な集合のクラスのインデックス集合 COMP の階層レベルは Σ4 である。
Feliz quase o teu aniversárioLASER-wikipedia2 LASER-wikipedia2
それ以外の全ての原始帰納的述語はそれら2つの原始帰納的関数と自然数上の量化によって定義できる。
As prestações de desemprego são as prestações que substituem na totalidade ou em parte o rendimento perdido por um trabalhador devido à perda de um emprego remunerado; proporcionam um rendimento de subsistência (ou superior) a pessoas que entram ou voltam a entrar no mercado de trabalho; compensam a perda de rendimentos devido a desemprego parcialLASER-wikipedia2 LASER-wikipedia2
『証拠に基づく帰納的方法』 200年ほど前には フランシス・ベーコン その後にはニュートンが 科学の帰納的方法を 提案していました
Somos os melhorested2019 ted2019
ほら 帰納 的 推理 に デジャヴ ユ
lsabel, por favorOpenSubtitles2018.v3 OpenSubtitles2018.v3
25 sinne gevind in 3 ms. Hulle kom uit baie bronne en word nie nagegaan nie.